EN FR
EN FR


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 2S. Bai, C. Bouvier, A. Kruppa, P. Zimmermann.

    Better polynomials for GNFS, in: Mathematics of Computation / Mathematics of Computation, 2016, vol. 85, 12 p. [ DOI : 10.1090/mcom3048 ]

    https://hal.inria.fr/hal-01089507
  • 3S. Bai, C. Tong, J. Wen.

    Effects of Some Lattice Reductions on the Success Probability of the Zero-Forcing Decoder, in: IEEE Communications Letters, 2016. [ DOI : 10.1109/LCOMM.2016.2594196 ]

    https://hal.inria.fr/hal-01394219
  • 4F. Benhamouda, J. Herranz, M. JOYE, B. Libert.

    Efficient Cryptosystems From 2k -th Power Residue Symbols, in: Journal of Cryptology, April 2016. [ DOI : 10.1007/s00145-016-9229-5 ]

    https://hal.inria.fr/hal-01394400
  • 5A. Bostan, M. Bousquet-Mélou, M. Kauers, S. Melczer.

    On 3-dimensional lattice walks confined to the positive octant, in: Annals of Combinatorics, October 2016, 36 p, First Online: 14 October 2016. [ DOI : 10.1007/s00026-016-0328-7 ]

    https://hal.archives-ouvertes.fr/hal-01063886
  • 6A. Bostan, L. Dumont, B. Salvy.

    Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity, in: Journal of Symbolic Computation, 2016. [ DOI : 10.1016/j.jsc.2016.11.006 ]

    https://hal.archives-ouvertes.fr/hal-01244914
  • 7A. Bostan, P. Lairez, B. Salvy.

    Multiple binomial sums, in: Journal of Symbolic Computation, 2016. [ DOI : 10.1016/j.jsc.2016.04.002 ]

    https://hal.archives-ouvertes.fr/hal-01220573
  • 8N. Brisebarre, C. Lauter, M. Mezzarobba, J.-M. Muller.

    Comparison between binary and decimal floating-point numbers, in: IEEE Transactions on Computers, 2016, vol. 65, no 7, pp. 2032–2044. [ DOI : 10.1109/TC.2015.2479602 ]

    https://hal.archives-ouvertes.fr/hal-01021928
  • 9S. Burrill, J. Courtiel, E. Fusy, S. Melczer, M. Mishna.

    Tableau sequences, open diagrams, and Baxter families, in: European Journal of Combinatorics, November 2016, vol. 58, pp. 144 - 165. [ DOI : 10.1016/j.ejc.2016.05.011 ]

    https://hal.inria.fr/hal-01394155
  • 10J.-G. Dumas, T. Gautier, C. Pernet, J.-L. Roch, Z. Sultan.

    Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination, in: Parallel Computing, September 2016, vol. 57, pp. 235–249. [ DOI : 10.1016/j.parco.2015.10.003 ]

    https://hal.archives-ouvertes.fr/hal-01084238
  • 11J.-G. Dumas, C. Pernet, Z. Sultan.

    Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition, in: Journal of Symbolic Computation, November 2016, to appear. [ DOI : 10.1016/j.jsc.2016.11.011 ]

    https://hal.archives-ouvertes.fr/hal-01251223
  • 12C.-P. Jeannerod.

    A radix-independent error analysis of the Cornea-Harrison-Tang method, in: ACM Transactions on Mathematical Software, 2016. [ DOI : 10.1145/2824252 ]

    https://hal.inria.fr/hal-01050021
  • 13C.-P. Jeannerod, P. Kornerup, N. Louvet, J.-M. Muller.

    Error bounds on complex floating-point multiplication with an FMA, in: Mathematics of Computation, 2017, vol. 86, no 304, pp. 881-898. [ DOI : 10.1090/mcom/3123 ]

    https://hal.inria.fr/hal-00867040
  • 14C.-P. Jeannerod, N. Louvet, J.-M. Muller, A. Plet.

    Sharp error bounds for complex floating-point inversion, in: Numerical Algorithms, November 2016, vol. 73, no 3, pp. 735-760. [ DOI : 10.1007/s11075-016-0115-x ]

    https://hal-ens-lyon.archives-ouvertes.fr/ensl-01195625
  • 15C.-P. Jeannerod, S. M. Rump.

    On relative errors of floating-point operations: optimal bounds and applications, in: Mathematics of Computation, 2016. [ DOI : 10.1090/mcom/3234 ]

    https://hal.inria.fr/hal-00934443
  • 16M. Joldes, O. Marty, J.-M. Muller, V. Popescu.

    Arithmetic algorithms for extended precision using floating-point expansions, in: IEEE Transactions on Computers, April 2016, vol. 65, no 4, pp. 1197 - 1210, Rapport LAAS n° 15016. [ DOI : 10.1109/TC.2015.2441714 ]

    https://hal.archives-ouvertes.fr/hal-01111551
  • 17B. Libert, M. JOYE, M. Yung.

    Born and raised distributively: Fully distributed non-interactive adaptively-secure threshold signatures with short shares, in: Theoretical Computer Science, September 2016, vol. 645, pp. 1-24. [ DOI : 10.1016/j.tcs.2016.02.031 ]

    https://hal.inria.fr/hal-01394405
  • 18S. Melczer, M. Mishna.

    Asymptotic Lattice Path Enumeration Using Diagonals, in: Algorithmica, August 2016, vol. 75, no 4, pp. 782 - 811. [ DOI : 10.1007/s00453-015-0063-1 ]

    https://hal.inria.fr/hal-01394157
  • 19S. M. Rump, F. Bünger, C.-P. Jeannerod.

    Improved error bounds for floating-point products and Horner’s scheme, in: BIT Numerical Mathematics, March 2016, vol. 56, no 1, pp. 293 - 307. [ DOI : 10.1007/s10543-015-0555-z ]

    https://hal.inria.fr/hal-01137652
  • 20R. Serra, D. Arzelier, M. Joldes, J.-B. Lasserre, A. Rondepierre, B. Salvy.

    Fast and Accurate Computation of Orbital Collision Probability for Short-Term Encounters, in: Journal of Guidance, Control, and Dynamics, May 2016, vol. 39, no 5, pp. 1009-1021. [ DOI : 10.2514/1.G001353 ]

    https://hal.archives-ouvertes.fr/hal-01132149
  • 21L. Thévenoux, P. Langlois, M. Martel.

    Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time, in: Concurrency and Computation: Practice and Experience, August 2016. [ DOI : 10.1002/cpe.3953 ]

    https://hal.archives-ouvertes.fr/hal-01236919

International Conferences with Proceedings

  • 22S. Agrawal, B. Libert, D. Stehlé.

    Fully Secure Functional Encryption for Inner Products, from Standard Assumptions, in: Crypto 2016, Santa Barbara, United States, Crypto 2016, Springer, August 2016, vol. 9816, pp. 333 - 362. [ DOI : 10.1007/978-3-662-53015-3_12 ]

    https://hal.inria.fr/hal-01228559
  • 23M. Albrecht, S. Bai, L. Ducas.

    A subfield lattice attack on overstretched NTRU assumptions: Cryptanalysis of some FHE and Graded Encoding Schemes, in: CRYPTO 2016, Santa Barbara, United States, 2016. [ DOI : 10.1007/978-3-662-53018-4_6 ]

    https://hal.inria.fr/hal-01394211
  • 24S. Bai, T. Laarhoven, D. Stehlé.

    Tuple lattice sieving,, in: ANTS 2016, Kaiserslautern, Germany, 2016.

    https://hal.inria.fr/hal-01394212
  • 25S. Bai, D. Stehlé, W. Weiqiang.

    Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices, in: ICALP 2016, Roma, Italy, 2016. [ DOI : 10.4230/LIPIcs.ICALP.2016.76 ]

    https://hal.inria.fr/hal-01394213
  • 26A. Bostan, L. Dumont, B. Salvy.

    Efficient Algorithms for Mixed Creative Telescoping, in: ISSAC 2016, Waterloo, Canada, Proceedings ISSAC'16, pp. 127–134, ACM Press, 2016, July 2016, 8 p. [ DOI : 10.1145/2930889.2930907 ]

    https://hal.inria.fr/hal-01317940
  • 27S. Canard, F. Laguillaumie, M. Paindavoine.

    Verifiable Message-Locked Encryption, in: CANS 2016 - 15th International Conference Cryptology and Network Security, Milano, Italy, S. Foresti, G. Persiano (editors), Proc. of CANS 2016, Springer, November 2016, vol. 10052, pp. 299 - 315. [ DOI : 10.1007/978-3-319-48965-0_18 ]

    https://hal.inria.fr/hal-01404486
  • 28J. Chen, B. Libert, S. C. Ramanna.

    Non-Zero Inner Product Encryption with Short Ciphertexts and Private Keys, in: 10th Conference on Security and Cryptography for Networks (SCN 2016), Amalfi, Italy, 10th Conference on Security and Cryptography for Networks (SCN 2016), August 2016.

    https://hal.inria.fr/hal-01309562
  • 29C. Chevalier, F. Laguillaumie, D. Vergnaud.

    Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions, in: Computer Security - ESORICS 2016, Heraklion, Greece, I. G. Askoxylakis, S. Ioannidis, S. K. Katsikas, C. A. Meadows (editors), Computer Security – ESORICS 2016, Springer, September 2016, vol. 9878, pp. 261-278. [ DOI : 10.1007/978-3-319-45744-4_13 ]

    https://hal.inria.fr/hal-01375817
  • 30S. Collange, M. Joldes, J.-M. Muller, V. Popescu.

    Parallel floating-point expansions for extended-precision GPU computations, in: The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), London, United Kingdom, July 2016.

    https://hal.archives-ouvertes.fr/hal-01298206
  • 31L. Ducas, D. Stehlé.

    Sanitization of FHE Ciphertexts, in: EUROCRYPT, Wien, Austria, 2016.

    https://hal.inria.fr/hal-01394216
  • 32J.-G. Dumas, E. Kaltofen, E. Thomé, G. Villard.

    Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix, in: International Symposium on Symbolic and Algebraic Computation, Waterloo, Canada, X.-S. Gao (editor), ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, ACM, July 2016.

    https://hal.archives-ouvertes.fr/hal-01266041
  • 33C.-P. Jeannerod, V. Neiger, E. Schost, G. Villard.

    Fast computation of minimal interpolation bases in Popov form for arbitrary shifts, in: 41st International Symposium on Symbolic and Algebraic Computation, Waterloo, ON, Canada, Proceedings of the 41st International Symposium on Symbolic and Algebraic Computation, July 2016. [ DOI : 10.1145/2930889.2930928 ]

    https://hal.inria.fr/hal-01265983
  • 34M. Joldes, J.-M. Muller, V. Popescu, W. Tucker.

    CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications, in: 5th International Congress on Mathematical Software (ICMS), Berlin, Germany, July 2016.

    https://hal.archives-ouvertes.fr/hal-01312858
  • 35J. Le Maire, N. Brunie, F. de Dinechin, J.-M. Muller.

    Computing floating-point logarithms with fixed-point operations, in: 23rd IEEE Symposium on Computer Arithmetic, Santa Clara, United States, IEEE, July 2016.

    https://hal.archives-ouvertes.fr/hal-01227877
  • 36V. Lefèvre.

    Correctly Rounded Arbitrary-Precision Floating-Point Summation, in: 23rd IEEE Symposium on Computer Arithmetic (ARITH), Santa Clara, CA, United States, IEEE, July 2016. [ DOI : 10.1109/ARITH.2016.9 ]

    https://hal.inria.fr/hal-01242127
  • 37B. Libert, S. Ling, F. Mouhartem, K. Nguyen, H. Wang.

    Signature Schemes with Efficient Protocols and Dynamic Group Signatures from Lattice Assumptions, in: Asiacrypt 2016, Hanoi, Vietnam, Advances in Cryptolology - Asiacrypt 2016, Springer, December 2016, vol. 10032.

    https://hal.inria.fr/hal-01267123
  • 38B. Libert, S. Ling, F. Mouhartem, K. Nguyen, H. Wang.

    Zero-Knowledge Arguments for Matrix-Vector Relations and Lattice-Based Group Encryption, in: Asiacrypt 2016, Hanoi, Vietnam, Advances in Cryptolology - Asiacrypt 2016, Springer, December 2016, vol. 10032, pp. 101 - 131. [ DOI : 10.1007/978-3-662-53890-6_4 ]

    https://hal.inria.fr/hal-01394087
  • 39B. Libert, S. Ling, K. Nguyen, H. Wang.

    Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors, in: Eurocrypt 2016, Vienne, Austria, Eurocrypt 2016, Springer, May 2016, vol. 9666. [ DOI : 10.1007/978-3-662-49896-5_1 ]

    https://hal.inria.fr/hal-01314642
  • 40B. Libert, F. Mouhartem, K. Nguyen.

    A Lattice-Based Group Signature Scheme with Message-Dependent Opening, in: 14th International Conference on Applied Cryptography and Network Security (ACNS 2016), Guildford, United Kingdom, Applied Cryptography and Network Security (ACNS 2016), Springer, June 2016.

    https://hal.inria.fr/hal-01302790
  • 41B. Libert, F. Mouhartem, T. Peters, T. Peters, M. Yung.

    Practical “Signatures with Efficient Protocols” from Simple Assumptions, in: AsiaCCS 2016, Xi'an, China, ACM, ACM, May 2016. [ DOI : 10.1145/2897845.2897898 ]

    https://hal.inria.fr/hal-01303696
  • 42B. Libert, S. C. Ramanna, M. Yung.

    Functional Commitment Schemes: From Polynomial Commitments to Pairing-Based Accumulators from Simple Assumptions, in: 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016), Rome, Italy, 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016) – Track A (Algorithms, Complexity and Games), July 2016.

    https://hal.inria.fr/hal-01306152
  • 43S. Melczer, B. Salvy.

    Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables, in: ISSAC 2016, Waterloo, Canada, ACM, 2016, 8 p. [ DOI : 10.1145/2930889.2930913 ]

    https://hal.inria.fr/hal-01310691
  • 44S. Melczer, M. C. Wilson.

    Asymptotics of lattice walks via analytic combinatorics in several variables, in: Formal Power Series and Algebraic Combinatorics (FPSAC), Vancouver, Canada, DMTCS Proceedings of FPSAC 2016, July 2016, pp. 863-874.

    https://hal.inria.fr/hal-01394166
  • 45J.-M. Muller, V. Popescu, P. T. Peter Tang.

    A new multiplication algorithm for extended precision using floating-point expansions, in: ARITH23, Santa Clara, United States, July 2016.

    https://hal.archives-ouvertes.fr/hal-01298195
  • 46V. Neiger.

    Fast computation of shifted Popov forms of polynomial matrices via systems of modular polynomial equations, in: 41st International Symposium on Symbolic and Algebraic Computation, Waterloo, ON, Canada, Proceedings of the 41st International Symposium on Symbolic and Algebraic Computation, July 2016. [ DOI : 10.1145/2930889.2930936 ]

    https://hal.inria.fr/hal-01266014
  • 47C. Pernet.

    Computing with quasiseparable matrices, in: International Symposium on Symbolic and Algebraic Computation (ISSAC'16), Waterloo, Canada, July 2016, pp. 389-396. [ DOI : 10.1145/2930889.2930915 ]

    https://hal.archives-ouvertes.fr/hal-01264131
  • 48S. C. Ramanna.

    More Efficient Constructions for Inner-Product Encryption, in: Applied Cryptography and Network Security (ACNS 2016), Guildford, United Kingdom, Applied Cryptography and Network Security (ACNS 2016), Springer, June 2016, vol. 9696, pp. 231 - 248. [ DOI : 10.1007/978-3-319-39555-5_13 ]

    https://hal.inria.fr/hal-01394288
  • 49D. Stehlé, A. Neumaier.

    Faster LLL-type reduction of lattice bases, in: ISSAC, Waterloo, Canada, 2016.

    https://hal.inria.fr/hal-01394214

Scientific Books (or Scientific Book chapters)

Scientific Popularization

Other Publications

  • 52B. Allombert, N. Brisebarre, A. Lasjaunias.

    From a quartic continued fraction in 𝔽3((T-1)) to a transcendental continued fraction in Q((T-1)) through an infinite word over 1,2, July 2016, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01348576
  • 53S. Bai, P. Gaudry, A. Kruppa, E. Thomé, P. Zimmermann.

    Factorisation of RSA-220 with CADO-NFS, May 2016, working paper or preprint.

    https://hal.inria.fr/hal-01315738
  • 54P. Boito, Y. Eidelman, L. Gemignani.

    A Real QZ Algorithm for Structured Companion Pencils, 2016, working paper or preprint.

    https://hal.inria.fr/hal-01407864
  • 55P. Boito, Y. Eidelman, L. Gemignani.

    Efficient Solution of Parameter Dependent Quasiseparable Systems and Computation of Meromorphic Matrix Functions, 2016, working paper or preprint.

    https://hal.inria.fr/hal-01407857
  • 56S. Boldo, S. Graillat, J.-M. Muller.

    On the robustness of the 2Sum and Fast2Sum algorithms, May 2016, working paper or preprint.

    https://hal-ens-lyon.archives-ouvertes.fr/ensl-01310023
  • 57N. Brisebarre, F. De Dinechin, S.-I. Filip, M. Istoan.

    Automatic generation of hardware FIR filters from a frequency domain specification, April 2016, working paper or preprint.

    https://hal.inria.fr/hal-01308377
  • 58N. Brisebarre, S.-I. Filip, G. Hanrot.

    A Lattice Basis Reduction Approach for the Design of Quantized FIR Filters, April 2016, submitted for publication.

    https://hal.inria.fr/hal-01308801
  • 59N. Brisebarre, G. Hanrot, O. Robert.

    Exponential sums and correctly-rounded functions, November 2016, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01396027
  • 60J. Courtiel, S. Melczer, M. Mishna, K. Raschel.

    Weighted Lattice Walks and Universality Classes, September 2016, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01368786
  • 61C.-P. Jeannerod, N. Louvet, J.-M. Muller, A. Plet.

    A Library for Symbolic Floating-Point Arithmetic, August 2016, working paper or preprint.

    https://hal.inria.fr/hal-01232159
  • 62C.-P. Jeannerod, V. Neiger, E. Schost, G. Villard.

    Computing minimal interpolation bases, June 2016, working paper or preprint.

    https://hal.inria.fr/hal-01241781
  • 63M. Joldes, V. Popescu, J.-M. Muller.

    Tight and rigourous error bounds for basic building blocks of double-word arithmetic, July 2016, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01351529
  • 64G. Labahn, V. Neiger, W. Zhou.

    Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix, July 2016, working paper or preprint.

    https://hal.inria.fr/hal-01345627
  • 65V. Lefèvre.

    Correctly Rounded Arbitrary-Precision Floating-Point Summation, November 2016, working paper or preprint.

    https://hal.inria.fr/hal-01394289
  • 66J. Wen, X.-W. Chang.

    A Linearithmic Time Algorithm for a Shortest Vector Problem in Compute-and-Forward Design, January 2016, working paper or preprint.

    https://hal.inria.fr/hal-01403929
  • 67J. Wen, X.-W. Chang.

    GfcLLL: A Greedy Selection Based Approach for Fixed-Complexity LLL Reduction, July 2016, working paper or preprint.

    https://hal.inria.fr/hal-01403926