Gilles Barthe [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Masking the GLP Lattice-Based Signature Scheme at Any Order EuroCryptTelAviv-2018 - Tel Aviv, Israel
Generic Transformations of Predicate Encodings: Constructions and Applications crypto-2017 - santa barbara,usa
Advances in computer-aided cryptography EuroCrypt-2017 - paris,france
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model EuroCrypt-2017 - paris,france
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks EuroSP-2017 - paris,france
Verifying Constant-Time Implementations USENIX-2016 - austin,usa
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC FSE-2016 - bochum,germany
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols EuroCrypt-2015 - Soia,Bulgaria
Verified Implementations of Higher-Order Masking EuroCrypt-2015 - Soia,Bulgaria
Towards Provably-Secure Optimizing Masking Compilers RWC-2015 - London,UK
Synthesis of Fault Attacks on Cryptographic Implementations CCS-2014 - Scottsdale,USA
System-level Non-interference for Constant-time Cryptography CCS-2014 - Scottsdale,USA
Making RSA-PSS Provably Secure Against Non-Random Faults CHES-2014 - busan,korea
Automated Analysis of Cryptographic Assumptions in Generic Group Models crypto-2014 - california,usa
Language-based security 1 CSF-2013 - Louisiana,USA Security
Cache-leakage resilient OS isolation in an idealized model of virtualization 25th IEEE Computer Security Foundations Symposium-2012 - Cambridge, MA, USA
Verified Security of Merkle-Damgaard 25th IEEE Computer Security Foundations Symposium-2012 - Cambridge, MA, USA