Thomas Espitau
AuthID: R-00K-HHT
1
TITLE: GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2019, SOURCE: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019.
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2019, SOURCE: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019.
INDEXED IN: 
DBLP
DBLP2
TITLE: GALACTICS: Gaussian Sampling for Lattice-Based Constant-Time Implementation of Cryptographic Signatures, Revisited
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXED IN: DBLP
DBLP3
TITLE: Relational ⋆⋆\star-Liftings for Differential Privacy
AUTHORS: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: Log. Methods Comput. Sci., VOLUME: 15, ISSUE: 4
AUTHORS: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: Log. Methods Comput. Sci., VOLUME: 15, ISSUE: 4
INDEXED IN: DBLP
DBLP4
TITLE: An Assertion-Based Program Logic for Probabilistic Programs
AUTHORS: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
AUTHORS: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
INDEXED IN: DBLP
DBLP5
TITLE: Masking the GLP Lattice-Based Signature Scheme at Any Order
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2018, SOURCE: Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II, VOLUME: 10821
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2018, SOURCE: Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II, VOLUME: 10821
INDEXED IN: DBLP
DBLP6
TITLE: An Assertion-Based Program Logic for Probabilistic Programs PDF
AUTHORS: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.05535
AUTHORS: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.05535
INDEXED IN: DBLP 
arXiv
DBLP arXiv7
TITLE: Proving expected sensitivity of probabilistic programs
AUTHORS: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: Proc. ACM Program. Lang., VOLUME: 2, ISSUE: POPL
AUTHORS: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: Proc. ACM Program. Lang., VOLUME: 2, ISSUE: POPL
INDEXED IN: DBLP
DBLP8
TITLE: *-Liftings for Differential Privacy
AUTHORS: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, VOLUME: 80
AUTHORS: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, VOLUME: 80
INDEXED IN: DBLP
DBLP9
TITLE: Proving uniformity and independence by self-composition and coupling
AUTHORS: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, VOLUME: 46
AUTHORS: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, VOLUME: 46
INDEXED IN: DBLP
DBLP10
TITLE: Proving Expected Sensitivity of Probabilistic Programs PDF
AUTHORS: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1708.02537
AUTHORS: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1708.02537
INDEXED IN: DBLP arXiv
DBLP arXiv