LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Publications » Conference papers
Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Thesis
Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
Publications PolSys201520162017201820192020Total
Books0000000
Edited books0000011
Journal articles41081081151
Book chapters1100002
Conference papers9156107350
Habilitations0200002
Thesis2210106
LIP6
  • S. Belaid, J.‑S. Coron, E. Prouff, M. Rivain, A. Taleb : “Random Probing Security: Verification, Composition, Expansion and New Constructions”, Advances in Cryptology - CRYPTO}2020 - 40th Annual International Cryptology Conference, {CRYPTO} 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part I, vol. 12170, Lecture Notes in Computer Science, Santa Barbara, CA / Virtual, United States, pp. 339-368, (Springer) [Belaid 2020a]
  • J. Capco, M. Safey El Din, J. Schicho : “Robots, computer algebra and eight connected components”, ISSAC '20: International Symposium on Symbolic and Algebraic Computation, ISSAC'20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, Kalamata / Virtual, Greece, pp. 62-69, (ACM) [Capco 2020]
  • H. Le, M. Safey El Din, T. De Wolff : “Computing the real isolated points of an algebraic hypersurface”, ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, pp. 297–304 [Le 2020b]
 Mentions légales
Site map |