Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

[1]
F. 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
[2]
A. Pellet-Mary.
On ideal lattices and the GGH13 multilinear map, Université de Lyon, October 2019.
https://tel.archives-ouvertes.fr/tel-02337930
[3]
C. 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

[4]
N. 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
[5]
Y. 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
[6]
J. H. Cheon, K. Han, C. Lee, H. Ryu, D. Stehlé.
Cryptanalysis of the CLT13 Multilinear Map, in: Journal of Cryptology, April 2019, vol. 32, no 2, pp. 547-565. [ DOI : 10.1007/s00145-018-9307-y ]
https://hal.archives-ouvertes.fr/hal-02397396
[7]
N. Fabiano, J.-M. Muller, J. Picot.
Algorithms for triple-word arithmetic, in: IEEE Transactions on Computers, November 2019, vol. 68, no 11, pp. 1573-1583. [ DOI : 10.1109/TC.2019.2918451 ]
https://hal.archives-ouvertes.fr/hal-01869009
[8]
C.-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
[9]
C.-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, no 4, pp. 1478-1496. [ DOI : 10.1137/19M1255628 ]
https://hal.inria.fr/hal-02008666
[10]
C.-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
[11]
B. Salvy.
Linear Differential Equations as a Data-Structure, in: Foundations of Computational Mathematics, October 2019, vol. 19, no 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
[12]
A. 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

[13]
M. 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
[14]
M. 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
[15]
D. 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
[16]
Best Paper
F. Bréhard, M. Joldes, J.-B. Lasserre.
On Moment Problems with Holonomic Functions, in: ISSAC 2019 - 44th International Symposium on Symbolic and Algebraic Computation, Pékin, China, July 2019, pp. 66-73.
https://hal.archives-ouvertes.fr/hal-02006645
[17]
F. 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
[18]
G. 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, no 11694, pp. 191-221. [ DOI : 10.1007/978-3-030-26954-8_7 ]
https://hal.archives-ouvertes.fr/hal-02281931
[19]
J. 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
[20]
V. 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
[21]
A. 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
[22]
A. 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
[23]
C. 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
[24]
V. 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
[25]
B. 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
[26]
B. 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
[27]
B. 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
[28]
A. 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
[29]
T. 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
[30]
N. 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
[31]
A. 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
[32]
F. 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

[33]
T. Givaro Group.
Givaro, June 2019, Version : 4.1.1,
[ SWH-ID : swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d ]
, Software.
https://hal.archives-ouvertes.fr/hal-02130729
[34]
T. 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

[35]
S. 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
[36]
A. 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
[37]
F. 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
[38]
S. 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