François Dupressoir
University of Bristol
H-index: 15
Europe-United Kingdom
Top articles of François Dupressoir
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame | Constantin Cătălin Drăgan François Dupressoir Kristian Gjøsteen Thomas Haines Peter B Rønne | 2023/9/25 | |
Machine-Checked Security for as in RFC 8391 and | Manuel Barbosa François Dupressoir Benjamin Grégoire Andreas Hülsing Matthias Meijers | 2023/8/9 | |
Towards end-to-end verifiable online voting: adding verifiability to established voting systems | IEEE transactions on dependable and secure computing | Mohammed Alsadi Matthew Casey Constantin Catalin Dragan François Dupressoir Luke Riley | 2023/10/27 |
Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox | François Dupressoir Konrad Kohbrok Sabine Oechsner | 2022/8/7 | |
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co | Constantin Cătălin Drăgan François Dupressoir Ehsan Estaji Kristian Gj Thomas Haines | 2022/8/7 | |
Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem | François Dupressoir Sara Zain | 2021/6/21 | |
Mechanised Models and Proofs for Distance-Bounding | Ioana Boureanu Constantin Cătălin Drăgan François Dupressoir David Gérault Pascal Lafourcade | 2021/6/21 | |
Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger | Muntadher Sallal Steve Schneider Matthew Casey François Dupressoir Helen Treharne | 2020/11/29 | |
Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations | Journal of Cryptographic Engineering | Gilles Barthe Sonia Belaïd François Dupressoir Pierre-Alain Fouque Benjamin Grégoire | 2020/4 |
Co-Authors
