Thomas Espitau
AuthID: R-00K-HHT
1
TÃTULO: GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019.
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019.
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: GALACTICS: Gaussian Sampling for Lattice-Based Constant-Time Implementation of Cryptographic Signatures, Revisited
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXADO EM: DBLP
DBLP3
TÃTULO: Relational ⋆⋆\star-Liftings for Differential Privacy
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: Log. Methods Comput. Sci., VOLUME: 15, NÚMERO: 4
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: Log. Methods Comput. Sci., VOLUME: 15, NÚMERO: 4
INDEXADO EM: DBLP
DBLP4
TÃTULO: An Assertion-Based Program Logic for Probabilistic Programs
AUTORES: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: DBLP
DBLP5
TÃTULO: Masking the GLP Lattice-Based Signature Scheme at Any Order
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: DBLP
DBLP6
TÃTULO: An Assertion-Based Program Logic for Probabilistic Programs PDF
AUTORES: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1803.05535
AUTORES: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1803.05535
INDEXADO EM: DBLP 
arXiv
DBLP arXiv7
TÃTULO: Proving expected sensitivity of probabilistic programs
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: Proc. ACM Program. Lang., VOLUME: 2, NÚMERO: POPL
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: Proc. ACM Program. Lang., VOLUME: 2, NÚMERO: POPL
INDEXADO EM: DBLP
DBLP8
TÃTULO: *-Liftings for Differential Privacy
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, VOLUME: 80
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, VOLUME: 80
INDEXADO EM: DBLP
DBLP9
TÃTULO: Proving uniformity and independence by self-composition and coupling
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, VOLUME: 46
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, VOLUME: 46
INDEXADO EM: DBLP
DBLP10
TÃTULO: Proving Expected Sensitivity of Probabilistic Programs PDF
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1708.02537
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1708.02537
INDEXADO EM: DBLP arXiv
DBLP arXiv