François Dupressoir Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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
2016
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. FSE 2016: 163-184
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi: Verifying Constant-Time Implementations. USENIX Security Symposium 2016: 53-70
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Dupressoir: Proving cryptographic C programs secure with general-purpose verification tools. Open University, Milton Keynes, UK 2013
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub: EasyCrypt: A Tutorial. FOSAD 2013: 146-166
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihhail 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

1Mihhail Aizatulin[c1]
2José Bacelar Almeida[c9] [c8] [i6] [i3] [c4] [i1]
3Manuel Barbosa[c9] [c8] [i6] [i3] [c4] [i1]
4Gilles Barthe[c11] [c10] [c9] [c8] [i9] [c7] [i8] [i7] [i6] [c6] [c5] [i5] [i4] [i3] [c4] [c3] [i1]
5Sonia Belaïd[c10] [c7] [i8] [i7]
6Guillaume Davy[i3]
7Michael Emmi[c8]
8Sebastian Faust[c11] [i9]
9Pierre-Alain Fouque[c10] [c7] [i8] [i7] [c6] [c5] [i5] [i4]
10Andrew D. Gordon[j1] [i2] [c2] [c1]
11Benjamin Grégoire[c11] [c10] [i9] [c7] [i8] [i7] [c6] [c5] [i5] [i4] [i3] [c3]
12Jan Jürjens[j1] [i2] [c2] [c1]
13César Kunz[c3]
14David A. Naumann[j1] [i2] [c2]
15Benedikt Schmidt[c3]
16François-Xavier Standaert[c11] [i9]
17Pierre-Yves Strub[c11] [c10] [i9] [c7] [i8] [i3] [c3]
18Mehdi Tibouchi[c5] [i5]
19Jean-Christophe Zapalowicz[c6] [c5] [i5] [i4]
20Rébecca Zucchini[c10]

 

Last update 2017-04-12 04:41 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page