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.

Membres

Permanents

Non permanents

Collaborateurs réguliers

  • Fabien Laguillaumie, Professeur des Universités

Publications depuis 2013 - Evaluation 2019

Articles de revues internationales

2018

  1. A probabilistic algorithm for verifying polynomial middle product in linear time
    Giorgi Pascal
    Information Processing Letters, Elsevier, 2018, 139, pp.30-34.
  2. Simultaneous conversions with the Residue Number System using linear algebra
    Javad Doliskani, Giorgi Pascal, Romain Lebreton, Éric Schost
    ACM Transactions on Mathematical Software, Association for Computing Machinery, 2018, 44 (3), pp.#27.

2017

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

2016

  1. GPU-Accelerated Generation of Correctly Rounded Elementary Functions
    Pierre Fortin, Mourad Gouicem, Stef Graillat
    ACM Transactions on Mathematical Software, Association for Computing Machinery, 2016, 43 (3), pp.22:1--22:26.
  2. Solving the Table Maker's Dilemma on Current SIMD Architectures
    Christophe Avenel, Pierre Fortin, Mourad Gouicem, Zaidi Samia
    Scalable Computing : Practice and Experience, West University of Timisoara, 2016, 17 (3). <10.12694/scpe.v17i3.1183>
  3. 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.
  4. 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.
  5. 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.
  6. 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
    Giorgi Pascal, 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

2018

  1. Certification of minimal approximant bases
    Giorgi Pascal, Vincent Neiger
    ISSAC: International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. 43rd International Symposium on Symbolic and Algebraic Computation, pp.167-174, 2018.

2017

  1. Encryption Switching Protocols Revisited: Switching Modulo $p$
    Guilhem Castagnos, Laurent Imbert, Fabien Laguillaumie
    CRYPTO, Aug 2017, Santa Barbara, United States. 37th International Cryptology Conference, LNCS (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. 42nd International Symposium on Symbolic and Algebraic Computation, pp.205-212, 2017.

2016

  1. Recursive double-size fixed precision arithmetic
    Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Giorgi Pascal
    ICMS: International Congress of Mathematical Software, Jul 2016, Berlin, Germany. 5th International Congress of Mathematical Software, LNCS (9725), pp.223--231, 2016, Mathematical Software.

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. 22nd International Conference on Selected Areas in Cryptography, LNCS (9566), pp.25-43, 2015, Revised Selected Papers.
  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. 7th International Workshop on Parallel Symbolic Computation, 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. <https://www.pims.math.ca/scientific-event/150525-emavkw>

2014

  1. Elements of Design for Containers and Solutions in the LinBox Library
    Brice Boyer, Jean-Guillaume Dumas, Giorgi Pascal, Clément Pernet, B. David Saunders
    Hoon Hong; Chee Yap. ICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. Springer, 4th International Congress of Mathematical Software, LNCS (8592), pp.654-662, 2014, Mathematical Software – ICMS 2014.
  2. Generating Optimized Sparse Matrix Vector Product over Finite Fields
    Giorgi Pascal, 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.
  3. Online order basis algorithm and its impact on the block Wiedemann algorithm
    Giorgi Pascal, Romain Lebreton
    ISSAC: International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. ACM, 39th International Symposium on Symbolic and Algebraic Computation, pp.202-209, 2014.
  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. 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 Applications, Nov 2013, Berlin, Germany. Springer, 12th Smart Card Research and Advanced Application Conference, LNCS (8419), 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, 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. <http://mega.sciencesconf.org>
  6. A bound of the size of codes
    Eleonora Guerrini, Emanuele Bellini, Sala Massimiliano
    WCC: Workshop on Coding and Cryptography, Apr 2013, Bergen, Norway. 8th International Workshop on Coding and Cryptography, 1, pp.569-576, 2013.
  7. Parallel modular multiplication on multi-core processors
    Giorgi Pascal, Laurent Imbert, Thomas Izard
    IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. 21st IEEE Symposium on Computer Arithmetic, pp.135-142, 2013.
  8. Persistent Patterns in Integer Discrete Circles
    André Hoarau, Thierry Monteil
    DGCI: Discrete Geometry for Computer Imagery, Mar 2013, Séville, Spain. 17th IAPR International Conference on Discrete Geometry for Computer Imagery, LNCS (7749), pp.35-46, 2013.

Mots-clés

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

Dernière mise à jour le 10/09/2018