François Dupressoir

Cited by

	All	Since 2017
Citations	1276	1074
h-index	15	14
i10-index	16	14

240

120

180

2011201220132014201520162017201820192020202120224 7 15 33 52 75 138 187 169 218 238 120

Public access

View all

10 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Pierre-Alain FouqueProfessor of Computer Science, Rennes University, IRISA, Institut Universitaire de FranceVerified email at ens.fr
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Sonia BelaïdCryptoExpertsVerified email at cryptoexperts.com
Constantin Catalin DraganLecturer at University of SurreyVerified email at surrey.ac.uk
Benedikt SchmidtGoogleVerified email at google.com
Francois-Xavier StandaertSenior Associate Researcher (FNRS-F.R.S), Université catholique de LouvainVerified email at uclouvain.be
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Michael EmmiAmazon Web ServicesVerified email at amazon.com
César KunzPostdoctoral Researcher, IMDEA SoftwareVerified email at imdea.org
Sebastian FaustTU DarmstadtVerified email at cs.tu-darmstadt.de
Bogdan WarinschiUniversity of Bristol and DfinityVerified email at cs.bris.ac.uk
Véronique CortierCNRS, LORIAVerified email at loria.fr
David A. NaumannProfessor of Computer Science, Stevens Institute of TechnologyVerified email at cs.stevens.edu
Helen TreharneProfessor, Department of Computer Science, University of SurreyVerified email at surrey.ac.uk
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyVerified email at surrey.ac.uk

François Dupressoir

Senior Lecturer in Cryptography, Department of Computer Science, University of Bristol

Verified email at bristol.ac.uk - Homepage

Formal Methods Software Verification Computer-Aided Cryptography Language-Based Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Verifying Constant-Time Implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi 25th USENIX Security Symposium, 2016	231	2016
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	202*	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	157	2014
Verified Proofs of Higher-Order Masking G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub Eurocrypt, 2015	154	2015
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	118	2016
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC JB Almeida, M Barbosa, G Barthe, F Dupressoir	65	2015
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir	62	2013
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	56	2014
Synthesis of Fault Attacks on Cryptographic Implementations G Barthe, F Dupressoir, PA Fouque, B Gregoire, JC Zapalowicz	38	2014
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	31	2017
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	31	2017
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	23	2019
Making RSA-PSS Provably Secure Against Non-Random Faults G Barthe, F Dupressoir, PA Fouque, B Grégoire, M Tibouchi, ...	19	2014
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	18	2018
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	17	2020
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	14	2011
Formal Security Proof of CMAC and its Variants C Baritel-Ruet, F Dupressoir, PA Fouque, B Grégoire 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 91-104, 2018	7	2018
EasyCrypt: Computer-Aided Cryptographic Proofs G Barthe, F Dupressoir, B Gregoire, A Stoughton, PY Strub	7	2018
Verified Implementations for Secure and Verifiable Computation. JB Almeida, M Barbosa, G Barthe, G Davy, F Dupressoir, B Grégoire, ... IACR Cryptol. ePrint Arch. 2014, 456, 2014	6	2014
Bringing State-Separating Proofs to EasyCrypt-A Security Proof for Cryptobox F Dupressoir, K Kohbrok, S Oechsner Cryptology ePrint Archive, 2021	5	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors