ECO: Exact Computing

L'équipe ECO est un jeune groupe s'intéressant aux aspects calculatoires de problèmes mathématiques. En particulier, nos travaux sont issus du calcul formel, de la cryptographie et de la théorie algorithmique des nombres.

Site web de l'équipe: www.lirmm.fr/eco

Publications depuis 2013 - Evaluation 2019

Articles de revues internationales

2018

  1. Simultaneous conversions with the Residue Number System using linear algebra
    Javad Doliskani, Pascal Giorgi, Romain Lebreton, Éric Schost
    ACM Transactions on Mathematical Software, Association for Computing Machinery, In press, 44, Art. 27, 21 p. <10.1145/3145573>

2017

  1. Randomized Mixed-Radix Scalar Multiplication
    Eleonora Guerrini, Laurent Imbert, Theo Winterhalter
    IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, In press. <10.1109/TC.2017.2750677>

2016

  1. Bounded-degree factors of lacunary multivariate polynomials
    Bruno Grenet
    Journal of Symbolic Computation, Elsevier, 2016, Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra, 75, pp.171-192.
  2. On Optimal Nonlinear Systematic Codes
    Eleonora Guerrini, Alessio Meneghetti, Massimiliano Sala
    IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2016, 62 (6), pp.3103-3112.
  3. Deterministic root finding over finite fields using Graeffe transforms
    Bruno Grenet, Joris Van Der Hoeven, Grégoire Lecerf
    Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2016, 27 (3), pp.237-257.
  4. A simple and fast online power series multiplication and its analysis
    Romain Lebreton, Éric Schost
    Journal of Symbolic Computation, Elsevier, 2016, 72, pp.231-251.

2015

  1. Lacunaryx: Computing bounded-degree factors of lacunary polynomials
    Bruno Grenet
    ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2015, Issue 194, 49 (4), pp.121-124.
  2. Relaxed Hensel lifting of triangular sets
    Romain Lebreton
    Journal of Symbolic Computation, Elsevier, 2015, Effective Methods in Algebraic Geometry, 68, pp.230-258.
  3. Vertical and horizontal correlation attacks on RNS-based exponentiations
    Guilherme Perin, Laurent Imbert, Philippe Maurine, Lionel Torres
    Journal of Cryptographic Engineering, Springer, 2015, 5 (3), pp.171-185.

2014

  1. On the maximal weight of (p,q)-ary chain partitions with bounded parts
    Filippo Disanto, Laurent Imbert, Fabrice Philippe
    Integers : Electronic Journal of Combinatorial Number Theory, State University of West Georgia, Charles University, and DIMATIA, 2014, 14, pp.A37.
  2. Some Bounds on the Size of Codes
    Emanuele Bellini, Eleonora Guerrini, Massimiliano Sala
    IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2014, 60 (3), pp.1475-1480.
  3. Block Wiedemann algorithm on multicore architectures
    Bastien Vialla
    ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2014, 47 (3/4), pp.102 - 103.
  4. Relaxing order basis computation
    Pascal Giorgi, Romain Lebreton
    ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2014, 47 (3/4), pp.100-101.

2013

  1. Empirical optimization of divisor arithmetic on hyperelliptic curves over $\mathbf{F}_{2^m}$
    Laurent Imbert, Michael Jacobson Jr
    Advances in Mathematics of Communications, AIMS, 2013, 7 (4), pp.485-502.

Communications internationales

2017

  1. Encryption Switching Protocols Revisited: Switching Modulo p
    Guilhem Castagnos, Laurent Imbert, Fabien Laguillaumie
    CRYPTO 2017 - 37th International Cryptology Conference, Aug 2017, Santa Barbara, United States. Lecture Notes in Computer Science, 10401, pp.255-287, 2017, Advances in Cryptology – CRYPTO 2017.
  2. Algorithms for structured linear systems solving and their implementation
    Seung Gyu Hyun, Romain Lebreton, Éric Schost
    ISSAC: International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.205-212, 2017, Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation.

2016

  1. Recursive double-size fixed precision arithmetic
    Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi
    International Congress of Mathematical Software, Jul 2016, Berlin, Germany. Volume 9725 of the series Lecture Notes in Computer Science, pp.223--231, 2016, Mathematical Software – ICMS 2016.

2015

  1. Minimizing the number of bootstrappings in fully homomorphic encryption
    Marie Paindavoine, Bastien Vialla
    SAC: Selected Areas in Cryptography, Aug 2015, Sackville, NB, Canada. Revised Selected Papers of thé 22nd International Conference on Selected Areas in Cryptography, LNCS (9566), pp.25-43, 2015.
  2. Parallel Algebraic Linear Algebra Dedicated Interface
    Thierry Gautier, Jean-Louis Roch, Ziad Sultan, Bastien Vialla
    PASCO: International Workshop on Parallel Symbolic Computation, Jul 2015, Bath, United Kingdom. Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp.34-43, 2015.
  3. Randomized Root Finding over Finite FFT-fields using Tangent Graeffe Transforms
    Bruno Grenet, Joris Van Der Hoeven, Grégoire Lecerf
    Kazuhiro Yokoyama. ISSAC: International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. ACM, 40th International Symposium on Symbolic and Algebraic Computation, pp.197-204, 2015.
  4. Randomizing Scalar Multiplication using Exact Covering Systems of Congruences
    Laurent Imbert
    Explicit Methods for Abelian Varieties: Kick-off Workshop, May 2015, Calgary, Canada. 2015.

2014

  1. Generating Optimized Sparse Matrix Vector Product over Finite Fields
    Pascal Giorgi, Bastien Vialla
    Hong, Hoon; Yap, Chee. ICMS: International Congress on Mathematical Software, Aug 2014, Séoul, South Korea. Springer Berlin Heidelberg, 4th International Congress on Mathematical Software, LNCS (8592), pp.685-690, 2014, Mathematical Software.
  2. Elements of Design for Containers and Solutions in the LinBox Library
    Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders
    Hoon Hong; Chee Yap. ICMS - 4th International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. Springer, Lecture Notes in Computer Science, 8592, pp.654-662, 2014, Mathematical Software – ICMS 2014.
  3. Online order basis algorithm and its impact on the block Wiedemann algorithm
    Pascal Giorgi, Romain Lebreton
    ISSAC: International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. ACM, pp.202-209, 2014, Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation.
  4. Proxy Re-Encryption Scheme Supporting a Selection of Delegatees
    Julien Devigne, Eleonora Guerrini, Fabien Laguillaumie
    AFRICACRYPT: Cryptology in Africa, May 2014, Marrakech, Morocco. 7th International Conference on Cryptology in Africa, LNCS (8469), pp.13-30, 2014, Progress in Cryptology – AFRICACRYPT 2014.
  5. Attacking Randomized Exponentiations Using Unsupervised Learning
    Guilherme Perin, Laurent Imbert, Lionel Torres, Philippe Maurine
    COSADE: Constructive Side-Channel Analysis and Secure Design, Apr 2014, Paris, France. COSADE'2014: 5th International Workshop on Constructive Side-Channel Analysis and Secure Design, LNCS (8622), pp.144-160, 2014, Constructive Side-Channel Analysis and Secure Design.

2013

  1. Practical Analysis of RSA Countermeasures Against Side-Channel Electromagnetic Attacks
    Guilherme Perin, Laurent Imbert, Lionel Torres, Philippe Maurine
    CARDIS: Smart Card Research and Advanced Application Conference, Nov 2013, Berlin, Germany. Springer, CARDIS'2013: 12th Smart Card Research and Advanced Application Conference, LNCS, pp.200-215, 2013.
  2. Electromagnetic Analysis on RSA Algorithm Based on RNS
    Guilherme Perin, Laurent Imbert, Lionel Torres, Philippe Maurine
    DSD: Digital System Design, Sep 2013, Santander, Spain. IEEE, DSD'2013: 16th Euromicro Conference on Digital System Design, pp.345-352, 2013, Digital System Design.
  3. On the complexity of solving bivariate systems: the case of non-singular solutions
    Romain Lebreton, Eric Schost, Esmaeil Mehrabi
    ISSAC: International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, pp.251-258, 2013.
  4. Structured FFT and TFT: symmetric and lattice polynomials
    Joris Van Der Hoeven, Romain Lebreton, Eric Schost
    ISSAC: International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, pp.355-362, 2013.
  5. Relaxed Hensel lifting of triangular sets
    Romain Lebreton
    MEGA: Effective Methods in Algebraic Geometry, Jun 2013, Frankfurt, Germany.
  6. A bound of the size of codes
    Eleonora Guerrini, Emanuele Bellini, Sala Massimiliano
    WCC'2013: International Workshop on Coding and Cryptography, Apr 2013, Bergen, Norway. 1, pp.569-576, 2013.
  7. Parallel modular multiplication on multi-core processors
    Pascal Giorgi, Laurent Imbert, Thomas Izard
    IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, Texas, United States. pp.135-142, 2013.

Membres

Permanents

Non permanents

Collaborateurs réguliers

  • Fabien Laguillaumie, Professeur

Mots-clés

Calcul Formel, Théorie Algorithmique des Nombres, Arithmétique des Ordinateurs, Cryptographie, Codes Correcteurs d'Erreurs

Dernière mise à jour le 29/03/2018