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, B. Grégoire, J. Hsu, P.‑Y. Strub : “Proving expected sensitivity of probabilistic programs”, Proceedings of the ACM on Programming Languages, vol. 2 (POPL), pp. 1-29, (ACM) [Barthe 2017a]
- P. Martins, J. Eynard, J.‑C. Bajard, L. Sousa : “Arithmetical Improvement of the Round-Off for Cryptosystems in High-Dimensional Lattices”, IEEE Transactions on Computers, vol. PP (Issue: 99), (Institute of Electrical and Electronics Engineers) [Martins 2017]