 |
 |
 |
|
|
||
|---|---|---|
| hal-01959322v1
Journal articles
Proving expected sensitivity of probabilistic programs Proceedings of the ACM on Programming Languages, ACM, 2017, 2 (POPL), pp.1-29. ⟨10.1145/3158145⟩ |
||
| hal-02470947v1
Conference papers
GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited. CCS 2019, May 2019, Copenhague, Denmark. pp.2147-2164 |
||
| hal-01541198v1
Conference papers
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
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
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
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
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
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-01246719v2
Conference papers
Relational Reasoning via Probabilistic Coupling LPAR, 2015, Suva, France. pp.387 - 401, ⟨10.1007/978-3-662-48899-7_27⟩ |
||
| hal-01959567v1
Conference papers
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
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⟩ |
||
|
|
||