![]() 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. Case Study of our Framework for the Cryptographic Verification of Java-like Programs.sElect: A Lightweight Verifiable Remote Voting System (CSF 2016). SElect is a lightweight, practical, and verifiable remote voting system. Schmitz, SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web (CCS 2015). This is a graduate-level research-oriented course, which covers both classic and cutting-edge. SPRESSO is a secure and privacy-respecting single sign-on system for the Web. CS 6956-001 Special Topics: Software Security Course Description. Wilke, Constraint Solving for Contract-Signing Protocols (TOCL 2010). Truderung, Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation (CSF 2009).Ī tool for analyzing contract signing protocols (implemented by Thomas Schmidt). Truderung, Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach, (CCS 2008).Ī tool for analyzing protocols with Diffie-Hellman exponentiation.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |