现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
刊物 ALMASTY | 2023 | 2024 | Total |
---|---|---|---|
书籍 | 1 | 0 | 1 |
参考书目 | 0 | 0 | 0 |
刊物文章 | 2 | 2 | 4 |
书籍章节 | 0 | 0 | 0 |
会议文章 | 7 | 0 | 7 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 0 | 2 |
- 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]