- 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). - SPRESSO
SPRESSO is a secure and privacy-respecting single sign-on system for the Web. D. Fett, R. Küsters, and G. Schmitz, SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web (CCS 2015). - sElect
sElect is a lightweight, practical, and verifiable remote voting system. R. Küsters, J. Müller, E. Scapin, and T. Truderung. sElect: A Lightweight Verifiable Remote Voting System (CSF 2016). - Case Study of our Framework for the Cryptographic Verification of Java-like Programs
Here, you find the source files of the case study presented in our paper "A Framework for the Cryptographic Verification of Java-like Programs", published at CSF 2012.