Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- M. Albrecht, C. Cid, Th. Dulien, J.‑Ch. Faugère, L. Perret : “Algebraic Precomputations in Differential Cryptanalysis”, Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010, London, United Kingdom, pp. 37-50, (Ecrypt II) [Albrecht 2010]
- L. Bettale, J.‑Ch. Faugère, L. Perret : “Hybrid Approach : a Tool for Multivariate Cryptography”, Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010, London, United Kingdom, pp. 15-23, (Ecrypt II) [Bettale 2010a]
- J.‑Ch. Faugère : “FGb: A Library for Computing Gröbner Bases”, Mathematical Software - ICMS 2010, vol. 6327, Lecture Notes in Computer Science, Kobe, Japan, pp. 84-87, (Springer Berlin / Heidelberg) [Faugère 2010a]
- J.‑Ch. Faugère, A. Joux, L. Perret, J. Treger : “Cryptanalysis of the Hidden Matrix Cryptosystem”, Progress in Cryptology - LATINCRYPT 2010, vol. 6212, Lecture Notes in Computer Science, Puebla, Mexico, pp. 241-254, (Springer Berlin / Heidelberg) [Faugère 2010b]
- J.‑Ch. Faugère, A. Otmani, L. Perret, J.‑P. Tillich : “A Distinguisher for High Rate McEliece Cryptosystem -- Extended Abstract”, Yet Another Conference on Cryptography, YACC 2010, Porquerolles, France, pp. 1-4 [Faugère 2010c]
- J.‑Ch. Faugère, A. Otmani, L. Perret, J.‑P. Tillich : “Algebraic Cryptanalysis of McEliece Variants with Compact Keys”, Eurocrypt 2010 - 29th International Conference on Cryptology, vol. 6110, Lecture Notes in Computer Science, Monaco, Monaco, pp. 279-298, (Springer Verlag) [Faugère 2010d]
- J.‑Ch. Faugère, A. Otmani, L. Perret, J.‑P. Tillich : “Algebraic Cryptanalysis of McEliece Variants with Compact Keys -- Toward a Complexity Analysis”, Yet Another Conference on Cryptography, YACC 2010, Porquerolles, France, pp. 1-4 [Faugère 2010e]
- J.‑Ch. Faugère, A. Otmani, L. Perret, J.‑P. Tillich : “Algebraic Cryptanalysis of McEliece Variants with Compact Keys -- Toward a Complexity Analysis”, SCC '10: Proceedings of the 2nd International Conference on Symbolic Computation and Cryptography, London, United Kingdom, pp. 45-55 [Faugère 2010f]
- J.‑Ch. Faugère, J. Gathen, L. Perret : “Decomposition of Generic Multivariate Polynomials”, ISSAC '10: Proceedings of the 2010 international symposium on Symbolic and algebraic computation, Munich, Germany, pp. 131-137, (ACM) [Faugère 2010h]
- J.‑Ch. Faugère, M. Safey El Din, P.‑J. Spaenlehauer : “Computing Loci of Rank Defects of Linear Matrices using Gröbner Bases and Applications to Cryptology”, ISSAC 2010 - 35th International Symposium on Symbolic and Algebraic Computation, Munich, Germany, pp. 257-264, (ACM) [Faugère 2010j]
- J.‑Ch. Faugère, P.‑J. Spaenlehauer : “Algebraic Cryptanalysis of the PKC'09 Algebraic Surface Cryptosystem”, PKC 2010 - 13th International Conference on Practice and Theory in Public Key Cryptography, vol. 6056, Lecture Notes in Computer Science, Paris, France, pp. 35-52, (Springer) [Faugère 2010k]
- J.‑Ch. Faugère, R. Marinier, G. Renault : “Implicit Factoring with Shared Most Significant and Middle Bits”, SCC '10: Proceedings of the 2nd International Conference on Symbolic Computation and Cryptography, London, United Kingdom, pp. 197-201 [Faugère 2010l]
- J.‑Ch. Faugère, R. Marinier, G. Renault : “Implicit Factoring with Shared Most Significant and Middle Bits”, in 13th International Conference on Practice and Theory in Public Key Cryptography -- PKC 2010, vol. 6056, Lecture Notes in Computer Science, Paris, France, pp. 70-87, (Springer-Verlag) [Faugère 2010m]
- J.‑Ch. Faugère, R. Ødegard, L. Perret, D. Gligoroski : “Analysis of the MQQ Public Key Cryptosystem”, Cryptology and Network Security, vol. 6467, Lecture Notes in Computer Science, Kuala Lumpur, Malaysia, pp. 169-183, (Springer Berlin / Heidelberg) [Faugère 2010n]
- J.‑Ch. Faugère, R. Ødegard, L. Perret, D. Gligoroski : “Analysis of the MQQ Public Key Cryptosystem”, SCC'10: Proceedings of the 2nd International Conference on Symbolic Computation and Cryptography, Londres, United Kingdom, pp. 101-116 [Faugère 2010o]
- J.‑Ch. Faugère, S. Lachartre : “Parallel Gaussian Elimination for Gröbner bases computations in finite fields”, Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, PASCO '10, Grenoble, France, pp. 89-97, (ACM) [Faugère 2010p]
- F. Guo, M. Safey El Din, L. Zhi : “Global Optimization of Polynomials Using Generalized Critical Values and Sums of Squares”, ISSAC '10: Proceedings of the 2010 international symposium on Symbolic and algebraic computation, Munich, Germany, pp. 107-114, (ACM) [Guo 2010]
- J.‑G. Kammerer, R. Lercier, G. Renault : “Encoding points on hyperelliptic curves over finite fields in deterministic polynomial time”, Pairing-Based Cryptography, vol. 6487, Lecture Notes in Computer Science, Ishikawa, Japan, pp. 278-297, (Springer) [Kammerer 2010]
- G. Moroz, D. Chablat, Ph. Wenger, F. Rouillier : “Cusp points in the parameter space of RPR-2PRR parallel manipulators”, New Trends in Mechanism Science: Analysis and Design, vol. 5, Mechanisms and Machine Science, Cluj-Napoca, Romania, pp. 29-37, (Springer) [Moroz 2010a]
- F. Rouillier : “On Solving Systems of Bivariate Polynomials”, Mathematical Software - ICMS 2010, vol. 6327, Lecture Notes in Computer Science, Kobe, Japan, pp. 100-104, (Springer) [Rouillier 2010]
- M. Safey El Din : “Fast Algorithms for Real Solving Polynomial Systems of Inequalities/inequations”, SIAM Conference on Parallel Processing and Scientific Computing -- High Performance Symbolic Computing, Seattle, United States, (SIAM) [Safey El Din 2010a]
- M. Safey El Din : “Stability Analysis of Numerical Schemes with a Variant Quantifier Elimination Algorithm over the Reals”, Hybrid Methodologies for Symbolic-Numeric Computation, Berkeley, United States [Safey El Din 2010b]
- M. Soos : “Enhanced Gaussian Elimination in DPLL-based SAT Solvers”, Pragmatics of SAT Workshop, Edinburgh, United Kingdom [Soos 2010a]
- M. Soos : “Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers”, Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010, London, United Kingdom, pp. 131-144 [Soos 2010b]
- D. Wang, X.‑Sh. Gao, Zh. Liu, Z. Li : “A Review of the Development of Mathematics Mechanization (in {Chinese})”, Wen-tsün Wu and Chinese Mathematics, Singapore, Singapore, pp. 221-233, (Global Publishing) [Wang 2010]