| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Publications ALMASTY | 2023 | 2024 | 2025 | Total |
|---|---|---|---|---|
| Books | 1 | 0 | 0 | 1 |
| Edited books | 0 | 0 | 0 | 0 |
| Journal articles | 2 | 6 | 0 | 8 |
| Book chapters | 0 | 0 | 0 | 0 |
| Conference papers | 8 | 2 | 0 | 10 |
| Habilitations | 0 | 0 | 0 | 0 |
| Thesis | 2 | 1 | 0 | 3 |
- G. Barthe, Th. Espitau, L. María Ferrer Fioriti, J. Hsu : “Synthesizing Probabilistic Invariants via Doob's Decomposition”, Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, vol. 9779, Lecture Notes in Computer Science, Toronto, Canada, pp. 43-61, (Springer) [Barthe 2016]
- Th. Espitau, P.‑A. Fouque, B. Gérard, M. Tibouchi : “Loop abort Faults on Lattice-Based Fiat-Shamir & Hash'n Sign signatures”, 23rd Conference on Selected Area In Cryptography, Saint John's, Canada [Espitau 2016]
- A. Gélin, A. Joux : “Reducing number field defining polynomials: an application to class group computations”, Algorithmic Number Theory Symposium XII, vol. 19 (A), LMS Journal of Computation and Mathematics, Kaiserslautern, Germany, pp. 315-331 [Gélin 2016]
- C. Pierrot, B. Wesolowski : “Malleability of the blockchain's entropy”, ArcticCrypt 2016, Longyearbyen, Norway [Pierrot 2016]