الوحدات الحالية :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
الفـرق السـابـقــة :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
مـواضـيـع البـحـوث السـابقـة :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

إصدارات ALMASTY	2015	2016	2017	2018	2019	Total
كتـب	0	0	0	1	0	1
إصدار كـتب	0	0	0	0	0	0
مـنشـورات في مـجلات	0	1	1	4	5	11
فصـول في كـتب	0	1	1	0	0	2
منشورات	1	4	10	7	2	24
تراخيص	0	0	0	0	0	0
مـذكرات	0	1	1	1	0	3

LIP6

• G. Barthe, Th. Espitau, L. María Ferrer Fioriti, J. Hsu : “Synthesizing Probabilistic Invariants via Doob's Decomposition”, 28^th International Conference on Computer Aided Verification , 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, (London Mathematical Society) [Gélin 2016]
• C. Pierrot, B. Wesolowski : “Malleability of the blockchain's entropy”, ArcticCrypt 2016, Longyearbyen, Norway [Pierrot 2016]