Information Security and Cryptography

Tools

Tools and software developed by our group:

• XOR-ProVerif: a tool for analyzing protocols with XOR.
  See R. Küsters and T. Truderung, Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach, (CCS 2008).
• DH-ProVerif: a tool for analyzing protocols with Diffie-Hellman exponentiation.
  See R. Küsters and T. Truderung, Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation (CSF 2009).
• CSProto: a tool for analyzing contract signing protocols (implemented by Thomas Schmidt).
  See D. Kähler, R. Küsters, and T. Wilke, Constraint Solving for Contract-Signing Protocols (TOCL 2010).