Obserwuj
François Dupressoir
François Dupressoir
Associate Professor in Cryptography, Department of Computer Science, University of Bristol
Zweryfikowany adres z bristol.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Verifying Constant-Time Implementations
JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi
25th USENIX Security Symposium, 2016
3562016
Strong non-interference and type-directed higher-order masking
G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub, ...
ACM CCS, 2016
347*2016
EasyCrypt: A Tutorial
G Barthe, F Dupressoir, B Grégoire, C Kunz, B Schmidt, PY Strub
Foundations of Security Analysis and Design VII, 146-166, 2014
2362014
Verified Proofs of Higher-Order Masking
G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub
Eurocrypt, 2015
2182015
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
G Barthe, F Dupressoir, S Faust, B Grégoire, FX Standaert, PY Strub
IACR Cryptology ePrint Archive, 2016: 912, 2016
1782016
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
JB Almeida, M Barbosa, G Barthe, F Dupressoir
832015
Guiding a general-purpose C verifier to prove cryptographic protocols
F Dupressoir, AD Gordon, J Jürjens, DA Naumann
Journal of Computer Security 22 (5), 823-866, 2014
652014
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
JB Almeida, M Barbosa, G Barthe, F Dupressoir
642013
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and secure high-assurance implementations of SHA-3
JB Almeida, C Baritel-Ruet, M Barbosa, G Barthe, F Dupressoir, ...
Proceedings of the 26th ACM Conference on Computer and Communications …, 2019
602019
Machine-Checked Proofs of Privacy for Electronic Voting Protocols
V Cortier, CC Drăgan, F Dupressoir, B Schmidt, PY Strub, B Warinschi
Security and Privacy (SP), 2017 IEEE Symposium on, 993-1008, 2017
512017
Synthesis of Fault Attacks on Cryptographic Implementations
G Barthe, F Dupressoir, PA Fouque, B Gregoire, JC Zapalowicz
482014
Machine-checked proofs for electronic voting: privacy and verifiability for Belenios
V Cortier, CC Dragan, F Dupressoir, B Warinschi
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 298-312, 2018
392018
A Fast and Verified Software Stack for Secure Function Evaluation
JB Almeida, M Barbosa, G Barthe, F Dupressoir, B Grégoire, V Laporte, ...
Proceedings of The 2017 ACM Conference on Computer and Communications …, 2017
362017
Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations
G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, FX Standaert, ...
Journal of Cryptographic Engineering 10 (1), 17-26, 2020
262020
Making RSA-PSS Provably Secure Against Non-Random Faults
G Barthe, F Dupressoir, PA Fouque, B Grégoire, M Tibouchi, ...
202014
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge
M Aizatulin, F Dupressoir, AD Gordon, J Jürjens
Formal Aspects of Security and Trust (FAST), 2011
142011
Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox
F Dupressoir, K Kohbrok, S Oechsner
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 227-242, 2022
112022
Mechanised Models and Proofs for Distance-Bounding
I Boureanu, CC Drăgan, F Dupressoir, D Gérault, P Lafourcade
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
92021
VMV: Augmenting an Internet Voting System with Selene Verifiability
M Sallal, S Schneider, M Casey, C Dragan, F Dupressoir, L Riley, ...
arXiv preprint arXiv:1912.00288, 2019
92019
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
CC Drăgan, F Dupressoir, E Estaji, K Gjøsteen, T Haines, PYA Ryan, ...
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 319-331, 2022
82022
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20