Équipes actuelles :
ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
LIP6
- D. Kaufmann, J. Berthomieu : “Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs”, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025, vol. 15696, Lecture Notes in Computer Science, Hamilton, Canada, pp. 355-374, (Springer Nature Switzerland), (ISBN: 978-3-031-90643-5) [Kaufmann 2025]
- P. Pébereau : “Singular points of UOV and VOX”, Eurocrypt 2025 (44th Annual International Conference on the Theory and Applications of Cryptographic Techniques), Madrid, Spain [Pébereau 2025]
- C. Pierrot, G. Damoiseau‑Malraux, P. Mekhail, O. Chaline, L. Perret : “A Caribbean Directory-based Encryption during the American War of Independence: Bellecombe, governor of Saint-Domingue, 1782”, International Conference on Historical Cryptology (HistoCrypt 2025), Poznan, Poland [Pierrot 2025]