3 papers
cs.CR2026
ShannonProver: Towards Automating Formal Cryptographic Proofs
Yiping Ma, Yu-Lin Tsai, Mayank Rathee +4
Cryptographic proofs are produced at a scale that increasingly exceeds the community's ability to verify them manually. Machine-checked proofs offer a path toward scalable proof ve…
cs.CR2019
Towards end-to-end verifiable online voting: adding verifiability to established voting systems
Mohammed Alsadi, Matthew Casey, Constantin Catalin Dragan +7
Online voting for independent elections is generally supported by trusted election providers. Typically these providers do not offer any way in which a voter can verify their vote,…
cs.CR2013
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
François Dupressoir, Andrew D. Gordon, Jan Jürjens +1
We describe how to verify security properties of C code for cryptographic protocols by using a general-purpose verifier. We prove security theorems in the symbolic model of cryptog…