Steve Kremer

Steve Kremer is a permanent researcher at Inria, leading the PESTO team at Inria Nancy - Grand Est and affiliated with LORIA. He holds a prominent role in the field of formal security analysis of cryptographic protocols, with a focus on privacy, automated verification, and real-world applications such as e-voting and mobile communication protocols.

His research interests center on formal methods for cryptographic protocol verification, privacy-preserving systems, and automated reasoning techniques applied to security. He develops theoretical foundations and practical tools like AKISS and DEEPSEC to analyze complex protocols under realistic assumptions, especially in domains such as e-voting and 5G communications.

The recent publications highlight a consistent focus on symbolic analysis, equivalence properties, and tool development for proving security. These works span high-impact venues such as IEEE S&P and Real World Crypto, demonstrating both theoretical depth and practical relevance in uncovering vulnerabilities in deployed systems.

Scientific Awards:

• Distinguished paper award at Usenix Security’23
• Distinguished paper award at S&P’18
• ACM Computing Reviews’ Best of Computing list (2016)
• ERC Consolidator Grant (SPOOC, 2015–2020)

Steve Kremer has advised PhD students including Charlie Jacomme and has led major funded projects such as the ASAP AI Chair and the SPOOC ERC project. He is actively involved in the research community, serving on numerous program committees and steering committees for top security conferences including CSF, POST, and ETAPS.

He is part of the PESTO research team at Inria, which focuses on the design and automated analysis of security protocols, particularly under adversarial conditions and untrusted platforms. The team collaborates on tools like ProVerif, SAPIC, and AKISS, integrating symbolic techniques into practical verification workflows.