Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 1F. Bréhard.
  
  Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle, Université de Lyon, July 2019.
  
  https://tel.archives-ouvertes.fr/tel-02337901
• 2A. Pellet-Mary.
  
  On ideal lattices and the GGH13 multilinear map, Université de Lyon, October 2019.
  
  https://tel.archives-ouvertes.fr/tel-02337930
• 3C. Qian.
  
  Lossy trapdoor primitives, zero-knowledge proofs and applications, Université de Rennes 1, October 2019.
  
  https://hal.archives-ouvertes.fr/tel-02415243

Articles in International Peer-Reviewed Journals

• 4N. Brisebarre, M. Joldes, J.-M. Muller, A.-M. Naneş, J. Picot.
  
  Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform, in: ACM Transactions on Mathematical Software, 2019, pp. 1-34, forthcoming. [ DOI : 10.1145/nnnnnnn.nnnnnnn ]
  
  https://hal.archives-ouvertes.fr/hal-01949458
• 5Y. Bugeaud, A. Dujella, W. Fang, T. Pejković, B. Salvy.
  
  Absolute root separation, in: Experimental Mathematics, 2019, 8 p, https://arxiv.org/abs/1907.01232, forthcoming. [ DOI : 10.1080/10586458.2019.1699480 ]
  
  https://hal.archives-ouvertes.fr/hal-02185594
• 6J. H. Cheon, K. Han, C. Lee, H. Ryu, D. Stehlé.
  
  Cryptanalysis of the CLT13 Multilinear Map, in: Journal of Cryptology, April 2019, vol. 32, n^o 2, pp. 547-565. [ DOI : 10.1007/s00145-018-9307-y ]
  
  https://hal.archives-ouvertes.fr/hal-02397396
• 7N. Fabiano, J.-M. Muller, J. Picot.
  
  Algorithms for triple-word arithmetic, in: IEEE Transactions on Computers, November 2019, vol. 68, n^o 11, pp. 1573-1583. [ DOI : 10.1109/TC.2019.2918451 ]
  
  https://hal.archives-ouvertes.fr/hal-01869009
• 8C.-P. Jeannerod.
  
  The relative accuracy of $(x+y)*(x-y)$, in: Journal of Computational and Applied Mathematics, 2019, pp. 1-17, forthcoming.
  
  https://hal.inria.fr/hal-02100500
• 9C.-P. Jeannerod, T. Mary, C. Pernet, D. S. Roche.
  
  Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic, in: SIAM Journal on Matrix Analysis and Applications, November 2019, vol. 40, n^o 4, pp. 1478-1496. [ DOI : 10.1137/19M1255628 ]
  
  https://hal.inria.fr/hal-02008666
• 10C.-P. Jeannerod, V. Neiger, G. Villard.
  
  Fast computation of approximant bases in canonical form, in: Journal of Symbolic Computation, 2019, pp. 1-33, forthcoming. [ DOI : 10.1016/j.jsc.2019.07.011 ]
  
  https://hal-unilim.archives-ouvertes.fr/hal-01683632
• 11B. Salvy.
  
  Linear Differential Equations as a Data-Structure, in: Foundations of Computational Mathematics, October 2019, vol. 19, n^o 5, pp. 1071-1112, https://arxiv.org/abs/1811.08616 - Based on an invited talk at FoCM'2017. [ DOI : 10.1007/s10208-018-09411-x ]
  
  https://hal.inria.fr/hal-01940078
• 12A. Volkova, T. Hilaire, C. Lauter.
  
  Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters, in: IEEE Transactions on Computers, 2019, pp. 1-14, forthcoming. [ DOI : 10.1109/TC.2019.2950658 ]
  
  https://hal.archives-ouvertes.fr/hal-01918650

International Conferences with Proceedings

• 13M. Abdalla, F. Benhamouda, A. Passelègue.
  
  Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps, in: Advances in Cryptology – ASIACRYPT 2019, Kobe, Japan, S. D. Galbraith, S. Moriai (editors), Lecture Notes in Computer Science, November 2019, vol. 11922, pp. 386-412. [ DOI : 10.1007/978-3-030-34621-8_14 ]
  
  https://hal.inria.fr/hal-02375594
• 14M. Albrecht, L. Ducas, G. Herold, E. Kirshanova, E. Postlethwaite, M. Stevens.
  
  The General Sieve Kernel and New Records in Lattice Reduction, in: EUROCRYPT, Darmstadt, Germany, April 2019, pp. 717-746. [ DOI : 10.1007/978-3-030-17656-3_25 ]
  
  https://hal.archives-ouvertes.fr/hal-02397424
• 15D. Arzelier, F. Bréhard, M. Joldes.
  
  Exchange algorithm for evaluation and approximation error-optimized polynomials, in: ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Kyoto, Japan, IEEE, June 2019, pp. 1-8.
  
  https://hal.archives-ouvertes.fr/hal-02006606
• 17F. Bréhard, A. Mahboubi, D. Pous.
  
  A certificate-based approach to formally verified approximations, in: ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Portland, United States, 2019, pp. 1-19. [ DOI : 10.4230/LIPIcs.ITP.2019.8 ]
  
  https://hal.laas.fr/hal-02088529
• 18G. Castagnos, D. Catalano, F. Laguillaumie, F. Savasta, I. Tucker.
  
  Two-Party ECDSA from Hash Proof Systems and Efficient Instantiations, in: CRYPTO 2019 - 39th Annual International Cryptology Conference, Santa Barbara, United States, Advances in Cryptology – CRYPTO 2019, August 2019, vol. LNCS, n^o 11694, pp. 191-221. [ DOI : 10.1007/978-3-030-26954-8_7 ]
  
  https://hal.archives-ouvertes.fr/hal-02281931
• 19J. H. Cheon, W. Cho, M. Hhan, J. Kim, C. Lee.
  
  Statistical Zeroizing Attack: Cryptanalysis of Candidates of BP Obfuscation over GGH15 Multilinear Map, in: CRYPTO, Santa Barbara, United States, August 2019, pp. 253-283. [ DOI : 10.1007/978-3-030-26954-8_9 ]
  
  https://hal.archives-ouvertes.fr/hal-02397408
• 20V. Daza, A. González, Z. Pindado, C. Ràfols, J. Silva.
  
  Shorter Quadratic QA-NIZK Proofs, in: PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, LNCS, Springer, April 2019, vol. 11442, pp. 314-343. [ DOI : 10.1007/978-3-030-17253-4_11 ]
  
  https://hal.inria.fr/hal-02399179
• 21A. González.
  
  Shorter Ring Signatures from Standard Assumptions, in: PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, Springer, April 2019, pp. 99-126. [ DOI : 10.1007/978-3-030-17253-4_4 ]
  
  https://hal.inria.fr/hal-02399172
• 22A. González, C. Ràfols.
  
  Shorter Pairing-based Arguments under Standard Assumptions, in: ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, LNCS, Springer, November 2019, vol. 11923, pp. 728-757. [ DOI : 10.1007/978-3-030-34618-8_25 ]
  
  https://hal.inria.fr/hal-02401556
• 23C. Lee, A. Pellet-Mary, D. Stehlé, A. Wallet.
  
  An LLL Algorithm for Module Lattices, in: ASIACRYPT, Kobe, Japan, November 2019, pp. 59-90. [ DOI : 10.1007/978-3-030-34621-8_3 ]
  
  https://hal.archives-ouvertes.fr/hal-02397335
• 24V. Lefèvre, J.-M. Muller.
  
  Accurate Complex Multiplication in Floating-Point Arithmetic, in: ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Kyoto, Japan, ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, IEEE, June 2019, pp. 1-7.
  
  https://hal.archives-ouvertes.fr/hal-02001080
• 25B. Libert, K. Nguyen, B. H. M. Tan, H. Wang.
  
  Zero-Knowledge Elementary Databases with More Expressive Queries, in: PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, LNCS, Springer, April 2019, vol. 11442, pp. 255-285. [ DOI : 10.1007/978-3-030-17253-4_9 ]
  
  https://hal.inria.fr/hal-02151645
• 26B. Libert, C. Qian.
  
  Lossy Algebraic Filters With Short Tags, in: PKC 2019 - 22nd International Conference on Practice and Theory of Public Key Cryptography, Beijing, China, LNCS, Springer, April 2019, vol. 11442, pp. 34–65. [ DOI : 10.1007/978-3-030-17253-4_2 ]
  
  https://hal.inria.fr/hal-02124968
• 27B. Libert, R. Titiu.
  
  Multi-Client Functional Encryption for Linear Functions in the Standard Model from LWE, in: ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 2019, pp. 1-54. [ DOI : 10.1007/978-3-030-34618-8_18 ]
  
  https://hal.inria.fr/hal-02352139
• 28A. Pellet-Mary, G. Hanrot, D. Stehlé.
  
  Approx-SVP in Ideal Lattices with Pre-processing, in: Eurocrypt 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, Advances in Cryptology – EUROCRYPT 2019. Lecture Notes in Computer Science, vol 11477, April 2019, pp. 685-716. [ DOI : 10.1007/978-3-030-17656-3_24 ]
  
  https://hal.archives-ouvertes.fr/hal-02139939
• 29T. Prest, D. Goudarzi, A. Martinelli, A. Passelègue.
  
  Unifying Leakage Models on a Rényi Day, in: Crypto 2019 - 39th Annual International Cryptology Conference, Santa Barbara, CA, United States, August 2019, pp. 683-712. [ DOI : 10.1007/978-3-030-26948-7_24 ]
  
  https://hal.inria.fr/hal-02417544
• 30N. Revol.
  
  The MPFI Library: Towards IEEE 1788-2015 Compliance, in: PPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Bialystok, Poland, September 2019, pp. 1-10.
  
  https://hal.inria.fr/hal-02162346
• 31A. Volkova, J.-M. Muller.
  
  Semi-automatic implementation of the complementary error function, in: ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Kyoto, Japan, ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, IEEE, June 2019, pp. 1-8.
  
  https://hal.archives-ouvertes.fr/hal-02002315
• 32F. de Dinechin, L. Forget, J.-M. Muller, Y. Uguen.
  
  Posits: the good, the bad and the ugly, in: CoNGA 2019 - Conference on Next-Generation Arithmetic, Singapore, Singapore, ACM Press, March 2019, pp. 1-10. [ DOI : 10.1145/3316279.3316285 ]
  
  https://hal.inria.fr/hal-01959581

Software

• 33T. Givaro Group.
  
  Givaro, June 2019, Version : 4.1.1,
  
  [ SWH-ID : swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d ], Software.
  
  https://hal.archives-ouvertes.fr/hal-02130729
• 34T. LinBox Group.
  
  LinBox, June 2019, Version : 1.6.3,
  
  [ SWH-ID : swh:1:dir:393b611a1424f032e83569bf6762502371cfcf65 ], Software.
  
  https://hal.archives-ouvertes.fr/hal-02130801

Other Publications

• 35S. Boldo, C. Q. Lauter, J.-M. Muller.
  
  Emulating round-to-nearest-ties-to-zero "augmented" floating-point operations using round-to-nearest-ties-to-even arithmetic, October 2019, working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-02137968
• 36A. Bostan, T. Rivoal, B. Salvy.
  
  Explicit degree bounds for right factors of linear differential operators, July 2019, https://arxiv.org/abs/1906.05529 - working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-02154679
• 37F. Bréhard, N. Brisebarre, M. Joldes, W. Tucker.
  
  A New Lower Bound on the Hilbert Number for Quartic Systems, March 2019, working paper or preprint.
  
  https://hal.laas.fr/hal-02085895
• 38S. Melczer, B. Salvy.
  
  Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems, July 2019, https://arxiv.org/abs/1905.04187 - 47 pages.
  
  https://hal.archives-ouvertes.fr/hal-02185586