Steve Kremer’s homepage

News

Publications

Recent Projects

  • 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
  • AKISS (Active Knowledge In Security protocolS): verifying equivalence properties

Teaching

Misc