Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | ACASA |
Publications PolSys | 2023 | 2024 | Total |
---|---|---|---|
Books | 0 | 0 | 0 |
Edited books | 0 | 0 | 0 |
Journal articles | 7 | 7 | 14 |
Book chapters | 0 | 0 | 0 |
Conference papers | 7 | 9 | 16 |
Habilitations | 1 | 0 | 1 |
Thesis | 2 | 1 | 3 |
- J. Berthomieu, R. Mohr : “Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting”, 49th International Symposium on Symbolic and Algebraic Computation, ISSAC '24, Raleigh, NC, United States, pp. 307-315, (ACM), (ISBN: 9798400706967) [Berthomieu 2024]
- L. Bettale, D. Kahrobaei, L. Perret, J. Verbel : “Biscuit: New MPCitH Signature Scheme from Structured Multivariate Polynomials”, Applied Cryptography and Network Security (ACNS), vol. 14583, Lecture Notes in Computer Science, Abu Dhabi, United Arab Emirates, pp. 457-486, (Springer Nature Switzerland) [Bettale 2024]
- L. Gaillard, M. Safey El Din : “Solving parameter-dependent semi-algebraic systems”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC '24, Raleigh, NC, United States, pp. 447-456, (ACM), (ISBN: 9798400706967) [Gaillard 2024]
- S. Gopalakrishnan, V. Neiger, M. Safey El Din : “Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC '24, Raleigh, NC, United States, pp. 400–409, (ACM), (ISBN: 9798400706967) [Gopalakrishnan 2024]
- B. Huang, D. Wang, J. Yang : “Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, Raleigh, NC, United States, pp. 180-187, (ACM), (ISBN: 9798400706967) [Huang 2024b]
- R. Moreira Ferreira, L. Perret : “Polynomial-Time Key-Recovery Attack on the NIST Specification of PROV”, Progress in Cryptology - AFRICACRYPT 2024, vol. 14861, Lecture Notes in Computer Science, Douala, Cameroon, pp. 222-235, (Springer Nature Switzerland), (ISBN: 978-3-031-64381-1) [Moreira Ferreira 2024]
- V. Neiger, C. Pernet, G. Villard : “Computing Krylov iterates in the time of matrix multiplication”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC '24, Raleigh, NC, United States, pp. 419–428, (ACM), (ISBN: 9798400706967) [Neiger 2024b]
- P. Pébereau : “One vector to rule them all: Key recovery from one vector in UOV schemes”, 15th International Conference on Post-Quantum Cryptography - PQCrypto 2024, vol. 14772, Lecture Notes in Computer Science, Oxford, United Kingdom, pp. 92-108, (Springer Nature Switzerland), (ISBN: 978-3-031-62746-0) [Pébereau 2024a]
- D. Wang, L. Wang : “Decomposition of Polynomial Ideals into Triangular Regular Sequences”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, Raleigh, NC, United States, pp. 244-253, (ACM), (ISBN: 9798400706967) [Wang 2024]