Suivre
Thomas Espitau
Thomas Espitau
Postdoc, NTT Corporation
Adresse e-mail validée de lip6.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Side-channel attacks on BLISS lattice-based signatures: Exploiting branch tracing against strongswan and electromagnetic emanations in microcontrollers
T Espitau, PA Fouque, B Gérard, M Tibouchi
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
1372017
Masking the GLP lattice-based signature scheme at any order
G Barthe, S Belaïd, T Espitau, PA Fouque, B Grégoire, M Rossi, ...
Advances in Cryptology–EUROCRYPT 2018: 37th Annual International Conference …, 2018
552018
Synthesizing probabilistic invariants via Doob’s decomposition
G Barthe, T Espitau, LM Ferrer Fioriti, J Hsu
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
472016
Computing Generator in Cyclotomic Integer Rings: A Subfield Algorithm for the Principal Ideal Problem in and Application to the Cryptanalysis of a FHE Scheme
JF Biasse, T Espitau, PA Fouque, A Gélin, P Kirchner
Advances in Cryptology–EUROCRYPT 2017: 36th Annual International Conference …, 2017
382017
Loop-abort faults on lattice-based fiat-shamir and hash-and-sign signatures
T Espitau, PA Fouque, B Gérard, M Tibouchi
Selected Areas in Cryptography–SAC 2016: 23rd International Conference, St …, 2017
372017
LWE without modular reduction and improved side-channel attacks against BLISS
J Bootle, C Delaplace, T Espitau, PA Fouque, M Tibouchi
Advances in Cryptology–ASIACRYPT 2018: 24th International Conference on the …, 2018
362018
Proving expected sensitivity of probabilistic programs
G Barthe, T Espitau, B Grégoire, J Hsu, PY Strub
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
332017
GALACTICS: Gaussian sampling for lattice-based constant-time implementation of cryptographic signatures, revisited
G Barthe, S Belaïd, T Espitau, PA Fouque, M Rossi, M Tibouchi
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
302019
Relational reasoning via probabilistic coupling
G Barthe, T Espitau, B Grégoire, J Hsu, L Stefanesco, PY Strub
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
272015
Loop-abort faults on lattice-based signature schemes and key exchange protocols
T Espitau, PA Fouque, B Gerard, M Tibouchi
IEEE Transactions on Computers 67 (11), 1535-1549, 2018
242018
An assertion-based program logic for probabilistic programs
G Barthe, T Espitau, M Gaboardi, B Grégoire, J Hsu, PY Strub
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
222018
Proving uniformity and independence by self-composition and coupling
G Barthe, T Espitau, B Grégoire, J Hsu, PY Strub
arXiv preprint arXiv:1701.06477, 2017
172017
Liftings for differential privacy
G Barthe, T Espitau, J Hsu, T Sato, PY Strub
ICALP 2017, 2017
16*2017
Higher-order differential meet-in-the-middle preimage attacks on SHA-1 and BLAKE
T Espitau, PA Fouque, P Karpman
Advances in Cryptology--CRYPTO 2015: 35th Annual Cryptology Conference …, 2015
162015
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
T Espitau, A Joux, N Kharchenko
Progress in Cryptology–INDOCRYPT 2020: 21st International Conference on …, 2020
112020
Fast Reduction of Algebraic Lattices over Cyclotomic Fields
T Espitau, P Kirchner, PA Fouque
Annual International Cryptology Conference, 155-185, 2020
10*2020
Mitaka: A Simpler, Parallelizable, Maskable Variant of Falcon
T Espitau, PA Fouque, F Gérard, M Rossi, A Takahashi, M Tibouchi, ...
Advances in Cryptology–EUROCRYPT 2022: 41st Annual International Conference …, 2022
92022
A program logic for probabilistic programs
G Barthe, T Espitau, M Gaboardi, B Grégoire, J Hsu, PY Strub
Available at justinh. su/files/papers/ellora. pdf, 2016
72016
Shorter hash-and-sign lattice-based signatures
T Espitau, M Tibouchi, A Wallet, Y Yu
Advances in Cryptology–CRYPTO 2022: 42nd Annual International Cryptology …, 2022
62022
The nearest-colattice algorithm: Time-approximation tradeoff for approx-cvp
T Espitau, P Kirchner
Open Book Series 4 (1), 251-266, 2020
62020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20