Steve Kremer’s homepage

News

Publications

Recent Projects

  • PEPR Cybersecurity Security Verification Protocol SVP (2022-2028)
  • ANR Research and teaching chair in AI ASAP (PI, 2020-2024)
  • ERC Consolidator grant SPOOC (PI, 2015-2020)
  • ANR Sequoia (PI, 2014-2019)

Activities

Gender Equality and Equal Opportunities

Steering committees:

Recent program committees:

Tools

  • DEEPSEC : DEciding Equivalence Properties in SECurity protocols
  • SAPIC: Automated verification of stateful security protocols (now integrated in Tamarin)
  • AKISS (Active Knowledge In Security protocolS): verifying equivalence properties

Teaching

Misc