Section: Partnerships and Cooperations
FP7 & H2020 Projects
SPOOC (2015–2020) (https://members.loria.fr/SKremer/files/spooc/index.html)— ERC Consolidator Grant on Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols.
The goals of the Spooc project are to develop solid foundations and practical tools to analyze and formally prove security properties that ensure the privacy of users as well as techniques for executing protocols on untrusted platforms. We will