Contact


If you have questions/problems regarding AKiSs, please contact Steve Kremer at firstname.name@inria.fr. Use "kremer" for name and "steve" for firstname.

References


The theory behind AKiSs is described in

  • Ștefan Ciobâcă Automated Verification of Security Protocols with Appplications to Electronic Voting. PhD thesis, ENS Cachan, France, 2011.

  • Rohit Chadha, Ștefan Ciobâcă, and Steve Kremer. Automated verification of equivalence properties of cryptographic protocols. In Programming Languages and Systems ---Proceedings of the 21th European Symposium on Programming (ESOP'12), pp. 108–127, Lecture Notes in Computer Science 7211, Springer, Tallinn, Estonia, March 2012.

  • Rohit Chadha, Vincent Cheval, Ștefan Ciobâcă, and Steve Kremer. Automated verification of equivalence properties of cryptographic protocol. ACM Transactions on Computational Logic, 2016. To appear.

Extensions to verify everlasting indistinguishability are described in