CryptoExperts (France)

Recent papers from CryptoExperts (France)

1. SmallWood: Hash-Based Polynomial Commitments and Zero-Knowledge Arguments for Relatively Small InstancesIACR Communications in Cryptology · 2026
2. A Divide-and-Conquer Strategy for Hard-Label Extraction of Deep Neural Networks via Side-Channel AttacksIACR Transactions on Cryptographic Hardware and Embedded Systems · 2026
3. Additivity and Chain Rules for Quantum Entropies via Multi-index Schatten NormsCommunications in Mathematical Physics · 2026
4. Fly Away: Lifting Fault Security through Canaries and the Uniform Random Fault ModelIACR Communications in Cryptology · 2025
5. SoK: A Methodology to Achieve Provable Side-Channel Security in Real-World ImplementationsIACR Communications in Cryptology · 2025
6. Further Improvements in AES Execution over TFHEIACR Communications in Cryptology · 2025
7. LDPC-cat codes for low-overhead quantum computing in 2DNature Communications · 2025
8. On Loopy Belief Propagation for SASCAsIACR Communications in Cryptology · 2025
9. Foundations for Cryptographic Reductions in CCSA Logics2024
10. HAETAE: Shorter Lattice-Based Fiat-Shamir SignaturesIACR Transactions on Cryptographic Hardware and Embedded Systems · 2024
11. On Impossible Boomerang AttacksIACR Transactions on Symmetric Cryptology · 2024
12. The Squirrel Prover and its LogicACM SIGLOG News · 2024
13. OBSCURE: Versatile Software Obfuscation from a Lightweight Secure ElementIACR Transactions on Cryptographic Hardware and Embedded Systems · 2024
14. Securing Verified IO Programs Against Unverified Code in F*Proceedings of the ACM on Programming Languages · 2024
15. Quantum Reduction of Finding Short Code Vectors to the Decoding ProblemIEEE Transactions on Information Theory · 2023
16. High Order Side-Channel Security for Elliptic-Curve ImplementationsIACR Transactions on Cryptographic Hardware and Embedded Systems · 2022
17. Algebraic Attacks against Some Arithmetization-Oriented PrimitivesIACR Transactions on Symmetric Cryptology · 2022
18. Aeneas: Rust verification by functional translationProceedings of the ACM on Programming Languages · 2022
19. Hypercontractivity and Logarithmic Sobolev Inequality for Non-primitive Quantum Markov Semigroups and Estimation of Decoherence RatesAnnales Henri Poincaré · 2022
20. Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations2022