Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

18 résultats
Page :
triés par
Image document

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

 Thomas Espitau , Pierre-Alain Fouque , Benoit Gérard , Mehdi Tibouchi
23rd Conference on Selected Area In Cryptography, Aug 2016, Saint John's, Canada
Communication dans un congrès hal-01561424v1
Image document

Synthesizing Probabilistic Invariants via Doob's Decomposition

 Gilles Barthe , Thomas Espitau , Luis María Ferrer Fioriti , Justin Hsu
28th International Conference on Computer Aided Verification , Jul 2016, Toronto, Canada. pp.43-61, ⟨10.1007/978-3-319-41528-4_3⟩
Communication dans un congrès hal-01561429v1
Image document

Algorithmic aspects of algebraic lattices

 Thomas Espitau
Cryptography and Security [cs.CR]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS474⟩
Thèse tel-04043054v1
Image document

SHORTER HASH-AND-SIGN LATTICE-BASED SIGNATURES

 Thomas Espitau , Mehdi Tibouchi , Alexandre Wallet , Yang Yu
Advances in Cryptology – CRYPTO 2022, Aug 2022, Santa Barbara, United States. pp.245-275, ⟨10.1007/978-3-031-15979-4_9⟩
Communication dans un congrès hal-03854905v2
Image document

Side-Channel Attacks on BLISS Lattice-Based Signatures

 Thomas Espitau , Pierre-Alain Fouque , Benoît Gérard , Mehdi Tibouchi
2017 ACM Conference on Computer and Communications Security (CCS 2017), Oct 2017, Dallas, TX, United States. pp.1857-1874, ⟨10.1145/3133956.3134028⟩
Communication dans un congrès hal-01648080v1
Image document

Proving uniformity and independence by self-composition and coupling

 Gilles Barthe , Thomas Espitau , Benjamin Grégoire , Justin Hsu , Pierre-Yves Strub
LPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, May 2017, Maun, Botswana. pp.19
Communication dans un congrès hal-01541198v1
Image document

Towards faster polynomial-time lattice reduction

 Paul Kirchner , Thomas Espitau , Pierre-Alain Fouque
CRYPTO 2021, Aug 2021, Santa Barbara / Virtual, United States. ⟨10.1007/978-3-030-84245-1_26⟩
Communication dans un congrès hal-03558739v2
Image document

On Gaussian sampling, smoothing parameter

 Thomas Espitau , Alexandre Wallet , Yang Yu
ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2023, Guangzhou (Canton), China. pp.1-56
Communication dans un congrès hal-04258598v1
Image document

Proving expected sensitivity of probabilistic programs

 Gilles Barthe , Thomas Espitau , Benjamin Grégoire , Justin Hsu , Pierre-Yves Strub
Proceedings of the ACM on Programming Languages, 2017, 2 (POPL), pp.1-29. ⟨10.1145/3158145⟩
Article dans une revue hal-01959322v1
Image document

Liftings for Differential Privacy

 Gilles Barthe , Thomas Espitau , Justin Hsu , Tetsuya Sato , Pierre-Yves Strub
ICALP 2017, Jul 2017, Varsovie, Poland. ⟨10.4230/LIPIcs.ICALP.2017⟩
Communication dans un congrès hal-01541197v1

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

 Gilles Barthe , Sonia Belaïd , Thomas Espitau , Pierre-Alain Fouque , Mélissa Rossi , et al.
CCS 2019, May 2019, Copenhague, Denmark. pp.2147-2164
Communication dans un congrès hal-02470947v1
Image document

Antrag: Annular Ntru Trapdoor Generation

 Thomas Espitau , Quyen Thi Thu Nguyen , Chao Sun , Mehdi Tibouchi , Alexandre Wallet
ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2023, Guangzhou (Canton), China. pp.1-56
Communication dans un congrès hal-04258578v1
Image document

An Assertion-Based Program Logic for Probabilistic Programs

 Gilles Barthe , Thomas Espitau , Marco Gaboardi , Benjamin Grégoire , Justin Hsu , et al.
Lecture Notes in Computer Science, Apr 2018, Thessaloniki, Greece. pp.117-144, ⟨10.1007/978-3-319-89884-1_5⟩
Communication dans un congrès hal-01959567v1

Loop-Abort Faults on Lattice-Based Signatures and Key Exchange Protocols

 Thomas Espitau , Pierre-Alain Fouque , Benoit Gérard , Mehdi Tibouchi
IEEE Transactions on Computers, 2018, 67 (11), pp.1535-1549. ⟨10.1109/TC.2018.2833119⟩
Article dans une revue hal-02073941v1
Image document

Computing generator in cyclotomic integer rings

 Jean-François Biasse , Thomas Espitau , Pierre-Alain Fouque , Alexandre Gélin , Paul Kirchner
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⟩
Communication dans un congrès hal-01518438v1
Image document

Relational Reasoning via Probabilistic Coupling

 Gilles Barthe , Thomas Espitau , Benjamin Grégoire , Justin Hsu , Léo Stefanesco , et al.
LPAR, 2015, Suva, France. pp.387 - 401, ⟨10.1007/978-3-662-48899-7_27⟩
Communication dans un congrès hal-01246719v2

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

 Jonathan Bootle , Claire Delaplace , Thomas Espitau , Pierre-Alain Fouque , Mehdi Tibouchi
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⟩
Communication dans un congrès hal-02073933v1
Image document

Masking the GLP Lattice-Based Signature Scheme at Any Order

 Gilles Barthe , Sonia Belaïd , Thomas Espitau , Pierre-Alain Fouque , Benjamin Grégoire , et al.
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⟩
Communication dans un congrès hal-01900708v1
Page :