François Dupressoir

Cited by

	All	Since 2019
Citations	1818	1289
h-index	15	13
i10-index	17	14

280

140

210

20122013201420152016201720182019202020212022202320248 13 30 48 73 142 188 170 223 248 194 269 183

Public access

View all

17 articles

1 article

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 StrubResearch Scientist, PQShieldVerified email at strub.nu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Pierre-Alain FouqueProfessor of Computer Science, Rennes University, IRISA, Institut Universitaire de FranceVerified email at ens.fr
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
Michael EmmiAmazon Web ServicesVerified email at amazon.com
Andrew D GordonCogna and University of EdinburghVerified email at cogna.co
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Bogdan WarinschiUniversity of Bristol and DfinityVerified email at cs.bris.ac.uk
Véronique CortierCNRS, LORIAVerified email at loria.fr
Sebastian FaustTU DarmstadtVerified email at cs.tu-darmstadt.de
Tiago OliveiraSandboxAQVerified email at sandboxquantum.com
Helen TreharneProfessor, Surrey Centre for Cyber SecurityVerified email at surrey.ac.uk
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
David A. NaumannProfessor of Computer Science, Stevens Institute of TechnologyVerified email at cs.stevens.edu

François Dupressoir

Associate Professor 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	342	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	307*	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	225	2014
Verified Proofs of Higher-Order Masking G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub Eurocrypt, 2015	201	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	167	2016
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC JB Almeida, M Barbosa, G Barthe, F Dupressoir	82	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	65	2014
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir	64	2013
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	56	2019
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	52	2017
Synthesis of Fault Attacks on Cryptographic Implementations G Barthe, F Dupressoir, PA Fouque, B Gregoire, JC Zapalowicz	45	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	37	2018
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	37	2017
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	24	2020
Making RSA-PSS Provably Secure Against Non-Random Faults G Barthe, F Dupressoir, PA Fouque, B Grégoire, M Tibouchi, ...	20	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	10	2022
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	9	2021
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	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

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