Thomas Espitau

发表

An Assertion-Based Program Logic for Probabilistic Programs pdf

Benjamin Grégoire, Gilles Barthe, Thomas Espitau, 2018, ESOP.

Certified lattice reduction pdf

Antoine Joux, Thomas Espitau, A. Joux, 2019, Adv. Math. Commun..

Masking the GLP Lattice-Based Signature Scheme at Any Order

Mehdi Tibouchi, Benjamin Grégoire, Gilles Barthe, 2018, EUROCRYPT.

Loop abort Faults on Lattice-Based Fiat-Shamir & Hash'n Sign signatures

Mehdi Tibouchi, Thomas Espitau, Pierre-Alain Fouque, 2016, IACR Cryptol. ePrint Arch..

Higher-Order Differential Meet-in-The-Middle Preimage Attacks on SHA-1 and BLAKE

Thomas Espitau, Pierre-Alain Fouque, Pierre Karpman, 2015, IACR Cryptol. ePrint Arch..

On a Dual/Hybrid Approach to Small Secret LWE - A Dual/Enumeration Technique for Learning with Errors and Application to Security Estimates of FHE Schemes

Antoine Joux, Thomas Espitau, Natalia Kharchenko, 2020, INDOCRYPT.

Computing generator in cyclotomic integer rings

Thomas Espitau, Pierre-Alain Fouque, Paul Kirchner, 2016, IACR Cryptol. ePrint Arch..

Fast Reduction of Algebraic Lattices over Cyclotomic Fields

Thomas Espitau, Pierre-Alain Fouque, Paul Kirchner, 2020, CRYPTO.

On a hybrid approach to solve binary-LWE

Antoine Joux, Thomas Espitau, Natalia Kharchenko, 2020, IACR Cryptol. ePrint Arch..

*-Liftings for Differential Privacy pdf

Gilles Barthe, Thomas Espitau, Justin Hsu, 2017, ICALP.

Proving expected sensitivity of probabilistic programs

Benjamin Grégoire, Gilles Barthe, Thomas Espitau, 2017, Proc. ACM Program. Lang..

Relational Reasoning via Probabilistic Coupling

Benjamin Grégoire, Gilles Barthe, Thomas Espitau, 2015, LPAR.

New Results - Relational Reasoning via Probabilistic Coupling

Benjamin Grégoire, Thomas Espitau, Pierre-Yves Strub, 2015 .

Algebraic and Euclidean Lattices: Optimal Lattice Reduction and Beyond pdf

Thomas Espitau, Pierre-Alain Fouque, Paul Kirchner, 2019, IACR Cryptol. ePrint Arch..

Synthesizing Probabilistic Invariants via Doob's Decomposition pdf

Gilles Barthe, Thomas Espitau, Justin Hsu, 2016, CAV.

GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited

Mehdi Tibouchi, Gilles Barthe, Thomas Espitau, 2019, IACR Cryptol. ePrint Arch..

Loop-Abort Faults on Lattice-Based Signature Schemes and Key Exchange Protocols

Mehdi Tibouchi, Thomas Espitau, Pierre-Alain Fouque, 2018, IEEE Transactions on Computers.

Side-Channel Attacks on BLISS Lattice-Based Signatures: Exploiting Branch Tracing against strongSwan and Electromagnetic Emanations in Microcontrollers

Mehdi Tibouchi, Thomas Espitau, Pierre-Alain Fouque, 2017, CCS.

The nearest-colattice algorithm pdf

Thomas Espitau, Paul Kirchner, Thomas Espitau, 2020, IACR Cryptol. ePrint Arch..

Computing Generator in Cyclotomic Integer Rings - A Subfield Algorithm for the Principal Ideal Problem in L|Δ𝕂|(½) and Application to the Cryptanalysis of a FHE Scheme

Thomas Espitau, Pierre-Alain Fouque, Jean-François Biasse, 2017, EUROCRYPT.

Loop-Abort Faults on Lattice-Based Fiat-Shamir and Hash-and-Sign Signatures

Mehdi Tibouchi, Thomas Espitau, Pierre-Alain Fouque, 2016, SAC.

Proving uniformity and independence by self-composition and coupling pdf

Benjamin Grégoire, Gilles Barthe, Thomas Espitau, 2017, LPAR.

LWE Without Modular Reduction and Improved Side-Channel Attacks Against BLISS

Mehdi Tibouchi, Thomas Espitau, Pierre-Alain Fouque, 2018, IACR Cryptol. ePrint Arch..

Adaptive precision LLL and Potential-LLL reductions with Interval arithmetic

Antoine Joux, Thomas Espitau, A. Joux, 2016, IACR Cryptol. ePrint Arch..

Relational ⋆⋆\star-Liftings for Differential Privacy

Thomas Espitau, Pierre-Yves Strub, Justin Hsu, 2019, Log. Methods Comput. Sci..

Guessing Bits: Improved Lattice Attacks on (EC)DSA

Mehdi Tibouchi, Thomas Espitau, Masayuki Abe, 2021, IACR Cryptol. ePrint Arch..

Mitaka: a simpler, parallelizable, maskable variant of Falcon

Mehdi Tibouchi, Thomas Espitau, Pierre-Alain Fouque, 2021, IACR Cryptol. ePrint Arch..

Towards Faster Polynomial-Time Lattice Reduction

Thomas Espitau, Pierre-Alain Fouque, Paul Kirchner, 2021, CRYPTO.

Mitaka: Faster, Simpler, Parallelizable and Maskable Hash-and-Sign Signatures on NTRU Lattices

Thomas Espitau, 2021, APKC@AsiaCCS.