Recherche - Université Côte d'Azur

Filtrer vos résultats

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

Typing High-Speed Cryptography against Spectre v1

 Basavesh Ammanaghatta Shivakumar , Gilles Barthe , Benjamin Grégoire , Vincent Laporte , Tiago Oliveira , et al.
SP 2023- IEEE Symposium on Security and Privacy, IEEE, May 2023, San Francisco, United States. pp.1592-1609, ⟨10.1109/SP46215.2023.10179418⟩
Communication dans un congrès hal-04106448v1
Image document

Formally verifying Kyber: Episode IV: Implementation correctness

 José Bacelar Almeida , Manuel Barbosa , Gilles Barthe , Benjamin Grégoire , Vincent Laporte , et al.
CHES 2023 - Conference on Cryptographic Hardware and Embedded Systems, IACR, Sep 2023, Praha, Czech Republic. pp.164-193, ⟨10.46586/tches.v2023.i3.164-193⟩
Communication dans un congrès hal-04218417v1
Image document

CV2EC: Getting the Best of Both Worlds

 Bruno Blanchet , Pierre Boutry , Christian Doczkal , Benjamin Grégoire , Pierre-Yves Strub
CSF 2024 - 37th IEEE Computer Security Foundations Symposium, IEEE, Jul 2024, Enschede, Netherlands. pp.283-298, ⟨10.1109/CSF61375.2024.00019⟩
Communication dans un congrès hal-04321656v2
Image document

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium

 Manuel Barbosa , Gilles Barthe , Christian Doczkal , Jelle Don , Serge Fehr , et al.
CRYPTO 2023 - 43rd International Cryptology Conference, Aug 2023, Santa Barbara, United States. pp.358-389, ⟨10.1007/978-3-031-38554-4_12⟩
Communication dans un congrès hal-04315311v1
Image document

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

 Manuel Barbosa , Gilles Barthe , Benjamin Grégoire , Adrien Koutsos , Pierre-Yves Strub
ACM Transactions on Privacy and Security, 2023, 26 (3), pp.1-34. ⟨10.1145/3589962⟩
Article dans une revue hal-04048217v1
Page :