Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- L. Bettale, J.‑Ch. Faugère, L. Perret : “Security Analysis of Multivariate Polynomials for Hashing”, Information Security and Cryptology: 4th International Conference, Inscrypt 2008, Revised Selected Papers, vol. 5487, Lecture Notes in Computer Science, Beijing, China, pp. 115-124, (Springer-Verlag) [Bettale 2009]
- J. Cheng, S. Lazard, L. Peñaranda, M. Pouget, F. Rouillier, Elias P. Tsigaridas : “On the topology of planar algebraic curves”, 25th annual symposium on Computational geometry - SCG 2009, Aarhus, Denmark, pp. 361-370, (ACM) [Cheng 2009]
- H. Everett, Ch. Gillot, D. Lazard, S. Lazard, M. Pouget : “The Voronoi diagram of three arbitrary lines in R3”, 25th European Workshop on Computational Geometry - EuroCG'09, Bruxelles, Belgium, pp. 297-300 [Everett 2009a]
- J.‑Ch. Faugère : “Efficient algorithms to compute Groebner Bases and applications in Cryptology”, Polynomial Computer Algebra'09, Euler Institute, St Petersburg, Russian Federation [Faugère 2009a]
- J.‑Ch. Faugère : “Interactions between computer algebra (Gröbner bases) and cryptology”, ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation, Seoul, Korea, Republic of, pp. 383-384, (ACM) [Faugère 2009b]
- J.‑Ch. Faugère : “Solving Structured Polynomial Systems and Applications to Cryptology”, Computer Algebra in Scientific Computing - CASC'09, vol. 5743, Lecture Notes in Computer Science, Kobe, Japan, pp. 79-80, (Springer Berlin / Heidelberg) [Faugère 2009c]
- J.‑Ch. Faugère, L. Perret : “Algebraic Cryptanalysis of Curry and Flurry using Correlated Messages”, Information Security and Cryptology: 5th International Conference, Inscrypt 2009, Beijing, China, December, 2009, Revised Selected Papers, vol. 6151, Lecture Notes in Computer Science, Beijing, China, pp. 266-277, (Springer-Verlag) [Faugère 2009e]
- J.‑Ch. Faugère, L. Perret : “High order derivatives and decomposition of multivariate polynomials”, ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation, Seoul, Korea, Republic of, pp. 207-214, (ACM) [Faugère 2009g]
- J.‑Ch. Faugère, L. Perret, P.‑J. Spaenlehauer : “Algebraic-Differential Cryptanalysis of DES”, Western European Workshop on Research in Cryptology - WEWoRC 2009, Graz, Austria, pp. 1-5 [Faugère 2009h]
- J.‑Ch. Faugère, S. Rahmany : “Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases”, ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation, Seoul, Korea, Republic of, pp. 151-158, (ACM) [Faugère 2009j]
- H. Hong, M. Safey El Din : “Variant real quantifier elimination: algorithm and application”, ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation, Seoul, Korea, Republic of, pp. 183-190, (ACM) [Hong 2009]
- Y. Huang, D. Wang : “Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and {Gröbner} Bases”, SYNASC 2009: Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, pp. 28-36, (IEEE) [Huang 2009]
- D. Lazard : “Algebraic points in geometry and application to {CAD}”, International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), vol. 22, COE Lecture Note, Fukuoka, Japan, (Kyushu University, Japan) [Lazard 2009a]
- D. Lazard : “Theorem Proving in Geometry and Tools for Polynomial System Solving”, International Conference on Mathematics Mechanization (ICMM) in honor of professor Wen-Tsun Wu's nineties birthday, Beijing, China [Lazard 2009b]
- X. Li, Ch. Mou, W. Niu, D. Wang : “Stability Analysis for Discrete Biological Models Using Algebraic Methods”, Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, vol. 22, COE Lecture Note Series, Fukuoka, Japan, pp. 382-385, (Kyushu University) [Li 2009]
- S. Orange, G. Renault, K. Yokoyama : “Computation Schemes for Splitting Fields of Polynomials”, ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation, Seoul, Korea, Republic of, pp. 279-286, (ACM) [Orange 2009]
- F. Rouillier, R. Xiao : “On Using Triangular Decomposition for Solving Parametric Polynomial Systems”, MACIS'09, Fukuoka, Japan [Rouillier 2009]
- D. Wang : “Basic Elements of Computer Geometry”, SCSS 2009: Proceedings of the Tunisia-Japan Workshop on Symbolic Computation in Software Science, Gammarth, Tunisia, pp. 2-12, (EasyChair) [Wang 2009a]
- D. Wang : “Formalization and Specification of Geometric Knowledge Objects”, AWFS 2009: Proceedings of the Sixth Asian Workshop on Foundations of Software, Tokyo, Japan, pp. 86-98, (National Institute of Informatics) [Wang 2009b]