We develop systematic defenses, intrusion-detection pipelines, formal verification workflows, and cryptographic protocol enhancements by combining data-driven modeling, program analysis, and zero-knowledge techniques.

Previous Next

Research

Our research lies at the intersection of cybersecurity, reinforcement learning, control theory, optimization, and privacy-preserving techniques. It explores how intelligent agents can make strategic, adaptive decisions in adversarial and distributed environments. Key themes include designing robust defense mechanisms against stealthy attacks, developing secure multi-agent coordination protocols, and leveraging game-theoretic reasoning for decision-making under uncertainty.You can find an overview of some of our research themes at our Research page.

We are looking for highly motivated PhD students students to join the team (more info) !