Gilles Barthe

High-Assurance Cryptography: Cryptographic Software We Can Trust

2015 · IEEE Security & Privacy

In response to recent cyberattacks, mathematicians, cryptographers, and security experts have advocated developing alternative approaches for building "high-assurance" cryptographic software. There's evidence that computer tools that deliver high-assurance cryptographic software are within our reach.

Liftings for Differential Privacy

2017 · HAL (Le Centre pour la Communication Scientifique Directe)

International audience

Relational proofs for quantum programs

2020 · UTS ePRESS (University of Technology Sydney)

© 2020 Copyright held by the owner/author(s). Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantum programs. The interpretation …

Listening to Bluetooth Beacons for Epidemic Risk Mitigation

2021 · Research Square

Abstract During the ongoing COVID-19 pandemic, there have been burgeoning efforts to develop and deploy smartphone apps to expedite contact tracing and risk notification. Unfortunately, the success of these apps has been limited, partly owing …