Steve Kremer’s homepage

News

Publications

Current Projects

Activities

Steering committees:

Recent program committees:

Tools

  • SAPIC: Automated verification of stateful security protocols
  • AKISS (Active Knowledge In Security protocolS): verifying equivalence properties

Teaching

Misc