Skip to Main content Skip to Navigation


...
hal-01959322v1  Journal articles
Gilles BartheThomas EspitauBenjamin GrégoireJustin HsuPierre-Yves Strub. Proving expected sensitivity of probabilistic programs
Proceedings of the ACM on Programming Languages, ACM, 2017, 2 (POPL), pp.1-29. ⟨10.1145/3158145⟩
...
hal-01541198v1  Conference papers
Gilles BartheThomas EspitauBenjamin GrégoireJustin HsuPierre-Yves Strub. Proving uniformity and independence by self-composition and coupling
LPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, May 2017, Maun, Botswana. pp.19
...
hal-01900708v1  Conference papers
Gilles BartheSonia BelaïdThomas EspitauPierre-Alain FouqueBenjamin Grégoire et al.  Masking the GLP Lattice-Based Signature Scheme at Any Order
Eurocrypt 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2018, Tel Aviv, Israel. pp.354-384, ⟨10.1007/978-3-319-78375-8_12⟩
...
hal-01518438v1  Conference papers
Jean-François BiasseThomas EspitauPierre-Alain FouqueAlexandre GélinPaul Kirchner. Computing generator in cyclotomic integer rings
36th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2017), Apr 2017, Paris, France. pp.60-88, ⟨10.1007/978-3-319-56620-7_3⟩
...
hal-01648080v1  Conference papers
Thomas EspitauPierre-Alain FouqueBenoît GérardMehdi Tibouchi. Side-Channel Attacks on BLISS Lattice-Based Signatures
2017 ACM Conference on Computer and Communications Security (CCS 2017), Oct 2017, Dallas, TX, United States. pp.1857-1874, ⟨10.1145/3133956.3134028⟩
...
hal-01561424v1  Conference papers
Thomas EspitauPierre-Alain FouqueBenoit GérardMehdi Tibouchi. Loop abort Faults on Lattice-Based Fiat-Shamir & Hash'n Sign signatures
23rd Conference on Selected Area In Cryptography, Aug 2016, Saint John's, Canada
hal-02073933v1  Conference papers
Jonathan BootleClaire DelaplaceThomas EspitauPierre-Alain FouqueMehdi Tibouchi. LWE Without Modular Reduction and Improved Side-Channel Attacks Against BLISS
ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, QLD, Australia. pp.494-524, ⟨10.1007/978-3-030-03326-2_17⟩
...
hal-01959567v1  Conference papers
Gilles BartheThomas EspitauMarco GaboardiBenjamin GrégoireJustin Hsu et al.  An Assertion-Based Program Logic for Probabilistic Programs
Lecture Notes in Computer Science, Apr 2018, Thessaloniki, Greece. pp.117-144, ⟨10.1007/978-3-319-89884-1_5⟩
hal-02073941v1  Journal articles
Thomas EspitauPierre-Alain FouqueBenoit GérardMehdi Tibouchi. Loop-Abort Faults on Lattice-Based Signatures and Key Exchange Protocols
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2018, 67 (11), pp.1535-1549. ⟨10.1109/TC.2018.2833119⟩