Machine-Checked Proofs of Privacy for Electronic Voting Protocols

Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

29 Citations (Scopus)

457 Downloads (Pure)

2 results
- Last Name(descending)

Dr François Dupressoir
- f.dupressoirbristol.acuk
- School of Computer Science - Associate Professor in Cryptography
Person: Academic
Bogdan Warinschi
- csxbwbristol.acuk
- School of Computer Science - Professor of Computer Science
- Cryptography and Information Security
Person: Academic , Member