Equipes atuais :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Antigos grupos :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Antigos tópicos de pesquisa :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publicações ALMASTY	2015	2016	2017	2018	2019	Total
Livros	0	0	0	1	0	1
Livros Editados	0	0	0	0	0	0
Jornais	0	1	1	3	3	8
Capítulos de livros	0	1	1	0	0	2
Artigos de Conferencia	1	4	10	6	1	22
Habilitações (Livre Docência)	0	0	0	0	0	0
Teses	0	1	1	1	0	3

LIP6

• J.‑C. Bajard, J. Eynard, A. Hasan, P. Martins, L. Sousa, V. Zucca : “Efficient reductions in cyclotomic rings - Application to Ring-LWE based FHE schemes”, Selected Areas of Cryptography 2017, Ottawa, Canada [Bajard 2017b]
• G. Barthe, Th. Espitau, B. Grégoire, J. Hsu, P.‑Y. Strub : “Proving uniformity and independence by self-composition and coupling”, LPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, pp. 19 [Barthe 2017a]
• G. Barthe, Th. Espitau, J. Hsu, T. Sato, P.‑Y. Strub : “Liftings for Differential Privacy”, ICALP 2017, Varsovie, Poland [Barthe 2017b]
• J.‑F. Biasse, Th. Espitau, P.‑A. Fouque, A. Gélin, P. Kirchner : “Computing generator in cyclotomic integer rings: A subfield algorithm for the Principal Ideal Problem in Ll∆Kl(1/2) and application to cryptanalysis of a FHE scheme”, 36^th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2017), vol. 10210, Lecture Notes in Computer Science, Paris, France, pp. 60-88 [Biasse 2017]
• J.‑G. Dumas, V. Zucca : “Prover efficient public verification of dense or sparse/structured matrix-vector multiplication”, ACISP 2017, 22^nd Australasian Conference on Information Security and Privacy, vol. 10343, Lecture Notes in Computer Science, Auckland, New Zealand, pp. 115-134, (Springer) [Dumas 2017]
• Th. Espitau, P.‑A. Fouque, B. Gérard, M. Tibouchi : “Side-Channel Attacks on BLISS Lattice-Based Signatures: Exploiting Branch Tracing against strongSwan and Electromagnetic Emanations in Microcontrollers”, 2017 ACM Conference on Computer and Communications Security (CCS 2017), Dallas, TX, USA, pp. 1857-1874, (ACM) [Espitau 2017]
• A. Gélin, B. Wesolowski : “Loop-Abort Faults on Supersingular Isogeny Cryptosystems”, 8^th International Conference on Post-Quantum Cryptography (PQCrypto 2017), vol. 10346, Lecture Notes in Computer Science, Utrecht, Netherlands, pp. 93-106 [Gélin 2017a]
• A. Gélin, Th. Kleinjung, Arjen K. Lenstra : “Parametrizations for Families of ECM-Friendly Curves”, ISSAC 2017 The 42^nd International Symposium on Symbolic and Algebraic Computation, Kaiserslautern, Germany, pp. 165-171 [Gélin 2017b]
• A. Joux : “Discrete Logarithms in Small Characteristic Finite Fields: a Survey of Recent Advances”, 34^th Symposium on Theoretical Aspects of Computer Science (STACS 2017), Hanover, Germany [Joux 2017]
• Th. MEFENZA NOUNTU, D. Vergnaud : “Lattice Attacks on Pairing-Based Signatures”, IMACC 2017 - 16^th IMA International Conference on Cryptography and Coding, vol. 10655, Lecture Notes in Computer Science, Oxford, United Kingdom, pp. 352-370, (Springer) [MEFENZA NOUNTU 2017]