Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications PolSys | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 8 | 6 | 14 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 7 | 9 | 16 |
Habilitations | 1 | 0 | 1 |
Soutenance de Thèses | 2 | 0 | 2 |
- I. Bannwarth, M. Safey El Din : “Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets”, ISSAC'15 - 40th International Symposium on Symbolic and Algebraic Computation, Bath, United Kingdom, pp. 37-44, (ACM) [Bannwarth 2015]
- B. Bérard, S. Haddad, C. Picaronny, M. Safey El Din, M. Sassolas : “Polynomial Interrupt Timed Automata”, The 9th Workshop on Reachability Problems (RP'15), vol. 9328, Lecture Notes in Computer Science, Warsaw, Poland, pp. 20-32, (Springer) [Bérard 2015e]
- J. Berthomieu, B. Boyer, J.‑Ch. Faugère : “Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences”, ISSAC '15: Proceedings of the 2015 on International Symposium on Symbolic and Algebraic Computation, Bath, United Kingdom, pp. 61-68 [Berthomieu 2015a]
- M. Conde Pena, J.‑Ch. Faugère, L. Perret : “Algebraic Cryptanalysis of a Quantum Money Scheme The Noise-Free Case”, IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15), Maryland, United States [Conde Pena 2015]
- J.‑Ch. Faugère, D. Gligoroski, L. Perret, S. Simona, E. Thomae : “A Polynomial-Time Key-Recovery Attack on MQQ Cryptosystems”, IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15), Maryland, United States [Faugère 2015]
- F. Guo, M. Safey El Din, W. Chu, L. Zhi : “Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety”, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, Bath, United Kingdom, pp. 205-212, (ACM) [Guo 2015]
- D. Henrion, S. Naldi, M. Safey El Din : “Real root finding for rank defects in linear Hankel matrices”, International Symposium on Symbolic and Algebraic Computation (ISSAC), Bath, United Kingdom, pp. 221-228, (ACM) [Henrion 2015]
- A. Herman, E. Tsigaridas : “Bounds for the Condition Number of Polynomials Systems with Integer Coefficients”, CASC, vol. 9301, Aachen, Germany, pp. 210-219 [Herman 2015]
- V. Vitse, A. Wallet : “Improved Sieving on Algebraic Curves”, Progress in Cryptology -- LATINCRYPT 2015, vol. 9230, Lecture Notes in Computer Science, Guadalajara, Mexico, pp. 295-307 [Vitse 2015]