François Dupressoir

Cited by

	All	Since 2018
Citations	1553	1215
h-index	15	14
i10-index	16	14

260

130

195

20112012201320142015201620172018201920202021202220234 7 13 34 51 75 135 187 176 216 248 190 195

Public access

View all

12 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 SchmidtSnowflakeVerified email at snowflake.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, Surrey Centre for Cyber SecurityVerified 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	289	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	261*	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	184	2014
Verified Proofs of Higher-Order Masking G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub Eurocrypt, 2015	182	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	153	2016
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC JB Almeida, M Barbosa, G Barthe, F Dupressoir	70	2015
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	63	2014
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir	63	2013
Synthesis of Fault Attacks on Cryptographic Implementations G Barthe, F Dupressoir, PA Fouque, B Gregoire, JC Zapalowicz	42	2014
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	39	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	38	2019
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	32	2017
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	28	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	22	2020
Making RSA-PSS Provably Secure Against Non-Random Faults G Barthe, F Dupressoir, PA Fouque, B Grégoire, M Tibouchi, ...	19	2014
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
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	8	2022
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	8	2018
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	5	2019
EasyCrypt: Computer-Aided Cryptographic Proofs G Barthe, F Dupressoir, B Gregoire, A Stoughton, PY Strub	5	2018

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