ask others

François Dupressoir

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c15]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/Baritel-RuetDFG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csfw/Baritel-RuetDFG18
Cecile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire:
Formal Security Proof of CMAC and Its Variants. CSF 2018: 91-104
[c14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/CortierDDW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csfw/CortierDDW18
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi:
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios. CSF 2018: 298-312
[i12]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/BartheBDFGSS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/BartheBDFGSS18
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub:
Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations. IACR Cryptology ePrint Archive 2018: 505 (2018)
2017
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ccs/AlmeidaBBDGLP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/AlmeidaBBDGLP17
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira:
A Fast and Verified Software Stack for Secure Function Evaluation. ACM Conference on Computer and Communications Security 2017: 1989-2006
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurocrypt/BartheDFGSS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurocrypt/BartheDFGSS17
Gilles Barthe, François Dupressoir, Sebastian Faust, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub:
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model. EUROCRYPT (1) 2017: 535-566
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sp/CortierDDSSW17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sp/CortierDDSSW17
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi:
Machine-Checked Proofs of Privacy for Electronic Voting Protocols. IEEE Symposium on Security and Privacy 2017: 993-1008
[i11]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/AlmeidaBBDGLP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBDGLP17
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira:
A Fast and Verified Software Stack for Secure Function Evaluation. IACR Cryptology ePrint Archive 2017: 821 (2017)
[i10]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/BartheDG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/BartheDG17
Gilles Barthe, François Dupressoir, Benjamin Grégoire:
A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'. IACR Cryptology ePrint Archive 2017: 1053 (2017)
2016
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ccs/BartheBDFGSZ16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/BartheBDFGSZ16
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub, Rébecca Zucchini:
Strong Non-Interference and Type-Directed Higher-Order Masking. ACM Conference on Computer and Communications Security 2016: 116-129
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fse/AlmeidaBBD16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fse/AlmeidaBBD16
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir:
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. FSE 2016: 163-184
[c8]
- view
  - electronic edition @ usenix.org
- export record
  dblp key:
  - conf/uss/AlmeidaBBDE16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uss/AlmeidaBBDE16
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi:
Verifying Constant-Time Implementations. USENIX Security Symposium 2016: 53-70
[i9]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/BartheDFGSS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/BartheDFGSS16
Gilles Barthe, François Dupressoir, Sebastian Faust, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub:
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model. IACR Cryptology ePrint Archive 2016: 912 (2016)
2015
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurocrypt/BartheBDFGS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurocrypt/BartheBDFGS15
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub:
Verified Proofs of Higher-Order Masking. EUROCRYPT (1) 2015: 457-485
[i8]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/BartheBDFGS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/BartheBDFGS15
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub:
Verified Proofs of Higher-Order Masking. IACR Cryptology ePrint Archive 2015: 60 (2015)
[i7]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/BartheBDFG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/BartheBDFG15
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire:
Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler. IACR Cryptology ePrint Archive 2015: 506 (2015)
[i6]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/AlmeidaBBD15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBD15
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir:
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC. IACR Cryptology ePrint Archive 2015: 1241 (2015)
2014
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcs/DupressoirGJN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jcs/DupressoirGJN14
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann:
Guiding a general-purpose C verifier to prove cryptographic protocols. Journal of Computer Security 22(5): 823-866 (2014)
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ccs/BartheDFGZ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/BartheDFGZ14
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Jean-Christophe Zapalowicz:
Synthesis of Fault Attacks on Cryptographic Implementations. ACM Conference on Computer and Communications Security 2014: 1016-1027
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ches/BartheDFGTZ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ches/BartheDFGTZ14
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Mehdi Tibouchi, Jean-Christophe Zapalowicz:
Making RSA-PSS Provably Secure against Non-random Faults. CHES 2014: 206-222
[i5]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/BartheDFGTZ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/BartheDFGTZ14
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Mehdi Tibouchi, Jean-Christophe Zapalowicz:
Making RSA-PSS Provably Secure Against Non-Random Faults. IACR Cryptology ePrint Archive 2014: 252 (2014)
[i4]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/BartheDFGZ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/BartheDFGZ14
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Jean-Christophe Zapalowicz:
Synthesis of Fault Attacks on Cryptographic Implementations. IACR Cryptology ePrint Archive 2014: 436 (2014)
[i3]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/AlmeidaBBDDGS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBDDGS14
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub:
Verified Implementations for Secure and Verifiable Computation. IACR Cryptology ePrint Archive 2014: 456 (2014)
2013
[b1]
- view
  - electronic edition @ open.ac.uk
  - electronic edition @ bl.uk
- export record
  dblp key:
  - phd/ethos/Dupressoir13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/ethos/Dupressoir13
François Dupressoir:
Proving cryptographic C programs secure with general-purpose verification tools. Open University, Milton Keynes, UK 2013
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ccs/AlmeidaBBD13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/AlmeidaBBD13
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir:
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. ACM Conference on Computer and Communications Security 2013: 1217-1230
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fosad/BartheDGKSS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fosad/BartheDGKSS13
Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub:
EasyCrypt: A Tutorial. FOSAD 2013: 146-166
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DupressoirGJN13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DupressoirGJN13
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann:
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. CoRR abs/1312.6532 (2013)
[i1]
- view
  - electronic edition @ iacr.org
- export record
  dblp key:
  - journals/iacr/AlmeidaBBD13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBD13
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir:
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. IACR Cryptology ePrint Archive 2013: 316 (2013)
2011
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/DupressoirGJN11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csfw/DupressoirGJN11
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann:
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. CSF 2011: 3-17
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip1-7/AizatulinDGJ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifip1-7/AizatulinDGJ11
Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens:
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. Formal Aspects in Security and Trust 2011: 1-20

Coauthor Index

see FAQ

maintained by

at