Publications HAL du labo/EPI arenaire ; aric

2024

Journal articles

ref_biblio: Alin Bostan, Tanguy Rivoal, Bruno Salvy. Minimization of differential equations and algebraic values of $E$-functions. Mathematics of Computation, 2024, 93, pp.1427-1472. ⟨10.1090/mcom/3912⟩. ⟨hal-03771150v2⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Alaa Ibrahim, Bruno Salvy. Positivity certificates for linear recurrences. SODA 2024 - ACM-SIAM Symposium on Discrete Algorithms, Jan 2024, Alexandria, Virginia, United States. pp.982-994, ⟨10.1137/1.9781611977912.37⟩. ⟨hal-04271203⟩
Accès au bibtex

Software

ref_biblio: Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval. Code for reproducible research - A path-norm toolkit for modern networks: consequences, promises and challenges. 2024, ⟨swh:1:dir:119d3f903d3b6e0a776bd64c71317331839390d4;origin=https://hal.archives-ouvertes.fr/hal-04498597;visit=swh:1:snp:3b7c23b687511f3d2e4673d222c3ba96195bb004;anchor=swh:1:rel:7c123216ebb2018ea3290cbdb4cf4f4b8ddea964;path=/⟩. ⟨hal-04498597⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Gilles Villard. Bivariate polynomial reduction and elimination ideal over finite fields. 2024. ⟨hal-04542799⟩
Accès au texte intégral et bibtex

ref_biblio: Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann, Laurence Rideau, Laurent Théry. Towards a correctly-rounded and fast power function in binary64 arithmetic. 2024. ⟨hal-04159652v2⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Neiger, Clément Pernet, Gilles Villard. Computing Krylov iterates in the time of matrix multiplication. 2024. ⟨hal-04445355⟩
Accès au texte intégral et bibtex

ref_biblio: Tom Hubrecht, Claude-Pierre Jeannerod, Jean-Michel Muller. Useful applications of correctly-rounded operators of the form ab + cd + e. 2024. ⟨hal-04461089⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Guillaume Hanrot, Jean-Michel Muller, Paul Zimmermann. Correctly-rounded evaluation of a function: why, how, and at what cost?. 2024. ⟨hal-04474530⟩
Accès au texte intégral et bibtex

2023

Journal articles

ref_biblio: Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker. Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Transactions on Mathematical Software, In press, ⟨10.1145/3637550⟩. ⟨hal-03561096v2⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. Informatique et mathématiques : pourquoi mettre les femmes à l'honneur ?. MathémaTICE, 2023, 86. ⟨hal-04160309⟩
Accès au texte intégral et bibtex

ref_biblio: Luis Benet, Luca Ferranti, Nathalie Revol. A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance. Concurrency and Computation: Practice and Experience, 2023, pp.e7856. ⟨10.1002/cpe.7856⟩. ⟨hal-04183957⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. Affine Iterations and Wrapping Effect: Various Approaches. Acta Cybernetica, 2023, 26 (1), pp.129-147. ⟨10.14232/actacyb.295251⟩. ⟨hal-03505854⟩
Accès au texte intégral et bibtex

ref_biblio: Antoine Gonon, Nicolas Brisebarre, Rémi Gribonval, Elisa Riccietti. Approximation speed of quantized vs. unquantized ReLU neural networks and beyond. IEEE Transactions on Information Theory, 2023, 69 (6), pp.3960-3977. ⟨10.1109/TIT.2023.3240360⟩. ⟨hal-03672166v2⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, Claude-Pierre Jeannerod, Guillaume Melquiond, Jean-Michel Muller. Floating-point arithmetic. Acta Numerica, 2023, 32, pp.203-290. ⟨10.1017/S0962492922000101⟩. ⟨hal-04095151⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau. Accurate calculation of Euclidean Norms using Double-word arithmetic. ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩. ⟨hal-03482567v2⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, Nicolas Brisebarre, Jean-Michel Muller. Le dilemme du fabricant de tables. La Recherche, 2023, 572. ⟨hal-03932037⟩
Accès au bibtex

ref_biblio: Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard. Faster Modular Composition. Journal of the ACM (JACM), 2023. ⟨hal-03380258⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Bruno Salvy. Differential-Difference Properties of Hypergeometric Series. Proceedings of the American Mathematical Society, 2023, 151 (6), pp.2603--2617. ⟨10.1090/proc/16316⟩. ⟨hal-03712632⟩
Accès au bibtex

ref_biblio: Clément Pernet, Hippolyte Signargout, Gilles Villard. High-order lifting for polynomial Sylvester matrices. Journal of Complexity, 2023, 80, ⟨10.1016/j.jco.2023.101803⟩. ⟨hal-03740320v3⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Jean-Michel Muller, Joris Picot. Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic. IEEE Transactions on Emerging Topics in Computing, In press, ⟨10.1109/TETC.2023.3294986⟩. ⟨hal-04044716v2⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Alain Passelègue, Julien Devevey, Damien Stehlé. G+G: A Fiat-Shamir Lattice Signature Based on Convolved Gaussians. Asiacrypt 2023, Dec 2023, Guangzhou (Canton), China. ⟨hal-04334958⟩
Accès au bibtex

ref_biblio: Alain Passelègue, Damien Stehlé, Calvin Abou Haidar. Efficient Updatable Public-Key Encryption from Lattices. Asiacrypt 2023, Dec 2023, Guangzhou (Canton), China. ⟨hal-04334950⟩
Accès au bibtex

ref_biblio: Joël Felderhoff, Alice Pellet-Mary, Damien Stehlé, Benjamin Wesolowski. Ideal-SVP is Hard for Small-Norm Uniform Prime Ideals. Theory of Cryptography, TCC 2023, Dec 2023, Taipei (Taiwan), Taiwan. pp.63-92, ⟨10.1007/978-3-031-48624-1_3⟩. ⟨hal-04326750⟩
Accès au bibtex

ref_biblio: Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann. Towards a correctly-rounded and fast power function in binary64 arithmetic. 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH 2023), Sep 2023, Portland, Oregon (USA), United States. ⟨hal-04326201⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Jean-Michel Muller, Joris Picot. Testing The Sharpness of Known Error Bounds on The Fast Fourier Transform. 30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, Oregon, USA, France. ⟨hal-04092770v2⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Silviu-Ioan Filip. Towards Machine-Efficient Rational L ∞ -Approximations of Mathematical Functions. 30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, United States. ⟨hal-04093020v2⟩
Accès au texte intégral et bibtex

ref_biblio: Antoine Gonon, Léon Zheng, Clément Lalanne, Quoc-Tung Le, Guillaume Lauga, et al.. Can sparsity improve the privacy of neural networks?. GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble, France. ⟨hal-04062317v3⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Devevey, Pouria Fallahpour, Alain Passelègue, Damien Stehlé. A Detailed Analysis of Fiat-Shamir with Aborts. Crypto 2023, Aug 2023, Santa Barbara, United States. pp.327-357, ⟨10.1007/978-3-031-38554-4_11⟩. ⟨hal-04334942⟩
Accès au bibtex

ref_biblio: Gilles Villard. Elimination ideal and bivariate resultant over finite fields. ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromsø Norway, Norway. pp.526-534, ⟨10.1145/3597066.3597100⟩. ⟨hal-03999414⟩
Accès au texte intégral et bibtex

ref_biblio: Clément Pernet, Hippolyte Signargout, Gilles Villard. Exact computations with quasiseparable matrices. ISSAC'23: the 2023 International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway. pp.480-489, ⟨10.1145/2930889.2930915⟩. ⟨hal-03978799⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller. Arithmétique des Ordinateurs. Colloque Raisonner en arithmétique, est-ce incongru ?, Jun 2023, Talence (33), France. ⟨hal-04207082⟩
Accès au texte intégral et bibtex

ref_biblio: Geoffroy Couteau, Pierre Meyer, Alain Passelègue, Mahshid Riahinia. Constrained Pseudorandom Functions from Homomorphic Secret Sharing. 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques,EUROCRYPT 2023, Apr 2023, Lyon, France. pp.194-224, ⟨10.1007/978-3-031-30620-4_7⟩. ⟨hal-04265643⟩
Accès au texte intégral et bibtex

Software

ref_biblio: Guillaume Hanrot, Paul Zimmermann, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny. GNU MPFR. 2023, ⟨swh:1:rel:b5e308c5dd459a81d8523e1dcb84c19dbc47b51b;origin=https://gitlab.inria.fr/mpfr/mpfr;visit=swh:1:snp:15595615280f9f91d107c1f4e9fa915fda0076dc⟩. ⟨hal-03940504⟩
Accès au bibtex

Theses

ref_biblio: Hippolyte Signargout. Exact computations with quasiseparable matrices and polynomial matrices with a displacement structure. Symbolic Computation [cs.SC]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0072⟩. ⟨tel-04326015v3⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Devevey. Lattice-based Signatures in the Fiat-Shamir Paradigm. Computer Science [cs]. Ecole Normale Supérieure de Lyon, 2023. English. ⟨NNT : 2023ENSL0052⟩. ⟨tel-04320790⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Hadrien Brochet, Bruno Salvy. Reduction-Based Creative Telescoping for Definite Summation of D-Finite Functions. 2023. ⟨hal-04295759⟩
Accès au texte intégral et bibtex

ref_biblio: Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval. A path-norm toolkit for modern networks: consequences, promises and challenges. 2023. ⟨hal-04225201v4⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. About the "accurate mode" of the IEEE 1788-2015 standard for interval arithmetic. 2023. ⟨hal-04160357⟩
Accès au texte intégral et bibtex

ref_biblio: Clément Pernet, Hippolyte Signargout, Gilles Villard. Leading constants of rank deficient Gaussian elimination. 2023. ⟨hal-03976168⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Guillaume Hanrot. Integer points close to a transcendental curve and correctly-rounded evaluation of a function. 2023. ⟨hal-03240179v4⟩
Accès au texte intégral et bibtex

2022

Journal articles

ref_biblio: Paolo Montuschi, Jean-Michel Muller, Florent de Dinechin. Computer Arithmetic: Continuing a Long and Steady Emergence. Computer, 2022, 55 (10), pp.4-6. ⟨10.1109/MC.2022.3193206⟩. ⟨hal-03806577⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Laurence Rideau. Formalization of double-word arithmetic, and comments on "Tight and rigorous error bounds for basic building blocks of double-word arithmetic". ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩. ⟨hal-02972245v2⟩
Accès au texte intégral et bibtex

ref_biblio: Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejković, Bruno Salvy. Absolute root separation. Experimental Mathematics, 2022, 31 (3), pp.805-812. ⟨10.1080/10586458.2019.1699480⟩. ⟨hal-02185594⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Benoît Libert, Alain Passelègue, Mahshid Riahinia. PointProofs, Revisited. Asiacrypt 2022 - International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan. ⟨hal-03903981⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Devevey, Omar Fawzi, Alain Passelègue, Damien Stehlé. On Rejection Sampling in Lyubashevsky's Signature Scheme. ASIACRYPT 2022 - 28th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan. ⟨hal-03911595⟩
Accès au texte intégral et bibtex

ref_biblio: Joël Felderhoff, Alice Pellet-Mary, Damien Stehlé. On Module Unique-SVP and NTRU. Asiacrypt 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan. ⟨hal-03789544⟩
Accès au bibtex

ref_biblio: Calvin Abou Haidar, Benoit Libert, Alain Passelègue. Updatable Public Key Encryption from DCR: Efficient Constructions With Stronger Security. ACM Conference on Computer and Communications Security (ACM-CCS) 2022, Nov 2022, Los Angeles, United States. ⟨hal-03738749⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Ky Nguyen, Alain Passelègue. Cumulatively All-Lossy-But-One Trapdoor Functions from Standard Assumptions. SCN 2022 - Proceedings of the 13th Conference on Security in Communication Networks, Sep 2022, Amalfi, Italy. ⟨hal-03820072⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller. High-level algorithms for correctly-rounded reciprocal square roots. 29th IEEE Symposium on Computer Arithmetic (ARITH 2022), Sep 2022, Lyon (virtual meeting due to the COVID pandemic), France. ⟨hal-03728088⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Alain Passelègue, Mahshid Riahinia. New and Improved Constructions for Partially Equivocable Public Key Encryption. SCN 2022 - 13th Conference on security and cryptography for networks, Sep 2022, Amalfi, Italy. pp.1-31. ⟨hal-03830141⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol, Luis Benet, Luca Ferranti, Sergei Zhilin. Testing interval arithmetic libraries, including their IEEE-1788 compliance. PPAM 2022, Roman Wyrzykowski, Sep 2022, Gdansk, Poland. pp.428-440, ⟨10.1007/978-3-031-30445-3_36⟩. ⟨hal-03674743⟩
Accès au texte intégral et bibtex

ref_biblio: Thierry Arrabal, Marija Stojanova, Isabelle Guérin-Lassous, Joris Picot. Analyse de la qualité des liens Wi-Fi à partir de données expérimentales. CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4. ⟨hal-03660891⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Khoa Nguyen, Thomas Peters, Moti Yung. One-Shot Fiat-Shamir-based NIZK Arguments of Composite Residuosity and Logarithmic-Size Ring Signatures in the Standard Model. Eurocrypt 2022, May 2022, Trondheim, Norway. pp.488-519, ⟨10.1007/978-3-031-07085-3_17⟩. ⟨hal-03726185⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Devevey, Benoît Libert, Thomas Peters. Rational Modular Encoding in the DCR Setting: Non-Interactive Range Proofs and Paillier-Based Naor-Yung in the Standard Model. Public-Key Cryptography (PKC 2022) - 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Mar 2022, Yokohama (devenu virtuel pour cause de COVID), Japan. ⟨hal-03807457⟩
Accès au texte intégral et bibtex

ref_biblio: Shweta Agrawal, Damien Stehlé, Anshu Yadav. Round-optimal lattice-based threshold signatures, revisited. ICALP 2022, 2022, Paris, France. ⟨hal-03905543⟩
Accès au bibtex

ref_biblio: Shweta Agrawal, Elena Kirshanova, Damien Stehlé, Anshu Yadav. Practical, Round-Optimal Lattice-Based Blind Signatures. CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Los Angeles CA USA, France. pp.39-53, ⟨10.1145/3548606.3560650⟩. ⟨hal-03904051⟩
Accès au bibtex

ref_biblio: Orel Cosseron, Clément Hoffmann, Pierrick Méaux, François-Xavier Standaert. Towards Globally Optimized Hybrid Homomorphic Encryption - Featuring the Elisabeth Stream Cipher. ASIACRYPT 2022, 2022, Taipei, Taiwan. ⟨hal-03905546⟩
Accès au bibtex

Software

ref_biblio: The Linbox Group. LinBox. 2022, ⟨swh:1:dir:ab3150274e077cc4c4d18ab7bc074fab0a5c12d3;origin=https://hal.archives-ouvertes.fr/hal-03788347;visit=swh:1:snp:99e4a5b29527e7089567751cd8b75113ecd12c0b;anchor=swh:1:rel:35391e40ce3a7b02180e2dc159c095a89ed26a91;path=/⟩. ⟨hal-03788347⟩
Accès au texte intégral et bibtex

2021

Journal articles

ref_biblio: Benoît Libert, Damien Stehlé, Radu Titiu. Adaptively Secure Distributed PRFs from LWE. Journal of Cryptology, 2021, 34 (3), pp.1-46. ⟨10.1007/s00145-021-09393-0⟩. ⟨hal-03381388⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, Christoph Q. Lauter, Jean-Michel Muller. Emulating round-to-nearest ties-to-zero "augmented" floating-point operations using round-to-nearest ties-to-even arithmetic. IEEE Transactions on Computers, 2021, 70 (7), pp.1046 - 1058. ⟨10.1109/TC.2020.3002702⟩. ⟨hal-02137968v4⟩
Accès au texte intégral et bibtex

ref_biblio: Dingding Jia, Benoît Libert. SO-CCA secure PKE from pairing based all-but-many lossy trapdoor functions. Designs, Codes and Cryptography, 2021, 89 (5), pp.895-923. ⟨10.1007/s10623-021-00849-9⟩. ⟨hal-03380672v2⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Tanguy Rivoal, Bruno Salvy. Explicit degree bounds for right factors of linear differential operators. Bulletin of the London Mathematical Society, 2021, 53 (1), pp.53--62. ⟨10.1112/blms.12396⟩. ⟨hal-02154679v4⟩
Accès au texte intégral et bibtex

ref_biblio: Celine Chevalier, Fabien Laguillaumie, Damien Vergnaud. Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions. Algorithmica, 2021, 83 (1), pp.72-115. ⟨10.1007/s00453-020-00750-2⟩. ⟨hal-02899803⟩
Accès au texte intégral et bibtex

ref_biblio: Stephen Melczer, Bruno Salvy. Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems. Journal of Symbolic Computation, 2021, 103, pp.234--279. ⟨10.1016/j.jsc.2020.01.001⟩. ⟨hal-02185586⟩
Accès au bibtex

Conference papers

ref_biblio: Alice Pellet-Mary, Damien Stehlé. On the hardness of the NTRU problem. Asiacrypt 2021 - 27th Annual International Conference on the Theory and Applications of Cryptology and Information Security, Dec 2021, Singapore, Singapore. ⟨10.1007/978-3-030-92062-3_1⟩. ⟨hal-03348022⟩
Accès au bibtex

ref_biblio: Olivier Blazy, Sayantan Mukherjee, Huyen Nguyen, Duong Hieu Phan, Damien Stehlé. An Anonymous Trace-and-Revoke Broadcast Encryption Scheme. ACISP 2021 - Australasian Conference on Information Security and Privacy, Dec 2021, Perth, Australia. pp.214-233, ⟨10.1007/978-3-030-90567-5_11⟩. ⟨hal-03475739⟩
Accès au bibtex

ref_biblio: Alonso González, Alexandros Zacharakis. Fully-succinct Publicly Verifiable Delegation from Constant-Size Assumptions. TCC 2021 - 19th International Conference Theory of Cryptography, Nov 2021, Raleigh, United States. pp.1-79, ⟨10.1007/978-3-030-90459-3_18⟩. ⟨hal-03419735⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Khoa Nguyen, Thomas Peters, Moti Yung. Bifurcated Signatures: Folding the Accountability vs. Anonymity Dilemma into a Single Private Signing Scheme. Eurocrypt 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb (partiellement virtuel), Croatia. pp.1-48, ⟨10.1007/978-3-030-77883-5_18⟩. ⟨hal-03380687⟩
Accès au texte intégral et bibtex

ref_biblio: Gilles Villard. Coppersmith's block Wiedemann method for polynomial problems. International Conference on Applications of Computer Algebra (ACA) 2021, Jul 2021, Virtual, online, Canada. ⟨hal-03730740⟩
Accès au bibtex

ref_biblio: Clément Pernet, Hippolyte Signargout, Pierre Karpman, Gilles Villard. Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices. ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.249-256, ⟨10.1145/3452143.3465542⟩. ⟨hal-03189115⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller. $a \cdot (x \cdot x)$ or $(a \cdot x) \cdot x$?. ARITH 2021 - 28th IEEE Symposium on Computer Arithmetic, Jun 2021, Torino (virtual meeting due to the COVID Pandemic), Italy. ⟨10.1109/ARITH51176.2021.00015⟩. ⟨hal-03129747⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Devevey, Benoît Libert, Khoa Nguyen, Thomas Peters, Moti Yung. Non-Interactive CCA2-Secure Threshold Cryptosystems: Achieving Adaptive Security in the Standard Model Without Pairings. PKC 2021 - 24th edition of the International Conference on Practice and Theory of Public-Key Cryptography, May 2021, Edinburgh (devenu virtuel pour cause de COVID), United Kingdom. pp.1-66, ⟨10.1007/978-3-030-75245-3_24⟩. ⟨hal-03381386⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Devevey, Amin Sakzad, Damien Stehlé, Ron Steinfeld. On the Integer Polynomial Learning with Errors Problem. PKC 2021 - 24th edition of the International Conference on Practice and Theory of Public-Key Cryptography, May 2021, Edinburgh, United Kingdom. pp.184-214, ⟨10.1007/978-3-030-75245-3_8⟩. ⟨hal-03475737⟩
Accès au bibtex

Book sections

ref_biblio: Jean-Michel Muller. Arithmétique et Précision des Calculs sur Ordinateur. De la mesure en toutes choses, CNRS Editions, 2021. ⟨hal-03461132⟩
Accès au texte intégral et bibtex

Other publications

ref_biblio: Damien Stehlé, Vadim Lyubashevsky. Non-applicability of the Gaborit&Aguilar-Melchor patent to Kyber and Saber. 2021. ⟨hal-03475742⟩
Accès au bibtex

Reports

ref_biblio: Vadim Lyubashevsky, Damien Stehlé. Non-applicability of the Gaborit&Aguilar-Melchor patent to Kyber and Saber. [Research Report] ENS de Lyon; IBM Zürich. 2021, pp.1-8. ⟨hal-03372244⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Thanh Huyên Nguyen. Cryptographic aspects of orthogonal lattices. Cryptography and Security [cs.CR]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN071⟩. ⟨tel-03562067⟩
Accès au texte intégral et bibtex

ref_biblio: Adel Hamdi. Functional encryption for blind external data processing. Cryptography and Security [cs.CR]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSE1144⟩. ⟨tel-03500313⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Claude-Pierre Jeannerod. Further remarks on Kahan summation with decreasing ordering. 2021. ⟨hal-03475741⟩
Accès au texte intégral et bibtex

2020

Journal articles

ref_biblio: Jean-Michel Muller. Elementary Functions and Approximate Computing. Proceedings of the IEEE, 2020, 108 (12), pp.1558-2256. ⟨10.1109/JPROC.2020.2991885⟩. ⟨hal-02517784v2⟩
Accès au texte intégral et bibtex

ref_biblio: Joel Dahne, Bruno Salvy. Computation of Tight Enclosures for Laplacian Eigenvalues. SIAM Journal on Scientific Computing, 2020, 42 (5), pp.A3210-A3232. ⟨10.1137/20M1326520⟩. ⟨hal-03015691⟩
Accès au bibtex

ref_biblio: Benoît Libert, Moti Yung. Adaptively Secure Non-interactive CCA-Secure Threshold Cryptosystems: Generic Framework and Constructions. Journal of Cryptology, 2020, 33, pp.1405-1441. ⟨10.1007/s00145-020-09350-3⟩. ⟨hal-03116642⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Mioara Joldes, Jean-Michel Muller, Ana-Maria Naneş, Joris Picot. Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform. ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩. ⟨hal-01949458v2⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Kirshanova, Huyen Nguyen, Damien Stehlé, Alexandre Wallet. On the smoothing parameter and last minimum of random orthogonal lattices. Designs, Codes and Cryptography, 2020, 88 (5), pp.931-950. ⟨10.1007/s10623-020-00719-w⟩. ⟨hal-03011623⟩
Accès au bibtex

ref_biblio: Anastasia Volkova, Thibault Hilaire, Christoph Lauter. Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters. IEEE Transactions on Computers, 2020, 69 (4), pp.489 - 504. ⟨10.1109/TC.2019.2950658⟩. ⟨hal-01918650v2⟩
Accès au texte intégral et bibtex

ref_biblio: Nir Bitansky, Ryo Nishimaki, Alain Passelègue, Daniel Wichs. From Cryptomania to Obfustopia Through Secret-Key Functional Encryption. Journal of Cryptology, 2020, 33 (2), pp.357-405. ⟨10.1007/s00145-019-09337-9⟩. ⟨hal-03025568⟩
Accès au bibtex

ref_biblio: Claude-Pierre Jeannerod, Vincent Neiger, Gilles Villard. Fast computation of approximant bases in canonical form. Journal of Symbolic Computation, 2020, 98, pp.192-224. ⟨10.1016/j.jsc.2019.07.011⟩. ⟨hal-01683632v2⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod. The relative accuracy of $(x+y)*(x-y)$. Journal of Computational and Applied Mathematics, 2020, pp.1-17. ⟨10.1016/j.cam.2019.112613⟩. ⟨hal-02100500v3⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Pooya Farshim, Georg Fuchsbauer, Alain Passelègue. Alternative Constructions of Asymmetric Primitives from Obfuscation: Hierarchical IBE, Predicate Encryption, and More. Indocrypt 2020 - 21st International Conference on Cryptology, Dec 2020, Virtual conference, India. ⟨hal-03120656⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Khoa Nguyen, Alain Passelègue, Radu Titiu. Simulation-Sound Arguments for LWE and Applications to KDM-CCA2 Security. Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, South Korea. pp.1-67. ⟨hal-02993617⟩
Accès au texte intégral et bibtex

ref_biblio: Amit Deo, Benoît Libert, Khoa Nguyen, Olivier Sanders. Lattice-Based E-Cash, Revisited. Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Corée (devenu virtuel pour cause de COVID), South Korea. pp.1-47. ⟨hal-02993620⟩
Accès au texte intégral et bibtex

ref_biblio: James E Stine, Miloš D Ercegovac, Jean-Michel Muller. An Architecture for Improving Variable Radix Real and Complex Division Using Recurrence Division. ACSSC 2020 - 54th Asilomar Conference on Signals, Systems, and Computers, Nov 2020, Pacific Grove, CA (virtual), United States. pp.1-5. ⟨hal-03047208⟩
Accès au texte intégral et bibtex

ref_biblio: Sébastien Canard, Adel Hamdi, Fabien Laguillaumie. Blind Functional Encryption. ICICS 2020 - International Conference on Information and Communications Security, Aug 2020, Copenhagen, Denmark. pp.183-201, ⟨10.1007/978-3-030-61078-4_11⟩. ⟨hal-03039850⟩
Accès au texte intégral et bibtex

ref_biblio: Karim Baghery, Alonso González, Zaira Pindado, Carla Ràfols. Signatures of Knowledge for Boolean Circuits under Standard Assumptions (Full version). AFRICACRYPT 2020 - 12th International Conference on Cryptology in Africa, Jul 2020, Cairo / Virtual, Egypt. pp.24-44, ⟨10.1007/978-3-030-51938-4_2⟩. ⟨hal-03118271⟩
Accès au texte intégral et bibtex

ref_biblio: Stef Graillat, Vincent Lefèvre, Jean-Michel Muller. Alternative Split Functions and Dekker's Product. ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩. ⟨hal-02470782v2⟩
Accès au texte intégral et bibtex

ref_biblio: Mioara Joldeş, Jean-Michel Muller. Algorithms for manipulating quaternions in floating-point arithmetic. ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩. ⟨hal-02470766v2⟩
Accès au texte intégral et bibtex

ref_biblio: Guilhem Castagnos, Dario Catalano, Fabien Laguillaumie, Federico Savasta, Ida Tucker. Bandwidth-Efficient Threshold EC-DSA. PKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh / Virtual, United Kingdom. pp.266-296, ⟨10.1007/978-3-030-45388-6_10⟩. ⟨hal-02944825⟩
Accès au texte intégral et bibtex

ref_biblio: Shweta Agrawal, Benoît Libert, Monosij Maitra, Radu Titiu. Adaptive Simulation Security for Inner Product Functional Encryption. PKC 2020 - International Conference on Public Key Cryptography, Jun 2020, Virtual, United Kingdom. pp.1-30. ⟨hal-02993611⟩
Accès au texte intégral et bibtex

ref_biblio: Junqing Gong, Hoeteck Wee. Adaptively Secure ABE for DFA from k-Lin and More. EUROCRYPT 2020 - 9th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb / Virtual, Croatia. pp.278-308, ⟨10.1007/978-3-030-45727-3_10⟩. ⟨hal-02894509⟩
Accès au bibtex

ref_biblio: Benoît Libert, Alain Passelègue, Hoeteck Wee, David J Wu. New Constructions of Statistical NIZKs: Dual-Mode DV-NIZKs and More. Eurocrypt 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb / Virtual, Croatia. pp.1-85. ⟨hal-02993608⟩
Accès au texte intégral et bibtex

ref_biblio: Chitchanok Chuengsatiansup, Thomas Prest, Damien Stehlé, Alexandre Wallet, Keita Xagawa. ModFalcon: Compact Signatures Based On Module-NTRU Lattices. ASIA-CCS, 2020, Taipei, France. pp.853-866, ⟨10.1145/3320269.3384758⟩. ⟨hal-03011646⟩
Accès au bibtex

ref_biblio: Veronika Kuchta, Amin Sakzad, Damien Stehlé, Ron Steinfeld, Shi-Feng Sun. Measure-Rewind-Measure: Tighter Quantum Random Oracle Model Proofs for One-Way to Hiding and CCA Security. Eurocrypt, 2020, Zagreb, Croatia. pp.703-728, ⟨10.1007/978-3-030-45727-3_24⟩. ⟨hal-03011691⟩
Accès au bibtex

ref_biblio: Shi Bai, Dipayan Das, Ryo Hiromasa, Miruna Rosca, Amin Sakzad, et al.. MPSign: A Signature from Small-Secret Middle-Product Learning with Errors. PKC, 2020, Edimburgh, United Kingdom. pp.66-93, ⟨10.1007/978-3-030-45388-6_3⟩. ⟨hal-03011669⟩
Accès au bibtex

ref_biblio: Martin Albrecht, Shi Bai, Pierre-Alain Fouque, Paul Kirchner, Damien Stehlé, et al.. Faster Enumeration-Based Lattice Reduction: Root Hermite Factor $k^{1/(2k)}$ Time $k^{k/8+o(k)}$. Crypto, 2020, Santa Barbara, United States. pp.186-212, ⟨10.1007/978-3-030-56880-1_7⟩. ⟨hal-03011699⟩
Accès au bibtex

Book sections

ref_biblio: Nathalie Revol. Influence of the Condition Number on Interval Computations: Illustration on Some Examples. O. Kosheleva, S.P. Shary, G. Xiang, R. Zaparin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.359--373, 2020, Studies in Computational Intelligence, 978-3-030-31041-7. ⟨10.1007/978-3-030-31041-7_20⟩. ⟨hal-01588713⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Thomas Genet, Thomas Jensen, Justine Sauvage. Termination of Ethereum's Smart Contracts. [Research Report] Univ Rennes, Inria, CNRS, IRISA. 2020. ⟨hal-02555738v3⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Georgiana-Miruna Rosca. On algebraic variants of Learning With Errors. Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN063⟩. ⟨tel-03085029⟩
Accès au texte intégral et bibtex

ref_biblio: Ida Tucker. Functional encryption and distributed signatures based on projective hash functions, the benefit of class groups. Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN054⟩. ⟨tel-03021689⟩
Accès au texte intégral et bibtex

ref_biblio: Radu Titiu. New Encryption Schemes and Pseudo-Random Functions with Advanced Properties from Standard Assumptions. Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN050⟩. ⟨tel-03116774⟩
Accès au texte intégral et bibtex

2019

Journal articles

ref_biblio: Claude-Pierre Jeannerod, Théo Mary, Clément Pernet, Daniel S. Roche. Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic. SIAM Journal on Matrix Analysis and Applications, 2019, 40 (4), pp.1478-1496. ⟨10.1137/19M1255628⟩. ⟨hal-02008666v4⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Fabiano, Jean-Michel Muller, Joris Picot. Algorithms for triple-word arithmetic. IEEE Transactions on Computers, 2019, 68 (11), pp.1573-1583. ⟨10.1109/TC.2019.2918451⟩. ⟨hal-01869009v2⟩
Accès au texte intégral et bibtex

ref_biblio: Bruno Salvy. Linear Differential Equations as a Data-Structure. Foundations of Computational Mathematics, 2019, 19 (5), pp.1071-1112. ⟨10.1007/s10208-018-09411-x⟩. ⟨hal-01940078⟩
Accès au bibtex

ref_biblio: Anastasia Volkova, Matei Istoan, Florent de Dinechin, Thibault Hilaire. Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study. IEEE Transactions on Computers, 2019, 68 (4), pp.597 - 608. ⟨10.1109/TC.2018.2879432⟩. ⟨hal-01561052v3⟩
Accès au texte intégral et bibtex

ref_biblio: Jung Hee Cheon, Kyoohyung Han, Changmin Lee, Hansol Ryu, Damien Stehlé. Cryptanalysis of the CLT13 Multilinear Map. Journal of Cryptology, 2019, 32 (2), pp.547-565. ⟨10.1007/s00145-018-9307-y⟩. ⟨hal-02397396⟩
Accès au bibtex

Conference papers

ref_biblio: Benoît Libert, Radu Titiu. Multi-Client Functional Encryption for Linear Functions in the Standard Model from LWE. ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.1-54, ⟨10.1007/978-3-030-34618-8_18⟩. ⟨hal-02352139⟩
Accès au texte intégral et bibtex

ref_biblio: Michel Abdalla, Fabrice Benhamouda, Alain Passelègue. Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps. ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.386-412, ⟨10.1007/978-3-030-34621-8_14⟩. ⟨hal-02375594⟩
Accès au texte intégral et bibtex

ref_biblio: Alonso González, Carla Ràfols. Shorter Pairing-based Arguments under Standard Assumptions. ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.728-757, ⟨10.1007/978-3-030-34618-8_25⟩. ⟨hal-02401556⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. The MPFI Library: Towards IEEE 1788-2015 Compliance. PPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Sep 2019, Bialystok, Poland. pp.353-363, ⟨10.1007/978-3-030-43222-5_31⟩. ⟨hal-02162346⟩
Accès au texte intégral et bibtex

ref_biblio: Florent Bréhard, Assia Mahboubi, Damien Pous. A certificate-based approach to formally verified approximations. ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩. ⟨hal-02088529v2⟩
Accès au texte intégral et bibtex

ref_biblio: Thomas Prest, Dahmun Goudarzi, Ange Martinelli, Alain Passelègue. Unifying Leakage Models on a Rényi Day. Crypto 2019 - 39th Annual International Cryptology Conference, Aug 2019, Santa Barbara, CA, United States. pp.683-712, ⟨10.1007/978-3-030-26948-7_24⟩. ⟨hal-02417544⟩
Accès au bibtex

ref_biblio: Guilhem Castagnos, Dario Catalano, Fabien Laguillaumie, Federico Savasta, Ida Tucker. Two-Party ECDSA from Hash Proof Systems and Efficient Instantiations. CRYPTO 2019 - 39th Annual International Cryptology Conference, Aug 2019, Santa Barbara, United States. pp.191-221, ⟨10.1007/978-3-030-26954-8_7⟩. ⟨hal-02281931⟩
Accès au texte intégral et bibtex

ref_biblio: Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre. On Moment Problems with Holonomic Functions. 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Jul 2019, Pékin, China. pp.66-73. ⟨hal-02006645⟩
Accès au texte intégral et bibtex

ref_biblio: Denis Arzelier, Florent Bréhard, Mioara Joldes. Exchange algorithm for evaluation and approximation error-optimized polynomials. ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8. ⟨hal-02006606⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre, Jean-Michel Muller. Accurate Complex Multiplication in Floating-Point Arithmetic. ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7. ⟨hal-02001080v2⟩
Accès au texte intégral et bibtex

ref_biblio: Anastasia Volkova, Jean-Michel Muller. Semi-automatic implementation of the complementary error function. ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8. ⟨hal-02002315v2⟩
Accès au texte intégral et bibtex

ref_biblio: Alice Pellet-Mary, Guillaume Hanrot, Damien Stehlé. Approx-SVP in Ideal Lattices with Pre-processing. Eurocrypt 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2019, Darmstadt, Germany. pp.685-716, ⟨10.1007/978-3-030-17656-3_24⟩. ⟨hal-02139939⟩
Accès au bibtex

ref_biblio: Benoît Libert, Chen Qian. Lossy Algebraic Filters With Short Tags. PKC 2019 - 22nd International Conference on Practice and Theory of Public Key Cryptography, Apr 2019, Beijing, China. pp.34--65, ⟨10.1007/978-3-030-17253-4_2⟩. ⟨hal-02124968⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Khoa Nguyen, Benjamin Hong Meng Tan, Huaxiong Wang. Zero-Knowledge Elementary Databases with More Expressive Queries. PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.255-285, ⟨10.1007/978-3-030-17253-4_9⟩. ⟨hal-02151645⟩
Accès au texte intégral et bibtex

ref_biblio: Alonso González. Shorter Ring Signatures from Standard Assumptions. PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.99-126, ⟨10.1007/978-3-030-17253-4_4⟩. ⟨hal-02399172⟩
Accès au texte intégral et bibtex

ref_biblio: Vanesa Daza, Alonso González, Zaira Pindado, Carla Ràfols, Javier Silva. Shorter Quadratic QA-NIZK Proofs. PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.314-343, ⟨10.1007/978-3-030-17253-4_11⟩. ⟨hal-02399179⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Luc Forget, Jean-Michel Muller, Yohann Uguen. Posits: the good, the bad and the ugly. CoNGA 2019 - Conference on Next-Generation Arithmetic, Mar 2019, Singapore, Singapore. pp.1-10, ⟨10.1145/3316279.3316285⟩. ⟨hal-01959581v4⟩
Accès au texte intégral et bibtex

ref_biblio: Changmin Lee, Alice Pellet-Mary, Damien Stehlé, Alexandre Wallet. An LLL Algorithm for Module Lattices. ASIACRYPT, 2019, Kobe, Japan. pp.59-90, ⟨10.1007/978-3-030-34621-8_3⟩. ⟨hal-02397335⟩
Accès au bibtex

ref_biblio: Martin Albrecht, Leo Ducas, Gottfried Herold, Elena Kirshanova, Eamonn Postlethwaite, et al.. The General Sieve Kernel and New Records in Lattice Reduction. EUROCRYPT, 2019, Darmstadt, Germany. pp.717-746, ⟨10.1007/978-3-030-17656-3_25⟩. ⟨hal-02397424⟩
Accès au bibtex

ref_biblio: Chitchanok Chuengsatiansup, Damien Stehlé. Towards Practical GGM-Based PRF from (Module-)Learning-with-Rounding. Selected Areas in Cryptography, 2019, Waterloo, Canada. pp.693-713, ⟨10.1007/978-3-030-38471-5_28⟩. ⟨hal-03011634⟩
Accès au bibtex

ref_biblio: Jung Hee Cheon, Wonhee Cho, Minki Hhan, Jiseung Kim, Changmin Lee. Statistical Zeroizing Attack: Cryptanalysis of Candidates of BP Obfuscation over GGH15 Multilinear Map. CRYPTO, 2019, Santa Barbara, United States. pp.253-283, ⟨10.1007/978-3-030-26954-8_9⟩. ⟨hal-02397408⟩
Accès au bibtex

Software

ref_biblio: The Givaro Group. Givaro. 2019, ⟨swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d;origin=https://hal.archives-ouvertes.fr/hal-02130729;visit=swh:1:snp:da818bf8900aa772999896546db83b8e9cbe9f6f;anchor=swh:1:rev:5a63bd17a83030740eb27a980fe14a7a37f47efe;path=/⟩. ⟨hal-02130729⟩
Accès au texte intégral et bibtex

ref_biblio: The Linbox Group. LinBox. 2019, ⟨swh:1:dir:393b611a1424f032e83569bf6762502371cfcf65;origin=https://hal.archives-ouvertes.fr/hal-02130801;visit=swh:1:snp:19c29b988fe02623c70c7dc8bc97c42481eb691b;anchor=swh:1:rev:e8e18328952266b7875c692963b11963b1496107;path=/⟩. ⟨hal-02130801⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Alice Pellet--Mary. On ideal lattices and the GGH13 multilinear map. Cryptography and Security [cs.CR]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN048⟩. ⟨tel-02337930⟩
Accès au texte intégral et bibtex

ref_biblio: Chen Qian. Lossy trapdoor primitives, zero-knowledge proofs and applications. Cryptography and Security [cs.CR]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S088⟩. ⟨tel-02888512v2⟩
Accès au texte intégral et bibtex

ref_biblio: Florent Bréhard. Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle. Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN032⟩. ⟨tel-02337901⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker. A New Lower Bound on the Hilbert Number for Quartic Systems. 2019. ⟨hal-02085895⟩
Accès au bibtex

2018

Journal articles

ref_biblio: Paola Boito, Yuli Eidelman, Luca Gemignani. Efficient Solution of Parameter Dependent Quasiseparable Systems and Computation of Meromorphic Matrix Functions. Numerical Linear Algebra with Applications, 2018, 25 (6), pp.e2141. ⟨hal-01407857⟩
Accès au texte intégral et bibtex

ref_biblio: Michel Abdalla, Fabrice Benhamouda, Alain Passelègue, Kenneth Paterson. Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier. Journal of Cryptology, 2018, 31 (4), pp.917-964. ⟨10.1007/s00145-017-9274-8⟩. ⟨hal-01723012⟩
Accès au bibtex

ref_biblio: Florent Bréhard, Nicolas Brisebarre, Mioara Joldes. Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations. ACM Transactions on Mathematical Software, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩. ⟨hal-01526272v3⟩
Accès au texte intégral et bibtex

ref_biblio: Shi Bai, Tancrède Lepoint, Adeline Roux-Langlois, Amin Sakzad, Damien Stehlé, et al.. Improved Security Proofs in Lattice-Based Cryptography: Using the Rényi Divergence Rather than the Statistical Distance. Journal of Cryptology, 2018, 31 (2), pp.610 - 640. ⟨10.1007/s00145-017-9265-9⟩. ⟨hal-01934177⟩
Accès au bibtex

ref_biblio: Clément Pernet, Arne Storjohann. Time and space efficient generators for quasiseparable matrices. Journal of Symbolic Computation, 2018, Special issue on the 41th International Symposium on Symbolic and Alge-braic Computation (ISSAC’16), 85, pp.224-246. ⟨10.1016/j.jsc.2017.07.010⟩. ⟨hal-01424252v2⟩
Accès au texte intégral et bibtex

ref_biblio: Gottfried Herold, Elena Kirshanova, Alexander May. On the asymptotic complexity of solving LWE. Designs, Codes and Cryptography, 2018, 86 (1), pp.55 - 83. ⟨10.1007/s10623-016-0326-0⟩. ⟨hal-01934181⟩
Accès au bibtex

ref_biblio: Jean-Charles Faugère, Alexandre Wallet. The Point Decomposition Problem over Hyperelliptic Curves: toward efficient computations of Discrete Logarithms in even characteristic. Designs, Codes and Cryptography, 2018, 86, pp.2279-2314. ⟨10.1007/s10623-017-0449-y⟩. ⟨hal-01658573⟩
Accès au texte intégral et bibtex

ref_biblio: Leo Ducas, Eike Kiltz, Tancrede Lepoint, Vadim Lyubashevsky, Peter Schwabe, et al.. CRYSTALS-Dilithium: A Lattice-Based Digital Signature Scheme. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2018. ⟨hal-01934176⟩
Accès au bibtex

ref_biblio: Nicolas Brisebarre, Silviu-Ioan Filip, Guillaume Hanrot. A Lattice Basis Reduction Approach for the Design of Finite Wordlength FIR Filters. IEEE Transactions on Signal Processing, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩. ⟨hal-01308801v3⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Siegfried M. Rump. On relative errors of floating-point operations: optimal bounds and applications. Mathematics of Computation, 2018, 87, pp.803-819. ⟨10.1090/mcom/3234⟩. ⟨hal-00934443v4⟩
Accès au texte intégral et bibtex

ref_biblio: Bill Allombert, Nicolas Brisebarre, Alain Lasjaunias. On a two-valued sequence and related continued fractions in power series fields. Ramanujan Journal, 2018, 45 (3), pp.859-871. ⟨10.1007/s11139-017-9892-7⟩. ⟨hal-01348576v3⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Chitchanok Chuengsatiansup, Chloe Martindale. Pairing-friendly twisted Hessian curves. Indocrypt 2018 - 19th International Conference on Cryptology, Dec 2018, New Delhi, India. ⟨hal-01934160⟩
Accès au bibtex

ref_biblio: Léo Ducas, Alice Pellet--Mary. On the Statistical Leak of the GGH13 Multilinear Map and some Variants. Asiacrypt 2018, Dec 2018, Brisbane, Australia. pp.465-493. ⟨hal-01895645⟩
Accès au texte intégral et bibtex

ref_biblio: Jie Chen, Junqing Gong, Hoeteck Wee. Improved Inner-product Encryption with Adaptive Security and Full Attribute-hiding. ASIACRYPT 2018 - 24th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia. ⟨hal-01900153⟩
Accès au bibtex

ref_biblio: Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker. Practical Fully Secure Unrestricted Inner Product Functional Encryption modulo p. ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia. pp.733-764. ⟨hal-01934296⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Damien Stehlé, Radu Titiu. Adaptively Secure Distributed PRFs from LWE. TCC 2018 - 16th International Conference on Theory of Cryptography, Nov 2018, Panaji, India. pp.391-421, ⟨10.1007/978-3-030-03810-6_15⟩. ⟨hal-01911887⟩
Accès au texte intégral et bibtex

ref_biblio: Dan Boneh, Yuval Ishai, Alain Passelègue, Amit Sahai, David J Wu. Exploring Crypto Dark Matter: New Simple PRF Candidates and Their Applications. TCC 2018 - Theory of Cryptography Conference, Nov 2018, Goa, India. pp.699-729, ⟨10.1007/978-3-030-03810-6_25⟩. ⟨hal-01929288⟩
Accès au bibtex

ref_biblio: Romain Serra, Denis Arzelier, Florent Bréhard, Mioara Joldes. Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem. IAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9. ⟨hal-01830253⟩
Accès au texte intégral et bibtex

ref_biblio: Marc Joye, Alain Passelègue. Function-Revealing Encryption: Definitions and Constructions. SCN 2018 - International Conference on Security and Cryptography for Networks, Sep 2018, Amalfi, Italy. pp.527-543, ⟨10.1007/978-3-319-98113-0_28⟩. ⟨hal-01929272⟩
Accès au bibtex

ref_biblio: Junqing Gong, Benoît Libert, Somindu C Ramanna. Compact IBBE and Fuzzy IBE from Simple Assumptions. SCN 2018 - 11th Conference on Security and Cryptography for Networks, Sep 2018, Amalfi, Italy. pp.1-29. ⟨hal-01686690v2⟩
Accès au texte intégral et bibtex

ref_biblio: Zvika Brakerski, Aayush Jain, Ilan Komargodski, Alain Passelègue, Daniel Wichs. Non-Trivial Witness Encryption and Null-iO from Standard Assumptions. SCN 2018 - International Conference on Security and Cryptography for Networks, Sep 2018, Amalfi, Italy. pp.425-441, ⟨10.1007/978-3-319-98113-0_23⟩. ⟨hal-01929279⟩
Accès au bibtex

ref_biblio: Benoît Libert, Thomas Peters, Chen Qian. Logarithmic-Size Ring Signatures With Tight Security from the DDH Assumption. ESORICS 2018 - 23rd European Symposium on Research in Computer Security, Sep 2018, Barcelone, Spain. pp.288-308, ⟨10.1007/978-3-319-98989-1_15⟩. ⟨hal-01848134⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang. Lattice-Based Zero-Knowledge Arguments for Integer Relations. CRYPTO 2018 - Annual International Cryptology Conference, Aug 2018, Santa Barbara, United States. pp.700-732, ⟨10.1007/978-3-319-96881-0_24⟩. ⟨hal-01911886⟩
Accès au texte intégral et bibtex

ref_biblio: Alice Pellet--Mary. Quantum Attacks against Indistinguishablility Obfuscators Proved Secure in the Weak Multilinear Map Model. Crypto 2018 - 38th International Cryptology Conference, Aug 2018, Santa-Barbara, United States. pp.153-183, ⟨10.1007/978-3-319-96878-0_6⟩. ⟨hal-01895639⟩
Accès au texte intégral et bibtex

ref_biblio: Jingwei Chen, Damien Stehlé, Gilles Villard. Computing an LLL-reduced Basis of the Orthogonal Lattice. ISSAC 2018, 43rd International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), Jul 2018, New York, United States. ⟨10.1145/3208976.3209013⟩. ⟨hal-01921335⟩
Accès au texte intégral et bibtex

ref_biblio: Florent Bréhard. A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems. ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.103-110, ⟨10.1145/3208976.3209000⟩. ⟨hal-01654396v2⟩
Accès au texte intégral et bibtex

ref_biblio: Gilles Villard. On Computing the Resultant of Generic Bivariate Polynomials. ISSAC 2018, 43rd International Symposium on Symbolic and Algebraic Computation, New York, USA, July 16-19, 2018, Jul 2018, New York, United States. ⟨hal-01921369⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy. Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩. ⟨hal-01788619⟩
Accès au texte intégral et bibtex

ref_biblio: Laurent Grémy. Higher dimensional sieving for the number field sieve algorithms. ANTS 2018 - Thirteenth Algorithmic Number Theory Symposium, University of Wisconsin, Jul 2018, Madison, United States. pp.1-16. ⟨hal-01890731⟩
Accès au texte intégral et bibtex

ref_biblio: Jiangtao Li, Junqing Gong. Improved Anonymous Broadcast Encryptions: Tight Security and Shorter Ciphertext. ACNS 2018 - 16th International Conference on Applied Cryptography and Network Security, Jul 2018, Leuven, Belgium. pp.497-515, ⟨10.1007/978-3-319-93387-0_26⟩. ⟨hal-01829132⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, George Constantinides, Miloš Ercegovac, Silviu-Ioan Filip, Matei Istoan, et al.. A High Throughput Polynomial and Rational Function Approximations Evaluator. ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States. pp.99-106, ⟨10.1109/ARITH.2018.8464778⟩. ⟨hal-01774364⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Jean-Michel Muller, Paul Zimmermann. On various ways to split a floating-point number. ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst (MA), United States. pp.53-60, ⟨10.1109/ARITH.2018.8464793⟩. ⟨hal-01774587v2⟩
Accès au texte intégral et bibtex

ref_biblio: Jie Chen, Junqing Gong, Lucas Kowalczyk, Hoeteck Wee. Unbounded ABE via Bilinear Entropy Expansion, Revisited. EUROCRYPT 2018 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2018, Tel Aviv, Israel. pp.503-534, ⟨10.1007/978-3-319-78381-9_19⟩. ⟨hal-01899901⟩
Accès au bibtex

ref_biblio: Miruna Roșca, Damien Stehlé, Alexandre Wallet. On the Ring-LWE and Polynomial-LWE Problems. EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications, Apr 2018, Tel Aviv, Israel. ⟨hal-01934170⟩
Accès au bibtex

ref_biblio: Joppe W. Bos, Léo Ducas, Eike Kiltz, Tancrède Lepoint, Vadim Lyubashevsky, et al.. CRYSTALS - Kyber: A CCA-Secure Module-Lattice-Based KEM. EuroS&P 2018 - IEEE European Symposium on Security and Privacy, Apr 2018, London, United Kingdom. pp.353-367, ⟨10.1109/EuroSP.2018.00032⟩. ⟨hal-01934169⟩
Accès au bibtex

ref_biblio: Elena Kirshanova. Improved Quantum Information Set Decoding. PQCrypto 2018 - The Ninth International Conference on Post-Quantum Cryptography, Apr 2018, Fort Lauderdale, United States. ⟨hal-01934186⟩
Accès au bibtex

ref_biblio: Gottfried Herold, Elena Kirshanova, Thijs Laarhoven. Speed-Ups and Time-Memory Trade-Offs for Tuple Lattice Sieving. PKC 2018 - 21st International Conference on Practice and Theory of Public Key Cryptography, Mar 2018, Rio de Janeiro, Brazil. ⟨hal-01934183⟩
Accès au bibtex

ref_biblio: Zvika Brakerski, Elena Kirshanova, Damien Stehlé, Weiqiang Wen. Learning with Errors and Extrapolated Dihedral Cosets. PKC 2018 - 21st International Conference on Practice and Theory of Public Key Cryptography, Mar 2018, Rio de Janeiro, Brazil. ⟨hal-01934165⟩
Accès au bibtex

ref_biblio: Bruno Salvy. Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation. STACS 2018 - 35th Symposium on Theoretical Aspects of Computer Science, Feb 2018, Caen, France. ⟨10.4230/LIPIcs.STACS.2018.1⟩. ⟨hal-01926094⟩
Accès au texte intégral et bibtex

ref_biblio: Paulo Ricardo Arantes Gilz, Florent Bréhard, Clément Gazzino. Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations. SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting, Jan 2018, Kissimmee, United States. pp.1-23, ⟨10.2514/6.2018-1960⟩. ⟨hal-01540170v3⟩
Accès au texte intégral et bibtex

ref_biblio: Shi Bai, Damien Stehlé, Weiqiang Wen. Measuring, Simulating and Exploiting the Head Concavity Phenomenon in BKZ. ASIACRYPT, 2018, Brisbane, Australia. ⟨hal-01934174⟩
Accès au bibtex

Books

ref_biblio: Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, et al.. Handbook of Floating-point Arithmetic (2nd edition). Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩. ⟨hal-01766584⟩
Accès au bibtex

Theses

ref_biblio: Weiqiang Wen. Contributions to the hardness foundations of lattice-based cryptography. Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN070⟩. ⟨tel-01949339v2⟩
Accès au texte intégral et bibtex

ref_biblio: Fabrice Mouhartem. Privacy-preserving cryptography from pairings and lattices. Cryptography and Security [cs.CR]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN060⟩. ⟨tel-01913872⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Fahad Qureshi, Anastasia Volkova, Thibault Hilaire, Jarmo Takala. Multiplierless Processing Element for Non-Power-of-Two FFTs. 2018. ⟨hal-01690832⟩
Accès au texte intégral et bibtex

2017

Journal articles

ref_biblio: San Ling, Duong Hieu Phan, Damien Stehlé, Ron Steinfeld. Hardness of k-LWE and Applications in Traitor Tracing. Algorithmica, 2017, 79 (4), pp.1318 - 1352. ⟨10.1007/s00453-016-0251-7⟩. ⟨hal-01643505⟩
Accès au bibtex

ref_biblio: Claude-Pierre Jeannerod, Vincent Neiger, Eric Schost, Gilles Villard. Computing minimal interpolation bases. Journal of Symbolic Computation, 2017, 83, pp.272--314. ⟨10.1016/j.jsc.2016.11.015⟩. ⟨hal-01241781v2⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition. Journal of Symbolic Computation, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩. ⟨hal-01251223v2⟩
Accès au texte intégral et bibtex

ref_biblio: Paola Boito, Roberto Grena. Optimal focal length of primary mirrors in Fresnel linear collectors. Solar Energy, 2017, 155, pp.1313 - 1318. ⟨10.1016/j.solener.2017.07.079⟩. ⟨hal-01647602⟩
Accès au bibtex

ref_biblio: George Labahn, Vincent Neiger, Wei Zhou. Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix. Journal of Complexity, 2017, ⟨10.1016/j.jco.2017.03.003⟩. ⟨hal-01345627v2⟩
Accès au texte intégral et bibtex

ref_biblio: Paola Boito, Yuli Eidelman, Luca Gemignani. A Real QZ Algorithm for Structured Companion Pencils. Calcolo, 2017, ⟨10.1007/s10092-017-0231-6⟩. ⟨hal-01407864⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, Stef Graillat, Jean-Michel Muller. On the robustness of the 2Sum and Fast2Sum algorithms. ACM Transactions on Mathematical Software, 2017, 44 (1). ⟨ensl-01310023v2⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Guillaume Hanrot, Olivier Robert. Exponential sums and correctly-rounded functions. IEEE Transactions on Computers, 2017, 66 (12), pp.2044-2057. ⟨10.1109/TC.2017.2690850⟩. ⟨hal-01396027v3⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Claude-Pierre Jeannerod, Christophe Mouilleron, Eric Schost. On Matrices With Displacement Structure: Generalized Operators and Faster Algorithms. SIAM Journal on Matrix Analysis and Applications, 2017, 38 (3), pp.733-775. ⟨10.1137/16M1062855⟩. ⟨hal-01588552⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Louis Dumont, Bruno Salvy. Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity. Journal of Symbolic Computation, 2017, Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra, 83, pp.68-92. ⟨10.1016/j.jsc.2016.11.006⟩. ⟨hal-01244914⟩
Accès au bibtex

ref_biblio: Claude-Pierre Jeannerod, Peter Kornerup, Nicolas Louvet, Jean-Michel Muller. Error bounds on complex floating-point multiplication with an FMA. Mathematics of Computation, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩. ⟨hal-00867040v5⟩
Accès au texte intégral et bibtex

ref_biblio: J Courtiel, Stephen Melczer, Marni Mishna, Kilian Raschel. Weighted Lattice Walks and Universality Classes. Journal of Combinatorial Theory, Series A, 2017, ⟨10.1016/j.jcta.2017.06.008⟩. ⟨hal-01368786v2⟩
Accès au texte intégral et bibtex

ref_biblio: Laurent Thévenoux, Philippe Langlois, Matthieu Martel. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time. Concurrency and Computation: Practice and Experience, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩. ⟨hal-01236919v2⟩
Accès au texte intégral et bibtex

ref_biblio: Mioara Maria Joldes, Jean-Michel Muller, Valentina Popescu. Tight and rigorous error bounds for basic building blocks of double-word arithmetic. ACM Transactions on Mathematical Software, 2017, 44 (2), pp.1 - 27. ⟨10.1145/3121432⟩. ⟨hal-01351529v3⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Pierre Lairez, Bruno Salvy. Multiple binomial sums. Journal of Symbolic Computation, 2017, 80 (2), pp.351--386. ⟨10.1016/j.jsc.2016.04.002⟩. ⟨hal-01220573v2⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. IEEE Transactions on Computers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩. ⟨hal-01394289v2⟩
Accès au texte intégral et bibtex

ref_biblio: Yann Bugeaud, Andrej Dujella, Tomislav Pejković, Bruno Salvy. Absolute Real Root Separation. The American Mathematical Monthly, 2017, 124 (10), pp.930-936. ⟨10.4169/amer.math.monthly.124.10.930⟩. ⟨hal-01655531⟩
Accès au bibtex

Conference papers

ref_biblio: Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang. Zero-Knowledge Arguments for Lattice-Based PRFs and Applications to E-Cash. Asiacrypt 2017, Dec 2017, Hong Kong, China. ⟨hal-01621027⟩
Accès au texte intégral et bibtex

ref_biblio: Jie Chen, Junqing Gong. ABE with Tag Made Easy: Concise Framework and New Instantiations in Prime-order Groups. Asiacrypt 2017, Dec 2017, Hong Kong, China. ⟨hal-01643435⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang. Adaptive Oblivious Transfer with Access Control from Lattice Assumptions. ASIACRYPT 2017 - Advances in Cryptology, Dec 2017, Hong Kong, China. pp.533-563, ⟨10.1007/978-3-319-70694-8_19⟩. ⟨hal-01622197v3⟩
Accès au texte intégral et bibtex

ref_biblio: Shweta Agrawal, Sanjay Bhattacherjee, Duong Hieu Phan, Damien Stehlé, Shota Yamada. Efficient Public Trace and Revoke from Standard Assumptions. Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS'2017, Oct 2017, Dallas, United States. ⟨hal-01643498⟩
Accès au bibtex

ref_biblio: Claude-Pierre Jeannerod, Jean-Michel Muller. On the relative error of computing complex square roots in floating-point arithmetic. ACSSC 2017 - 51st Asilomar Conference on Signals, Systems, and Computers, Oct 2017, Pacific Grove, United States. pp.737-740, ⟨10.1109/ACSSC.2017.8335442⟩. ⟨ensl-01780265⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Formal Verification of a Floating-Point Expansion Renormalization Algorithm. 8th International Conference on Interactive Theorem Proving (ITP'2017), Sep 2017, Brasilia, Brazil. ⟨hal-01512417⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Amin Sakzad, Damien Stehlé, Ron Steinfeld. All-But-Many Lossy Trapdoor Functions and Selective Opening Chosen-Ciphertext Security from LWE. Crypto 2017 - 37th International Cryptology Conference, Aug 2017, Santa Barbara, United States. pp.332 - 364, ⟨10.1007/978-3-662-53018-4_18⟩. ⟨hal-01621025⟩
Accès au texte intégral et bibtex

ref_biblio: Guilhem Castagnos, Laurent Imbert, Fabien Laguillaumie. Encryption Switching Protocols Revisited: Switching Modulo $p$. CRYPTO 2017, Aug 2017, Santa Barbara, United States. pp.255-287, ⟨10.1007/978-3-319-63688-7_9⟩. ⟨lirmm-01587451⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Neiger, Thi Xuan Vu. Computing Canonical Bases of Modules of Univariate Relations. ISSAC '17 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8. ⟨hal-01457979v2⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre, Paul Zimmermann. Optimized Binary64 and Binary128 Arithmetic with GNU MPFR. 24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩. ⟨hal-01502326⟩
Accès au texte intégral et bibtex

ref_biblio: Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming. IEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom. ⟨hal-01491255v2⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Jean-Michel Muller, Antoine Plet. The Classical Relative Error Bounds for Computing $\sqrt(a^2 + b^2)$ and $c/\sqrt(a^2 + b^2)$ in Binary Floating-Point Arithmetic are Asymptotically Optimal. ARITH-24 2017 - 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. pp.8. ⟨ensl-01527202⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Guillaume Dumas, Erich Kaltofen, Gilles Villard, Lihong Zhi. Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩. ⟨hal-01657873⟩
Accès au bibtex

ref_biblio: Arthur Blot, Jean-Michel Muller, Laurent Théry. Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers. Numerical Software Verification, Jul 2017, Heidelberg, Germany. ⟨hal-01512294⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. 10th International Workshop on Numerical Software Verification - NSV 2017, workshop of CAV 2017, Jul 2017, Heidelberg, Germany. pp.14-21, ⟨10.1007/978-3-319-63501-9⟩. ⟨hal-01559955⟩
Accès au texte intégral et bibtex

ref_biblio: Paola Boito, Yuli Eidelman, Luca Gemignani. Efficient Solution of Shifted Quasiseparable Systems and Applications. CMMSE 2017 - 17th International Conference on Computational and Mathematical Methods in Science and Engineering, Jul 2017, Cadiz, Spain. pp.1-4. ⟨hal-01644741⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Christophe Monat, Laurent Thévenoux. More accurate complex multiplication for embedded processors. 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017), Jun 2017, Toulouse, France. ⟨hal-01512760v2⟩
Accès au texte intégral et bibtex

ref_biblio: Jie Chen, Junqing Gong, Jian Weng. Tightly Secure IBE under Constant-size Master Public Key. PKC 2017 - Public Key Cryptography, Mar 2017, Amsterdam, Netherlands. ⟨hal-01643457⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Thomas Peters, Chen Qian. Structure-Preserving Chosen-Ciphertext Security with Shorter Verifiable Ciphertexts. PKC 2017 - Public Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.247 - 276, ⟨10.1007/BFb0054113⟩. ⟨hal-01621022⟩
Accès au texte intégral et bibtex

ref_biblio: Marc Joye, Benoît Libert. Encoding-Free ElGamal-Type Encryption Schemes on Elliptic Curves. CT-RSA 2017 - RSA Conference 2017 -- Cryptographers' Track, Feb 2017, San Francisco, United States. pp.19 - 35, ⟨10.1007/978-3-540-72738-5_21⟩. ⟨hal-01621014⟩
Accès au texte intégral et bibtex

ref_biblio: Gottfried Herold, Max Hoffmann, Michael Klooss, Carla Ràfols, Andy Rupp. New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs. Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017, Dallas, United States. ⟨hal-01643558⟩
Accès au bibtex

ref_biblio: Daniel J. Bernstein, Chitchanok Chuengsatiansup, Tanja Lange, Christine Van. NTRU Prime: Reducing Attack Surface at Low Cost. SAC 2017, 2017, Ottawa, Canada. ⟨hal-01934158⟩
Accès au bibtex

ref_biblio: Ron Steinfeld, Amin Sakzad, Miruna Roșca, Damien Stehlé. Middle-Product Learning with Errors. Advances in Cryptology - {CRYPTO} 2017 - 37th Annual International Cryptology Conference, 2017, Santa Barbara, United States. ⟨hal-01643517⟩
Accès au bibtex

Book sections

ref_biblio: Claude-Pierre Jeannerod, Nathalie Revol. Analyser et encadrer les erreurs dues à l'arithmétique flottante. Informatique mathématique : une photographie en 2017, CNRS Editions, pp.115-144, 2017, 978-2-271-11523-2. ⟨hal-01658296⟩
Accès au texte intégral et bibtex

Habilitation à diriger des recherches

ref_biblio: Nicolas Brisebarre. Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs. Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2017. ⟨tel-01658342v3⟩
Accès au texte intégral et bibtex

Special issue

ref_biblio: Javier Hormigo, Jean-Michel Muller, Stuart Obermann, Nathalie Revol, Arnaud Tisserand, et al.. Introduction to the Special Section on Computer Arithmetic. IEEE Transactions on Computers, 66 (12), pp.1991-1993, 2017, ⟨10.1109/TC.2017.2761278⟩. ⟨hal-01648100⟩
Accès au bibtex

Other publications

ref_biblio: Damien Stehlé. Lattice Reduction Algorithms. 2017. ⟨hal-01643523⟩
Accès au bibtex

Books

ref_biblio: Bruno Salvy (Dir.). Informatique Mathématique. Une photographie en 2017. CNRS éditions, pp.1-258, 2017, 978-2-271-11523-2. ⟨hal-01658949⟩
Accès au bibtex

ref_biblio: Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, et al.. Algorithmes Efficaces en Calcul Formel. published by the Authors, 2017. ⟨hal-01431717⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Antoine Plet. Contribution to error analysis of algorithms in floating-point arithmetic. Computer Arithmetic. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN038⟩. ⟨tel-01582218⟩
Accès au texte intégral et bibtex

ref_biblio: Valentina Popescu. Towards fast and certified multiple-precision librairies. Computer Arithmetic. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN036⟩. ⟨tel-01534090v3⟩
Accès au texte intégral et bibtex

ref_biblio: Stephen Melczer. Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration. Symbolic Computation [cs.SC]. Université de Lyon; University of Waterloo (Canada), 2017. English. ⟨NNT : 2017LYSEN013⟩. ⟨tel-01587716⟩
Accès au texte intégral et bibtex

ref_biblio: Marie Paindavoine. Méthodes de calculs sur les données chiffrées. Cryptographie et sécurité [cs.CR]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSE1009⟩. ⟨tel-01526699⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Silviu-Ioan Filip, Matei Istoan, Florent de Dinechin, Nicolas Brisebarre. Automatic generation of hardware FIR filters from a frequency domain specification. 2017. ⟨hal-01308377v2⟩
Accès au texte intégral et bibtex

2016

Journal articles

ref_biblio: Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet. Sharp error bounds for complex floating-point inversion. Numerical Algorithms, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩. ⟨ensl-01195625v2⟩
Accès au texte intégral et bibtex

ref_biblio: Sophie Burrill, Julien Courtiel, Eric Fusy, Stephen Melczer, Marni Mishna. Tableau sequences, open diagrams, and Baxter families. European Journal of Combinatorics, 2016, 58, pp.144 - 165. ⟨10.1016/j.ejc.2016.05.011⟩. ⟨hal-01394155⟩
Accès au bibtex

ref_biblio: Alin Bostan, Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer. On 3-dimensional lattice walks confined to the positive octant. Annals of Combinatorics, 2016, pp.36. ⟨10.1007/s00026-016-0328-7⟩. ⟨hal-01063886⟩
Accès au bibtex

ref_biblio: Paola Boito, Roberto Grena. Optimization of the geometry of Fresnel linear collectors. Solar Energy, 2016, 135, pp.479 - 486. ⟨10.1016/j.solener.2016.05.060⟩. ⟨hal-01647605⟩
Accès au bibtex

ref_biblio: Benoît Libert, Marc Joye, Moti Yung. Born and raised distributively: Fully distributed non-interactive adaptively-secure threshold signatures with short shares . Theoretical Computer Science, 2016, 645, pp.1-24. ⟨10.1016/j.tcs.2016.02.031⟩. ⟨hal-01394405⟩
Accès au texte intégral et bibtex

ref_biblio: Paolo Montuschi, Jean-Michel Muller. Modern Computer Arithmetic. Computer, 2016, 49 (9), pp.12. ⟨hal-01394408⟩
Accès au bibtex

ref_biblio: Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan. Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Parallel Computing, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩. ⟨hal-01084238v2⟩
Accès au texte intégral et bibtex

ref_biblio: Silviu-Ioan Filip. A robust and scalable implementation of the Parks-McClellan algorithm for designing FIR filters. ACM Transactions on Mathematical Software, 2016, 43 (1), pp.7:1 - 7:24. ⟨hal-01136005v5⟩
Accès au texte intégral et bibtex

ref_biblio: Stephen Melczer, Marni Mishna. Asymptotic Lattice Path Enumeration Using Diagonals. Algorithmica, 2016, 75 (4), pp.782 - 811. ⟨10.1007/s00453-015-0063-1⟩. ⟨hal-01394157⟩
Accès au bibtex

ref_biblio: Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, et al.. Fast and Accurate Computation of Orbital Collision Probability for Short-Term Encounters. Journal of Guidance, Control, and Dynamics, 2016, 39 (5), pp.1009-1021. ⟨10.2514/1.G001353⟩. ⟨hal-01132149⟩
Accès au texte intégral et bibtex

ref_biblio: Fabrice Benhamouda, Javier Herranz, Marc Joye, Benoît Libert. Efficient Cryptosystems From $2^k$ -th Power Residue Symbols. Journal of Cryptology, 2016, ⟨10.1007/s00145-016-9229-5⟩. ⟨hal-01394400⟩
Accès au texte intégral et bibtex

ref_biblio: Mioara Joldes, Olivier Marty, Jean-Michel Muller, Valentina Popescu. Arithmetic algorithms for extended precision using floating-point expansions. IEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩. ⟨hal-01111551v2⟩
Accès au texte intégral et bibtex

ref_biblio: Siegfried M. Rump, Florian Bünger, Claude-Pierre Jeannerod. Improved error bounds for floating-point products and Horner’s scheme. BIT Numerical Mathematics, 2016, 56 (1), pp.293 - 307. ⟨10.1007/s10543-015-0555-z⟩. ⟨hal-01137652⟩
Accès au texte intégral et bibtex

ref_biblio: Shi Bai, Cyril Bouvier, Alexander Kruppa, Paul Zimmermann. Better polynomials for GNFS. Mathematics of Computation, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩. ⟨hal-01089507⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod. A radix-independent error analysis of the Cornea-Harrison-Tang method. ACM Transactions on Mathematical Software, 2016, ⟨10.1145/2824252⟩. ⟨hal-01050021v2⟩
Accès au texte intégral et bibtex

ref_biblio: Shi Bai, Chao Tong, Jinming Wen. Effects of Some Lattice Reductions on the Success Probability of the Zero-Forcing Decoder. IEEE Communications Letters, 2016, ⟨10.1109/LCOMM.2016.2594196⟩. ⟨hal-01394219⟩
Accès au bibtex

ref_biblio: Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller. Comparison between binary and decimal floating-point numbers. IEEE Transactions on Computers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩. ⟨hal-01021928v2⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang. Zero-Knowledge Arguments for Matrix-Vector Relations and Lattice-Based Group Encryption. Asiacrypt 2016, IACR, Dec 2016, Hanoi, Vietnam. pp.101 - 131, ⟨10.1007/978-3-662-53890-6_4⟩. ⟨hal-01394087⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang. Signature Schemes with Efficient Protocols and Dynamic Group Signatures from Lattice Assumptions. Asiacrypt 2016, IACR, Dec 2016, Hanoi, Vietnam. ⟨hal-01267123⟩
Accès au texte intégral et bibtex

ref_biblio: Sébastien Canard, Fabien Laguillaumie, Marie Paindavoine. Verifiable Message-Locked Encryption. CANS 2016 - 15th International Conference Cryptology and Network Security, Nov 2016, Milano, Italy. pp.299 - 315, ⟨10.1007/978-3-319-48965-0_18⟩. ⟨hal-01404486⟩
Accès au texte intégral et bibtex

ref_biblio: Céline Chevalier, Fabien Laguillaumie, Damien Vergnaud. Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions. Computer Security - ESORICS 2016, Sep 2016, Heraklion, Greece. pp.261-278, ⟨10.1007/978-3-319-45744-4_13⟩. ⟨hal-01375817⟩
Accès au bibtex

ref_biblio: Jie Chen, Benoît Libert, Somindu C. Ramanna. Non-Zero Inner Product Encryption with Short Ciphertexts and Private Keys. 10th Conference on Security and Cryptography for Networks (SCN 2016), Aug 2016, Amalfi, Italy. ⟨hal-01309562v3⟩
Accès au texte intégral et bibtex

ref_biblio: Shweta Agrawal, Benoît Libert, Damien Stehlé. Fully Secure Functional Encryption for Inner Products, from Standard Assumptions. Crypto 2016, IACR, Aug 2016, Santa Barbara, United States. pp.333 - 362, ⟨10.1007/978-3-662-53015-3_12⟩. ⟨hal-01228559v4⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩. ⟨hal-01266041v3⟩
Accès au texte intégral et bibtex

ref_biblio: Clément Pernet. Computing with quasiseparable matrices. International Symposium on Symbolic and Algebraic Computation (ISSAC'16), Jul 2016, Waterloo, Canada. pp.389-396, ⟨10.1145/2930889.2930915⟩. ⟨hal-01264131v2⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Neiger. Fast computation of shifted Popov forms of polynomial matrices via systems of modular polynomial equations. 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. ⟨10.1145/2930889.2930936⟩. ⟨hal-01266014v2⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Vincent Neiger, Eric Schost, Gilles Villard. Fast computation of minimal interpolation bases in Popov form for arbitrary shifts. 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. ⟨10.1145/2930889.2930928⟩. ⟨hal-01265983v2⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Somindu C. Ramanna, Moti Yung. Functional Commitment Schemes: From Polynomial Commitments to Pairing-Based Accumulators from Simple Assumptions. 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016), Jul 2016, Rome, Italy. ⟨hal-01306152v4⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Le Maire, Nicolas Brunie, Florent de Dinechin, Jean-Michel Muller. Computing floating-point logarithms with fixed-point operations. 23rd IEEE Symposium on Computer Arithmetic, IEEE, Jul 2016, Santa Clara, United States. ⟨hal-01227877⟩
Accès au texte intégral et bibtex

ref_biblio: Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker. CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications. 5th International Congress on Mathematical Software (ICMS), Jul 2016, Berlin, Germany. ⟨hal-01312858⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. 23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩. ⟨hal-01242127v3⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Valentina Popescu, Ping Tak Peter Tang. A new multiplication algorithm for extended precision using floating-point expansions. ARITH23, Jul 2016, Santa Clara, United States. ⟨hal-01298195⟩
Accès au texte intégral et bibtex

ref_biblio: Caroline Collange, Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Parallel floating-point expansions for extended-precision GPU computations. The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom. ⟨hal-01298206⟩
Accès au texte intégral et bibtex

ref_biblio: Stephen Melczer, Mark C. Wilson. Asymptotics of lattice walks via analytic combinatorics in several variables. 28-th International Conference on Formal Power Series and Algebraic Combinatorics, Simon Fraser University, Jul 2016, Vancouver, Canada. ⟨10.46298/dmtcs.6390⟩. ⟨hal-02166352⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Louis Dumont, Bruno Salvy. Efficient Algorithms for Mixed Creative Telescoping. ISSAC 2016, Jul 2016, Waterloo, Canada. pp.127-134, ⟨10.1145/2930889.2930907⟩. ⟨hal-01317940⟩
Accès au bibtex

ref_biblio: Somindu C Ramanna. More Efficient Constructions for Inner-Product Encryption. Applied Cryptography and Network Security (ACNS 2016), Jun 2016, Guildford, United Kingdom. pp.231 - 248, ⟨10.1007/978-3-319-39555-5_13⟩. ⟨hal-01394288⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Fabrice Mouhartem, Khoa Nguyen. A Lattice-Based Group Signature Scheme with Message-Dependent Opening. 14th International Conference on Applied Cryptography and Network Security (ACNS 2016), Jun 2016, Guildford, United Kingdom. ⟨hal-01302790⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Fabrice Mouhartem, Thomas Peters, Moti Yung. Practical “Signatures with Efficient Protocols” from Simple Assumptions. AsiaCCS 2016, Xiaofeng Chen, May 2016, Xi'an, China. ⟨10.1145/2897845.2897898⟩. ⟨hal-01303696v2⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang. Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors. Eurocrypt 2016, International Association for Cryptologic Research, May 2016, Vienne, Austria. ⟨10.1007/978-3-662-49896-5_1⟩. ⟨hal-01314642⟩
Accès au texte intégral et bibtex

ref_biblio: Shi Bai, Damien Stehlé, Wen Weiqiang. Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices. ICALP 2016, 2016, Roma, Italy. ⟨10.4230/LIPIcs.ICALP.2016.76⟩. ⟨hal-01394213⟩
Accès au bibtex

ref_biblio: Martin Albrecht, Shi Bai, Leo Ducas. A subfield lattice attack on overstretched NTRU assumptions: Cryptanalysis of some FHE and Graded Encoding Schemes.. CRYPTO 2016, 2016, Santa Barbara, United States. ⟨10.1007/978-3-662-53018-4_6⟩. ⟨hal-01394211⟩
Accès au bibtex

ref_biblio: Shi Bai, Thijs Laarhoven, Damien Stehlé. Tuple lattice sieving,. ANTS 2016, 2016, Kaiserslautern, Germany. ⟨hal-01394212⟩
Accès au bibtex

ref_biblio: Leo Ducas, Damien Stehlé. Sanitization of FHE Ciphertexts. EUROCRYPT, 2016, Wien, Austria. ⟨hal-01394216⟩
Accès au bibtex

ref_biblio: Damien Stehlé, Arnold Neumaier. Faster LLL-type reduction of lattice bases. ISSAC, 2016, Waterloo, Canada. ⟨hal-01394214⟩
Accès au bibtex

ref_biblio: Stephen Melczer, Bruno Salvy. Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. ISSAC 2016, 2016, Waterloo, Canada. pp.8, ⟨10.1145/2930889.2930913⟩. ⟨hal-01310691⟩
Accès au bibtex

Books

ref_biblio: Jean-Michel Muller. Elementary functions, algorithms and implementation, 3rd Edition. Birkhaüser Boston, 2016, 978-1-4899-7981-0. ⟨10.1007/978-1-4899-7983-4⟩. ⟨ensl-01398294⟩
Accès au bibtex

Proceedings

ref_biblio: Paolo Montuschi, Michael Schulte, Javier Hormigo, Stuart Obermann, Nathalie Revol. Proceedings of IEEE 23rd Symposium on Computer Arithmetic. 2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH), Jul 2016, Silicon Valley, IEEE, 2016. ⟨hal-02162331⟩
Accès au bibtex

Theses

ref_biblio: Silviu-Ioan Filip. Robust tools for weighted Chebyshev approximation and applications to digital filter design. Signal and Image Processing. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN063⟩. ⟨tel-01447081⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Neiger. Bases of relations in one or several variables: fast algorithms and applications. Symbolic Computation [cs.SC]. École Normale Supérieure de Lyon - University of Waterloo, 2016. English. ⟨NNT : 2016LYSEN052⟩. ⟨tel-01431413⟩
Accès au texte intégral et bibtex

ref_biblio: Serge Torres. Tools for the Design of Reliable and Efficient Functions Evaluation Libraries. Computer Arithmetic. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN030⟩. ⟨tel-01396907⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet. A Library for Symbolic Floating-Point Arithmetic. 2016. ⟨hal-01232159v2⟩
Accès au texte intégral et bibtex

ref_biblio: Jinming Wen, Xiao-Wen Chang. GfcLLL: A Greedy Selection Based Approach for Fixed-Complexity LLL Reduction. 2016. ⟨hal-01403926⟩
Accès au bibtex

ref_biblio: Shi Bai, Pierrick Gaudry, Alexander Kruppa, Emmanuel Thomé, Paul Zimmermann. Factorisation of RSA-220 with CADO-NFS. 2016. ⟨hal-01315738⟩
Accès au texte intégral et bibtex

ref_biblio: Jinming Wen, Xiao-Wen Chang. A Linearithmic Time Algorithm for a Shortest Vector Problem in Compute-and-Forward Design. 2016. ⟨hal-01403929⟩
Accès au bibtex

2015

Journal articles

ref_biblio: Stef Graillat, Vincent Lefèvre, Jean-Michel Muller. On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic. Numerical Algorithms, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩. ⟨ensl-00945033v2⟩
Accès au texte intégral et bibtex

ref_biblio: Magali Bardet, Jean-Charles Faugère, Bruno Salvy. On the complexity of the F5 Gröbner basis algorithm. Journal of Symbolic Computation, 2015, 70, pp.49--70. ⟨10.1016/j.jsc.2014.09.025⟩. ⟨hal-01064519⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller. On the error of Computing ab + cd using Cornea, Harrison and Tang's method. ACM Transactions on Mathematical Software, 2015, 41 (2), pp.8. ⟨ensl-00862910v2⟩
Accès au texte intégral et bibtex

ref_biblio: Adeline Langlois, Damien Stehlé. Worst-case to average-case reductions for module lattices. Designs, Codes and Cryptography, 2015, pp.35. ⟨10.1007/s10623-014-9938-4⟩. ⟨hal-01240452⟩
Accès au bibtex

ref_biblio: Sanjay Bhattacherjee, Palash Sarkar. Reducing Communication Overhead of the Subset Difference Scheme. IEEE Transactions on Computers, 2015, 65 (8), pp.2575-2587. ⟨10.1109/TC.2015.2485231⟩. ⟨hal-01241138⟩
Accès au bibtex

ref_biblio: Muhammad Foizul Islam Chowdhury, Claude-Pierre Jeannerod, Vincent Neiger, Eric Schost, Gilles Villard. Faster Algorithms for Multivariate Interpolation with Multiplicities and Simultaneous Polynomial Approximations. IEEE Transactions on Information Theory, 2015, pp.2370-2387. ⟨10.1109/TIT.2015.2416068⟩. ⟨hal-00941435v2⟩
Accès au texte intégral et bibtex

ref_biblio: Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry. Formally verified certificate checkers for hardest-to-round computation. Journal of Automated Reasoning, 2015, 54 (1), pp.1-29. ⟨10.1007/s10817-014-9312-2⟩. ⟨hal-00919498v2⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Benoît Libert, Thomas Peters, Marc Joye, Moti Yung. Compactly Hiding Linear Spans: Tightly Secure Constant-Size Simulation-Sound QA-NIZK Proofs and Applications. Advances in Cryptology - Asiacrypt 2015, IACR, Nov 2015, Auckland, New Zealand. ⟨hal-01225363⟩
Accès au texte intégral et bibtex

ref_biblio: Martin R. Albrecht, Catalin Cocis, Fabien Laguillaumie, Adeline Langlois. Implementing Candidate Graded Encoding Schemes from Ideal Lattices. Asiacrypt 2015, Nov 2015, Auckland, New Zealand. ⟨10.1007/978-3-662-48800-3_31⟩. ⟨hal-01237355⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod. Exploiting structure in floating-point arithmetic. Mathematical Aspects of Computer and Information Sciences (MACIS), Nov 2015, Berlin, Germany. ⟨10.1007/978-3-319-32859-1_2⟩. ⟨hal-01247059⟩
Accès au texte intégral et bibtex

ref_biblio: Laurent Thévenoux, Philippe Langlois, Matthieu Martel. Automatic Source-to-Source Error Compensation of Floating-Point Programs. Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩. ⟨hal-01158399⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Thomas Peters, Moti Yung. Short Group Signatures via Structure-Preserving Signatures: Standard Model Security from Simple Assumptions. Advances in Cryptology - Crypto 2015, Aug 2015, Santa Barbara, United States. ⟨10.1007/978-3-662-48000-7_15⟩. ⟨hal-01225353⟩
Accès au texte intégral et bibtex

ref_biblio: Sébastien Maulat, Bruno Salvy. Formulas for Continued Fractions. An Automated Guess and Prove Approach. ISSAC'15, Jul 2015, Bath, United Kingdom. ⟨10.1145/2755996.2756660⟩. ⟨hal-01227259⟩
Accès au bibtex

ref_biblio: Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Computing the Rank Profile Matrix. ISSAC, Steve Linton, Jul 2015, Bath, United Kingdom. pp.146--153, ⟨10.1145/2755996.2756682⟩. ⟨hal-01107722v2⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Louis Dumont, Bruno Salvy. Algebraic Diagonals and Walks. ISSAC'15 International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.77-84, ⟨10.1145/2755996.2756663⟩. ⟨hal-01240729⟩
Accès au bibtex

ref_biblio: Sophie Burrill, Stephen Melczer, Marni Mishna. A Baxter class of a different kind, and other bijective results using tableau sequences ending with a row shape. 27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015), Jul 2015, Daejeon, South Korea. pp.369-380, ⟨10.46298/dmtcs.2530⟩. ⟨hal-01337810⟩
Accès au texte intégral et bibtex

ref_biblio: Jung Hee Cheon, Damien Stehlé. Fully Homomophic Encryption over the Integers Revisited. EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2015, Sofia, Bulgaria. pp.513-536, ⟨10.1007/978-3-662-46800-5_20⟩. ⟨hal-01240437⟩
Accès au bibtex

ref_biblio: Guilhem Castagnos, Fabien Laguillaumie. Linearly Homomorphic Encryption from DDH. The Cryptographer's Track at the RSA Conference 2015, Apr 2015, San Francisco, United States. ⟨10.1007/978-3-319-16715-2_26⟩. ⟨hal-01213284⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Marc Joye, Moti Yung, Thomas Peters. Secure Efficient History-Hiding Append-Only Signatures in the Standard Model. Public Key Cryptography 2015 (PKC 2015), Mar 2015, Washington DC, United States. ⟨10.1007/978-3-662-46447-2_20⟩. ⟨hal-01225344⟩
Accès au texte intégral et bibtex

ref_biblio: Shi Bai, Adeline Langlois, Tancrede Lepoint, Damien Stehlé, Ron Steinfeld. Improved security proofs in lattice-based cryptography: using the Rényi divergence rather than the statistical distance. ASIACRYPT, 2015, Auckland, New Zealand. ⟨hal-01240434⟩
Accès au bibtex

ref_biblio: Jung Hee Cheon, Kyoohyung Han, Changmin Lee, Hansol Ryu, Damien Stehlé. Cryptanalysis of the Multilinear Map over the Integers. EUROCRYPT, 2015, Sofia, Bulgaria. ⟨hal-01240445⟩
Accès au bibtex

Habilitation à diriger des recherches

ref_biblio: Benoît Libert. Applications of Structure-Preserving Cryptography and Pairing-Based NIZK Proofs. Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Lyon, 2015. ⟨tel-02151157⟩
Accès au texte intégral et bibtex

Books

ref_biblio: Jean-Michel Muller, Arnaud Tisserand, Julio Villalba Moreno (Dir.). Proceedings of IEEE 22nd Symposium on Computer Arithmetic. Muller, Jean-Michel; Tisserand, Arnaud; Villalba Moreno, Julio. IEEE, 2015, ⟨10.1109/ARITH.2015.1⟩. ⟨hal-01233867⟩
Accès au bibtex

Reports

ref_biblio: Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, et al.. A Power Series Expansion based Method to compute the Probability of Collision for Short-term Space Encounters. [Research Report] LAAS-CNRS. 2015. ⟨hal-01131384v2⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Alice Pellet-Mary, Damien Stehlé. Cryptanalysis of Gu's ideal multilinear map. 2015. ⟨hal-01240457⟩
Accès au bibtex

ref_biblio: Laurent Thévenoux, Matthieu Martel, Philippe Langlois. Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs. 2015. ⟨hal-01157509⟩
Accès au texte intégral et bibtex

2014

Journal articles

ref_biblio: Jean-Michel Muller, Sylvie Boldo. Des ordinateurs capables de calculer plus juste. La Recherche, 2014, pp.46-53. ⟨ensl-01069744⟩
Accès au bibtex

ref_biblio: Dong Wang, Jean-Michel Muller, Nicolas Brisebarre, Milos Ercegovac. (M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function. IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩. ⟨ensl-01001673⟩
Accès au texte intégral et bibtex

ref_biblio: Fabienne Jézéquel, Philippe Langlois, Nathalie Revol. First steps towards more numerical reproducibility. ESAIM: Proceedings and Surveys, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩. ⟨lirmm-00872562⟩
Accès au texte intégral et bibtex

ref_biblio: Stephen Melczer, Marni Mishna. Singularity Analysis Via the Iterated Kernel Method. Combinatorics, Probability and Computing, 2014, 23 (05), pp.861 - 888. ⟨10.1017/S0963548314000145⟩. ⟨hal-01394160⟩
Accès au bibtex

ref_biblio: Alin Bostan, Kilian Raschel, Bruno Salvy. Non-D-finite excursions in the quarter plane. Journal of Combinatorial Theory, Series A, 2014, 121, pp.45-63. ⟨10.1016/j.jcta.2013.09.005⟩. ⟨hal-00697386v2⟩
Accès au texte intégral et bibtex

ref_biblio: Cong Ling, Laura Luzzi, Jean-Claude Belfiore, Damien Stehlé. Semantically Secure Lattice Codes for the Gaussian Wiretap Channel. IEEE Transactions on Information Theory, 2014, 60 (10), pp.6399-6416. ⟨10.1109/TIT.2014.2343226⟩. ⟨hal-01091295⟩
Accès au bibtex

ref_biblio: Nathalie Revol, Philippe Théveny. Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. IEEE Transactions on Computers, 2014, 63 (8), pp.1915-1924. ⟨10.1109/TC.2014.2322593⟩. ⟨hal-00916931v2⟩
Accès au texte intégral et bibtex

ref_biblio: Siegfried M. Rump, Claude-Pierre Jeannerod. Improved backward error bounds for LU and Cholesky factorizations. SIAM Journal on Matrix Analysis and Applications, 2014, 35 (2), pp.684-698. ⟨10.1137/130927231⟩. ⟨hal-00841361v2⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Benoît Libert, Marc Joye, Moti Yung, Thomas Peters. Concise Multi-challenge CCA-Secure Encryption and Signatures with Almost Tight Security. Asiacrypt 2014, Dec 2014, Kaohsiung, Taiwan. pp.1 - 21, ⟨10.1007/978-3-662-45608-8_1⟩. ⟨hal-01088108⟩
Accès au texte intégral et bibtex

ref_biblio: Ronan Lashermes, Marie Paindavoine, Nadia El Mrabet, Jacques Jean-Alain Fournier, Louis Goubin. Practical validation of several fault attacks against the Miller algorithm. Fault Diagnosis and Tolerance in Cryptography (FDTC), 2014 Workshop on, Sep 2014, Busan, South Korea. ⟨10.1109/FDTC.2014.21⟩. ⟨hal-01100813⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan. Parallel computation of echelon forms. EuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩. ⟨hal-00947013⟩
Accès au texte intégral et bibtex

ref_biblio: Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders. Elements of Design for Containers and Solutions in the LinBox Library. ICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩. ⟨hal-01015138⟩
Accès au texte intégral et bibtex

ref_biblio: Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, et al.. A New Method to Compute the Probability of Collision for Short-term Space Encounters. AIAA/AAS Astrodynamics Specialist Conference, Aug 2014, San Diego, United States. 6p., ⟨10.2514/6.2014-4366⟩. ⟨hal-01092420⟩
Accès au bibtex

ref_biblio: Erich L. Kaltofen, Clément Pernet. Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance. ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp. 272-279, ⟨10.1145/2608628.2608660⟩. ⟨hal-01068308⟩
Accès au bibtex

ref_biblio: Goel Sarushi, Ivan Morel, Damien Stehlé, Gilles Villard. LLL reducing with the most significant bits. 39th International Symposium on Symbolic and Algebraic Computation, Kobe, Japan, July 23-25, 2014, Jul 2014, Kobe, Japan. ⟨10.1145/2608628.2608645⟩. ⟨ensl-00993445⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Marc Joye, Moti Yung. Born and Raised Distributively: Fully Distributed Non-Interactive Adaptively-Secure Threshold Signatures with Short Shares. ACM Symposium on Principles of Distributed Computing (PODC 2014), Jul 2014, Paris, France. ⟨hal-00983149v3⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic. ICVRAM & ISUMA - Second International Conference on Vulnerability and Risk Analysis and Management & Sixth International Symposium on Uncertainty Modelling and Analysis, Michael Beer, Jul 2014, Liverpool, United Kingdom. pp.1-10. ⟨hal-00920662v2⟩
Accès au texte intégral et bibtex

ref_biblio: Mioara Joldes, Jean-Michel Muller, Valentina Popescu. On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration. 25th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP, Jun 2014, Zurich, Switzerland. pp.8. ⟨hal-00957379⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Devigne, Eleonora Guerrini, Fabien Laguillaumie. Proxy Re-Encryption Scheme Supporting a Selection of Delegatees. AFRICACRYPT: Cryptology in Africa, May 2014, Marrakech, Morocco. pp.13-30, ⟨10.1007/978-3-319-06734-6_2⟩. ⟨hal-00982549⟩
Accès au bibtex

ref_biblio: Adeline Langlois, Damien Stehlé, Ron Steinfeld. GGHLite: More Efficient Multilinear Maps from Ideal Lattices. EUROCRYPT 2014, May 2014, Copenhague, Denmark. ⟨hal-00983179⟩
Accès au texte intégral et bibtex

ref_biblio: Benoît Libert, Thomas Peters, Marc Joye, Moti Yung. Non-Malleability from Malleability: Simulation-Sound Quasi-Adaptive NIZK Proofs and CCA2-Secure Encryption from Homomorphic Signatures. Eurocrypt 2014, May 2014, Copenhagen, Denmark. ⟨hal-00983147⟩
Accès au texte intégral et bibtex

ref_biblio: Adeline Langlois, San Ling, Khoa Nguyen, Huaxiong Wang. Lattice-based Group Signature Scheme with Verifier-local Revocation. Public-Key Cryptography - PKC2014, Mar 2014, Buenos Aires, Argentina. pp.345-361, ⟨10.1007/978-3-642-54631-0⟩. ⟨hal-00983084⟩
Accès au texte intégral et bibtex

ref_biblio: San Ling, Duong Hieu Phan, Damien Stehlé, Ron Steinfeld. Hardness of k-LWE and Applications in Traitor Tracing. CRYPTO, 2014, Santa Barbara, CA, United States. ⟨hal-01091300⟩
Accès au bibtex

Book sections

ref_biblio: Fabien Laguillaumie, Adeline Langlois, Damien Stehlé. Chiffrement avancé à partir du problème Learning With Errors. Sylvain PEYRONNET. Informatique Mathématique : une photographie en 2014, Presses universitaires de Perpignan, 2014, 9782354122287. ⟨hal-00984055⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Jean-Michel Muller. Evaluating Elementary Functions. Nicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014. ⟨ensl-00989001⟩
Accès au bibtex

Habilitation à diriger des recherches

ref_biblio: Clément Pernet. High Performance and Reliable Algebraic Computing. Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014. ⟨tel-01094212⟩
Accès au texte intégral et bibtex

Books

ref_biblio: Amparo Gil, Jean-Michel Muller, Javier Segura (Dir.). Edition d'un numéro spécial "Numerical Software: Design, Analysis and Verification". Elsevier, 90 part A, pp.1, 2014. ⟨ensl-01070771⟩
Accès au bibtex

Theses

ref_biblio: Philippe Theveny. Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0941⟩. ⟨tel-01126973⟩
Accès au texte intégral et bibtex

ref_biblio: Adeline Roux-Langlois. Lattice - Based Cryptography - Security Foundations and Constructions. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0940⟩. ⟨tel-01126931⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brunie. Contributions to computer arithmetic and applications to embedded systems. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0894⟩. ⟨tel-01078204⟩
Accès au texte intégral et bibtex

2013

Journal articles

ref_biblio: Érik Martin-Dorel, Guillaume Melquiond, Jean-Michel Muller. Some issues related to double roundings. BIT Numerical Mathematics, 2013, 53 (4), pp.897-924. ⟨10.1007/s10543-013-0436-2⟩. ⟨ensl-00644408v3⟩
Accès au texte intégral et bibtex

ref_biblio: Florent Langrognet, Fabienne Jézéquel, Nathalie Revol. JDEV 2013 : Développer pour Calculer : Des outils pour calculer avec précision & Comment calculer avec des intervalles. High-Performance Computing Magazine, 2013, pp.1-5. ⟨hal-00921492⟩
Accès au bibtex

ref_biblio: Florent de Dinechin, Pedro Echeverria, Marisa Lopez-Vallejo, Bogdan Pasca. Floating-Point Exponentiation Units for Reconfigurable Computing. ACM Transactions on Reconfigurable Technology and Systems (TRETS), 2013, 6 (1), pp.4:1--4:15. ⟨10.1145/2457443.2457447⟩. ⟨ensl-00718637⟩
Accès au texte intégral et bibtex

ref_biblio: Laura Luzzi, Damien Stehlé, Cong Ling. Decoding by Embedding: Correct Decoding Radius and DMT Optimality. IEEE Transactions on Information Theory, 2013, 59 (5), pp.2960-2973. ⟨10.1109/TIT.2012.2236144⟩. ⟨hal-00784077⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Siegfried M. Rump. Improved error bounds for inner products in floating-point arithmetic. SIAM Journal on Matrix Analysis and Applications, 2013, 34 (2), pp.338-344. ⟨10.1137/120894488⟩. ⟨hal-00840926⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, et al.. Wave equation numerical resolution: a comprehensive mechanized proof of a C program. Journal of Automated Reasoning, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩. ⟨hal-00649240v3⟩
Accès au texte intégral et bibtex

ref_biblio: Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer. On the Complexity of Solving Quadratic Boolean Systems. Journal of Complexity, 2013, 29 (1), pp.53-75. ⟨10.1016/j.jco.2012.07.001⟩. ⟨hal-00655745⟩
Accès au bibtex

ref_biblio: Nicolas Brunie, Caroline Collange. Reconvergence de contrôle implicite pour les architectures SIMT. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, Architecture des ordinateurs, 32 (2), pp.153-178. ⟨10.3166/TSI.32.153-178⟩. ⟨hal-00787749⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller. Further analysis of Kahan's algorithm for the accurate computation of 2 x 2 determinants. Mathematics of Computation, 2013, 82 (284), pp.2245-2264. ⟨10.1090/S0025-5718-2013-02679-8⟩. ⟨ensl-00649347v4⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Christoph Lauter, Jean-Michel Muller, Serge Torres. On Ziv's rounding test. ACM Transactions on Mathematical Software, 2013, 39 (4), pp.26. ⟨ensl-00693317v2⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol, Philippe Théveny. Parallel Implementation of Interval Matrix Multiplication. Reliable Computing, 2013, 19 (1), pp.91-106. ⟨hal-00801890v2⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Clément Pernet, Arne Storjohann. Rank-profile revealing Gaussian elimination and the CUP matrix decomposition. Journal of Symbolic Computation, 2013, 56, pp.46-68. ⟨10.1016/j.jsc.2013.04.004⟩. ⟨hal-00841300⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Fabien Laguillaumie, Adeline Langlois, Benoît Libert, Damien Stehlé. Lattice-Based Group Signatures with Logarithmic Signature Size. ASIACRYPT 2013 - 19th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2013, Bangaluru, India. ⟨10.1007/978-3-642-42045-0_3⟩. ⟨hal-00920420⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller. Avoiding double roundings in scaled Newton-Raphson division. Asilomar Conference on Signals, Systems, and Computers, Nov 2013, Pacific Grove, CA, United States. 4 p. ⟨ensl-00875366⟩
Accès au texte intégral et bibtex

ref_biblio: Olga Kupriianova, Christoph Lauter, Jean-Michel Muller. Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic. 2013 Asilomar Conference on Signals, Systems and Computers , Nov 2013, Pacific Grove, CA, United States. pp.1134 - 1138, ⟨10.1109/ACSSC.2013.6810471⟩. ⟨hal-01513505⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol, Philippe Théveny. Numerical reproducibility in HPC: the interval point of view. PPAM'2013: 10th International Conference on Parallel Processing and Applied Mathematics, Sep 2013, Warsaw, Poland. ⟨hal-00922117⟩
Accès au bibtex

ref_biblio: Nicolas Brunie, Florent de Dinechin, Matei Istoan, Guillaume Sergent, Kinga Illyes, et al.. Arithmetic core generation using bit heaps. 23rd International Conference on Field Programmable Logic and Applications, Sep 2013, Porto, Portugal. pp.1-8. ⟨ensl-00738412v2⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Pierre Lairez, Bruno Salvy. Creative telescoping for rational functions using the Griffiths-Dwork method. ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.93-100, ⟨10.1145/2465506.2465935⟩. ⟨hal-00777675v2⟩
Accès au texte intégral et bibtex

ref_biblio: Fredrik Johansson, Manuel Kauers, Marc Mezzarobba. Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. ISSAC - 28th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Massachusetts, United States. pp.211-218, ⟨10.1145/2465506.2465513⟩. ⟨hal-00818789⟩
Accès au bibtex

ref_biblio: Florent de Dinechin, Matei Istoan, Guillaume Sergent. Fixed-Point Trigonometric Functions on FPGAs. Fourth International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, Jun 2013, Edimburgh, United Kingdom. pp.1-6. ⟨ensl-00802777⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol, Philippe Théveny. Numerical reproducibility in HPC: issues in interval arithmetic. SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France. ⟨hal-00922114⟩
Accès au texte intégral et bibtex

ref_biblio: Gilles Villard. Euclidean lattice basis reduction: algorithms and experiments for disclosing integer relations. International Linear Algebra Society (ILAS), Jun 2013, Providence, Rhode Island, United States. ⟨ensl-00994752⟩
Accès au bibtex

ref_biblio: Vincent Lefèvre. SIPE: Small Integer Plus Exponent. 21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States. ⟨hal-00763954v3⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller. On the componentwise accuracy of complex floating-point division with an FMA. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.83--90. ⟨ensl-00734339v2⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Lauter. Comparison between binary64 and decimal64 floating-point numbers. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.145-152, ⟨10.1109/ARITH.2013.23⟩. ⟨ensl-00737881v4⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brunie, Florent de Dinechin, Matei Istoan, Guillaume Sergent. L'arithmétique sur le tas. Symposium en Architectures nouvelles de machines, Jan 2013, France. ⟨ensl-00762990⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brunie, Florent de Dinechin, Benoît de Dinechin. Conception d'une matrice reconfigurable pour coprocesseur fortement couplé. Symposium en Architectures nouvelles de machines, Jan 2013, France. ⟨ensl-00763067⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvain Chevillard, Marc Mezzarobba. Multiple precision evaluation of the Airy Ai function with reduced cancellation. 21st IEEE Symposium on Computer Arithmetic, 2013, Austin, TX, United States. pp.175-182, ⟨10.1109/ARITH.2013.33⟩. ⟨hal-00767085v2⟩
Accès au texte intégral et bibtex

ref_biblio: Jingwei Chen, Damien Stehlé, Gilles Villard. A New View on HJLS and PSLQ: Sums and Projections of Lattices. Proceedings of ISSAC, 2013, United States. pp.149-156. ⟨hal-00922192⟩
Accès au bibtex

ref_biblio: Zvika Brakerski, Adeline Langlois, Chris Peikert, Oded Regev, Damien Stehlé. Classical Hardness of Learning with Errors. Proceedings of STOC, 2013, United States. pp.575-584. ⟨hal-00922194⟩
Accès au bibtex

ref_biblio: San Ling, Khoa Nguyen, Damien Stehlé, Huaxiong Wang. Improved Zero-knowledge Proofs of Knowledge for the ISIS Problem, and Applications. Proceedings of PKC 2013, 2013, Japan. pp.107--124. ⟨hal-00767548⟩
Accès au bibtex

ref_biblio: Rishiraj Bhattacharyya, Arnab Roy. Secure Message Authentication against Related Key Attack. Fast Software Encryption, 2013, Singapore. pp.245-262. ⟨hal-00920172⟩
Accès au bibtex

Book sections

ref_biblio: Florent de Dinechin, Bogdan Pasca. Reconfigurable arithmetic for HPC. Wim Vanderbauwhede and Khaled Benkrid. High-Performance Computing using FPGAs, Springer, 2013. ⟨ensl-00758377⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Rishiraj Bhattacharyya, Sourav Chakraborty. Constant Query Locally Decodable Codes against Computationally Bounded Adversary. 2013. ⟨hal-00920174⟩
Accès au bibtex

ref_biblio: Rishiraj Bhattacharyya. Non-Adaptive Programmability of Random Oracles. 2013. ⟨hal-00920173⟩
Accès au bibtex

Preprints, Working Papers, ...

ref_biblio: Vincent Lefèvre. Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding. 2013. ⟨hal-00864580⟩
Accès au texte intégral et bibtex

2012

Journal articles

ref_biblio: Carine Pivoteau, Bruno Salvy, Michele Soria. Algorithms for combinatorial structures: Well-founded systems and Newton iterations.. Journal of Combinatorial Theory, Series A, 2012, 119 (8), pp.1711-1773. ⟨10.1016/j.jcta.2012.05.007⟩. ⟨inria-00622853⟩
Accès au texte intégral et bibtex

ref_biblio: Bel Dumé, Jean-Michel Muller. Les calculs sur ordinateurs de plus en plus fiables et sûrs. Collection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 2 p. ⟨hal-00813205⟩
Accès au texte intégral et bibtex

ref_biblio: Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the computation of correctly-rounded sums. IEEE Transactions on Computers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩. ⟨ensl-00331519v2⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin. Multiplication by rational constants: LIP research report 2011-3. IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, 2012, pp.00. ⟨10.1109/TCSII.2011.2177706⟩. ⟨ensl-00610328v3⟩
Accès au texte intégral et bibtex

ref_biblio: Xiao-Wen Chang, Damien Stehlé, Gilles Villard. Perturbation Analysis of the QR Factor R in the Context of LLL Lattice Basis Reduction. Mathematics of Computation, 2012, 81 (279), pp.1487-1511. ⟨ensl-00529425v2⟩
Accès au texte intégral et bibtex

ref_biblio: Christophe Alias, Bogdan Pasca, Alexandru Plesco. FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores. Microprocessors and Microsystems: Embedded Hardware Design , 2012, 36 (8), pp.606-619. ⟨10.1016/j.micpro.2012.06.009⟩. ⟨hal-00761515⟩
Accès au bibtex

Conference papers

ref_biblio: Philippe Théveny, Nathalie Revol. Interval matrix multiplication on parallel architectures. SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. ⟨hal-00750022⟩
Accès au bibtex

ref_biblio: Marc Mezzarobba. A Note on the Space Complexity of Fast D-Finite Function Evaluation. CASC - Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.212-223, ⟨10.1007/978-3-642-32973-9_18⟩. ⟨hal-00687818v2⟩
Accès au texte intégral et bibtex

ref_biblio: Fabien Laguillaumie, Guilhem Castagnos. Homomorphic Encryption for Multiplications and Pairing Evaluation. Security and Cryptography for Networks - 8th International Conference, SCN 2012, Sep 2012, Amalfi, Italy. ⟨hal-00763110⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Jingyan Jourdan-Lu. Simultaneous floating-point sine and cosine for VLIW integer processors. 23rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2012), Jul 2012, Delft, Netherlands. pp.69-76. ⟨hal-00672327⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol, Hong Diep Nguyen, Philippe Théveny. Tradeoffs between Accuracy and Efficiency for Interval Matrix Multiplication. Numerical Software 2012: Design, Analysis and Verification, Jul 2012, Santander, Spain. ⟨hal-00750021⟩
Accès au bibtex

ref_biblio: Nathalie Revol. IEEE-1788 standardization of interval arithmetic: work in progress (a personal view). IFIP Working Group 2.5 on Numerical Software, Jul 2012, Santander, Spain. ⟨hal-00759206⟩
Accès au bibtex

ref_biblio: Alin Bostan, Muhammad F. I. Chowdhury, Romain Lebreton, Bruno Salvy, Éric Schost. Power Series Solutions of Singular (q)-Differential Equations. ISSAC '12: 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.107-114. ⟨hal-00697733⟩
Accès au bibtex

ref_biblio: Nicolas Brisebarre, Milos Ercegovac, Jean-Michel Muller. (M,p,k)-friendly points: a table-based method for trigonometric function evaluation. 2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Jul 2012, Delft, Netherlands. p. 46-52, ISBN: 978-1-4673-2243-0, ⟨10.1109/ASAP.2012.17⟩. ⟨ensl-00759912⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy. Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators. ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.99-106. ⟨hal-00698610⟩
Accès au bibtex

ref_biblio: Nathalie Revol. L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles. RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France. ⟨hal-00750019⟩
Accès au bibtex

ref_biblio: Philippe Théveny. Divers algorithmes de produits de matrices intervalles. RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France. ⟨hal-00750017⟩
Accès au bibtex

ref_biblio: Hong Diep Nguyen, Nathalie Revol, Philippe Théveny. Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication. PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland. ⟨hal-00704288⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brunie, Caroline Collange, Gregory Diamos. Simultaneous Branch and Warp Interweaving for Sustained GPU Performance. 39th Annual International Symposium on Computer Architecture (ISCA), Jun 2012, Portland, OR, United States. pp.49 - 60, ⟨10.1109/ISCA.2012.6237005⟩. ⟨ensl-00649650⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Mioara Maria Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, et al.. Rigorous Polynomial Approximation using Taylor Models in Coq. Fourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15. ⟨ensl-00653460v2⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Laurent-Stéphane Didier. Table-based division by small integer constants. 8th International Symposium on Applied Reconﬁgurable Computing (ARC), Mar 2012, Hong Kong, Hong Kong SAR China. pp.53-63, ⟨10.1007/978-3-642-28365-9_5⟩. ⟨ensl-00642145⟩
Accès au texte intégral et bibtex

ref_biblio: Eric Dutisseuil, Jean-Marc Tanguy, Adrian Voicila, Rémi Laube, Francois Bore, et al.. 34 Gb/s PDM-QPSK coherent receiver using SiGe ADCs and a single FPGA for digital signal processing. Optical Fiber Communication Conference, Mar 2012, nc, United States. pp.OM3H.7. ⟨ensl-00766801⟩
Accès au bibtex

ref_biblio: Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat. Non-generic floating-point software support for embedded media processing. 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), 2012, Karlsruhe, Germany. ⟨hal-00695333⟩
Accès au texte intégral et bibtex

ref_biblio: Sébastien Canard, Georg Fuchsbauer, Aline Gouget, Fabien Laguillaumie. Plaintext-Checkable Encryption. CT-RSA 2012, 2012, San Francisco, United States. pp.332-348, ⟨10.1007/978-3-642-27954-6_21⟩. ⟨hal-00768305⟩
Accès au texte intégral et bibtex

ref_biblio: Javier Herranz, Fabien Laguillaumie, Benoît Libert, Carla Ràfols. Short Attribute-Based Signatures for Threshold Predicates. RSA Conference 2012, 2012, San Francisco, United States. pp.51-67. ⟨hal-00611651⟩
Accès au texte intégral et bibtex

Other publications

ref_biblio: San Ling, Damien Stehlé. A Lattice-Based Traitor Tracing Scheme. 2012. ⟨hal-00767545⟩
Accès au bibtex

Patents

ref_biblio: Nicolas Brunie, Florent de Dinechin, Benoît de Dinechin. Mixed-Precision Merged Multiplication and Addition Operator. France, Patent n° : WO/2012/175828. 2012. ⟨hal-01021919⟩
Accès au bibtex

Documents associated with scientific events

ref_biblio: Alin Bostan, Bruno Salvy. Calcul formel pour la combinatoire. Journées ALEA 2012, Mar 2012, Luminy, France. ⟨hal-00780435⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Jean-Claude Belfiore, Cong Ling, Laura Luzzi, Damien Stehlé. Semantically Secure Lattice Codes for the Gaussian Wiretap Channel. 2012. ⟨hal-00767551⟩
Accès au bibtex

Theses

ref_biblio: Jingyan Lu Jourdan. Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0762⟩. ⟨tel-00779764⟩
Accès au texte intégral et bibtex

ref_biblio: Erik Martin-Dorel. Contributions to the Formal Verification of Arithmetic Algorithms. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0742⟩. ⟨tel-00745553⟩
Accès au texte intégral et bibtex

ref_biblio: Adrien Panhaleux. Contributions to floating-point arithmetic : Coding and correct rounding of algebraic functions. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0721⟩. ⟨tel-00744373⟩
Accès au texte intégral et bibtex

2011

Journal articles

ref_biblio: Pieter Collins, Milad Niqui, Nathalie Revol. A validated real function calculus. Mathematics in Computer Science, 2011, 5 (4), pp.437-467. ⟨hal-00641648⟩
Accès au bibtex

ref_biblio: Florent de Dinechin, Bogdan Pasca. Designing Custom Arithmetic Data Paths with FloPoCo. IEEE Design & Test, 2011, 28, pp.18-27. ⟨ensl-00646282⟩
Accès au bibtex

ref_biblio: Sylvie Boldo, Jean-Michel Muller. Exact and Approximated error of the FMA. IEEE Transactions on Computers, 2011, 60 (2), pp.157-164. ⟨10.1109/TC.2010.139⟩. ⟨inria-00429617⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux. Midpoints and exact points of some algebraic functions in floating-point arithmetic. IEEE Transactions on Computers, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩. ⟨ensl-00409366v3⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy. Computing floating-point square roots via bivariate polynomial evaluation. IEEE Transactions on Computers, 2011, 60 (2), pp.214-227. ⟨10.1109/TC.2010.152⟩. ⟨ensl-00559236⟩
Accès au bibtex

ref_biblio: Florent de Dinechin, Christoph Lauter, Guillaume Melquiond. Certifying the floating-point implementation of an elementary function using Gappa. IEEE Transactions on Computers, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩. ⟨ensl-00200830v2⟩
Accès au texte intégral et bibtex

ref_biblio: Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux. Performing Arithmetic Operations on Round-to-Nearest Representations. IEEE Transactions on Computers, 2011, 60 (2), pp.282-291. ⟨10.1109/TC.2010.134⟩. ⟨ensl-00548988v2⟩
Accès au texte intégral et bibtex

ref_biblio: Gilles Villard. Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation. Journal of Symbolic Computation, 2011, 46 (7), pp.773-790. ⟨10.1016/j.jsc.2010.08.012⟩. ⟨ensl-00335918⟩
Accès au texte intégral et bibtex

ref_biblio: Hong Diep Nguyen, Nathalie Revol. Solving and Certifying the Solution of a Linear System. Reliable Computing, 2011, 15 (2), pp.120-131. ⟨inria-00546856⟩
Accès au texte intégral et bibtex

ref_biblio: Cong Ling, Shuiyin Liu, Damien Stehlé. Decoding by Sampling: A Randomized Lattice Algorithm for Bounded Distance Decoding. IEEE Transactions on Information Theory, 2011, 57 (9), pp.5933-5945. ⟨10.1109/TIT.2011.2162180⟩. ⟨hal-00640634⟩
Accès au bibtex

ref_biblio: Sylvain Chevillard, John Harrison, Mioara Maria Joldes, Christoph Lauter. Efficient and accurate computation of upper bounds of approximation errors. Theoretical Computer Science, 2011, 412 (16), pp.1523-1543. ⟨10.1016/j.tcs.2010.11.052⟩. ⟨ensl-00445343v2⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Gilles Villard. Some numerical considerations for lattice basis reduction. Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, Nov 2011, David R. Cheriton School of Computer Science, Waterloo, Ontario, Canada. ⟨ensl-00994751⟩
Accès au bibtex

ref_biblio: Nicolas Brunie, Florent de Dinechin, Benoît de Dinechin. Mixed-precision Fused Multiply and Add. 45th Asilomar Conference on Signals, Systems & Computers, Nov 2011, United States. pp.165-169. ⟨ensl-00642157⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. Verified Numerical Linear Algebra: Linear System Solving. 2011 SIAM Conference on Applied Algebraic Geometry, Oct 2011, Raleigh, United States. ⟨hal-00641663⟩
Accès au bibtex

ref_biblio: Jean-Michel Muller. Exact computations with an arithmetic known to be approximate (invited talk). MaGiX@LiX 2011, Sep 2011, Palaiseau, France. ⟨ensl-00789015⟩
Accès au bibtex

ref_biblio: Vincent Lefèvre. Generating a Minimal Interval Arithmetic Based on GNU MPFR. Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371), Isaac Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova, Sep 2011, Dagstuhl, Germany. pp.43, ⟨10.4230/DagRep.1.9.26⟩. ⟨hal-00651939⟩
Accès au bibtex

ref_biblio: Nathalie Revol. IEEE 1788 Working Group for the Standardization of Interval Arithmetic: a brief overview. Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany. ⟨hal-00641674⟩
Accès au bibtex

ref_biblio: Florent de Dinechin, Jean-Michel Muller, Bogdan Pasca, Alexandru Plesco. An FPGA architecture for solving the Table Maker's Dilemma. Application-Specific Systems, Architectures and Processors (ASAP), 2011 IEEE International Conference on, Sep 2011, Santa Monica, United States. pp.187-194, ⟨10.1109/ASAP.2011.6043267⟩. ⟨ensl-00640063⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol, Hong Diep Nguyen. Refining and verifying efficiently the solution of a linear system. Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany. ⟨hal-00641669⟩
Accès au bibtex

ref_biblio: Hong Diep Nguyen, Bogdan Pasca, Thomas B. Preusser. FPGA-Specific Arithmetic Optimizations of Short-Latency Adders. 2011 International Conference on Field Programmable Logic and Applications (FPL), Sep 2011, Chania, Greece. pp.232 - 237, ⟨10.1109/FPL.2011.49⟩. ⟨ensl-00542389⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy. How to Square Floats Accurately and Efficiently on the ST231 Integer Processor. ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.77-81, ⟨10.1109/ARITH.2011.19⟩. ⟨ensl-00644147⟩
Accès au bibtex

ref_biblio: Christophe Mouilleron, Guillaume Revy. Automatic Generation of Fast and Certified Code for Polynomial Evaluation. ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.233-242, ⟨10.1109/ARITH.2011.39⟩. ⟨ensl-00531721⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Mioara Maria Joldes, Peter Kornerup, Érik Martin-Dorel, Jean-Michel Muller. Augmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}. 20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tübingen, Germany. pp.23-30, ⟨10.1109/ARITH.2011.13⟩. ⟨ensl-00545591v2⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin. The arithmetic operators you will never see in a microprocessor. 20th IEEE Symposium on Computer Arithmetic, Jul 2011, Tuebingen, Germany. pp.189-190. ⟨ensl-00642164⟩
Accès au bibtex

ref_biblio: Hong Diep Nguyen, Nathalie Revol. Refining and verifying the solution of a linear system. SNC 2011 - Symbolic Numeric Computation, Jun 2011, San Jose, United States. ⟨hal-00641659⟩
Accès au texte intégral et bibtex

ref_biblio: Caroline Collange. Une architecture unifiée pour traiter la divergence de contrôle et la divergence mémoire en SIMT. SYMPosium en Architectures, May 2011, Saint-Malo, France. pp.02. ⟨hal-00576049⟩
Accès au texte intégral et bibtex

ref_biblio: Christophe Alias, Bogdan Pasca, Alexandru Plesco. Automatic Generation of FPGA-Specific Pipelined Accelerators. International Symposium on Applied Reconfigurable Computing (ARC'11), Mar 2011, Belfast, United Kingdom. ⟨ensl-00549682⟩
Accès au texte intégral et bibtex

ref_biblio: William Hart, Mark Van Hoeij, Andrew Novocin. Practical polynomial factoring in polynomial time.. Proceedings of ISSAC 2011, 2011, United States. pp.163-170. ⟨hal-00650391⟩
Accès au bibtex

ref_biblio: Damien Stehlé, Ron Steinfeld. Making NTRU as secure as worst-case problems over ideal lattices. Proceedings of EUROCRYPT 2011, 2011, Estonia. pp.27-47. ⟨hal-00640635⟩
Accès au bibtex

ref_biblio: Cong Ling, Shuiyin Liu, Laura Luzzi, Damien Stehlé. Decoding by Embedding: Correct Decoding Radius and DMT Optimality. Proceedings of ISIT 2011, 2011, Russia. pp.1106 - 1110. ⟨hal-00640636⟩
Accès au bibtex

ref_biblio: Guillaume Hanrot, Xavier Pujol, Damien Stehlé. Algorithms for the Shortest and Closest Lattice Vector Problems. IWCC 2011, 2011, China. pp.159-190. ⟨hal-00640637⟩
Accès au bibtex

ref_biblio: Andrew Novocin, Damien Stehlé, Gilles Villard. An LLL-reduction algorithm with quasi-linear time complexity. STOC'11 - 43rd annual ACM symposium on Theory of computing, 2011, San Jose, United States. pp.403-412, ⟨10.1145/1993636.1993691⟩. ⟨ensl-00534899v2⟩
Accès au texte intégral et bibtex

ref_biblio: William Hart, Andrew Novocin. Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic. Proceedings of CASC 2011, 2011, Germany. pp.200-214. ⟨hal-00650389⟩
Accès au bibtex

ref_biblio: Guillaume Hanrot, Xavier Pujol, Damien Stehlé. Analyzing Blockwise Lattice Algorithms using Dynamical Systems. CRYPTO 2011, 2011, United States. pp.447-464. ⟨hal-00640638⟩
Accès au bibtex

ref_biblio: Mark Van Hoeij, Jürgen Klüners, Andrew Novocin. Generating subfields. Proceedings of ISSAC 2011, 2011, United States. pp.345-352. ⟨hal-00650392⟩
Accès au bibtex

ref_biblio: Gilles Villard. Recent progress in linear algebra and lattice basis reduction (invited). ISSAC'11 - International symposium on Symbolic and algebraic computation, 2011, San Jose, United States. pp.3-4, ⟨10.1145/1993886.1993889⟩. ⟨hal-00644796⟩
Accès au texte intégral et bibtex

Habilitation à diriger des recherches

ref_biblio: Damien Stehlé. Euclidean lattices: algorithms and cryptography. Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2011. ⟨tel-00645387⟩
Accès au texte intégral et bibtex

Other publications

ref_biblio: Hong Diep Nguyen. Efficient algorithms for verified scientific computing: Numerical linear algebra using interval arithmetic. 2011. ⟨ensl-00560188⟩
Accès au bibtex

Reports

ref_biblio: Vincent Lefèvre. SIPE: Small Integer Plus Exponent. [Research Report] RR-7832, INRIA. 2011, pp.21. ⟨hal-00650659⟩
Accès au texte intégral et bibtex

ref_biblio: Diogo Sampaio, Rafael Martins, Fernando Magno Quintão Pereira, Caroline Collange, Fernando Magno, et al.. Divergence Analysis with Affine Constraints. [Research Report] ENS Lyon. 2011. ⟨hal-00650235⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brunie, Caroline Collange. Assouplir les contraintes des architectures SIMT à faible coût. [Rapport de recherche] ENS Lyon. 2011. ⟨ensl-00649186⟩
Accès au texte intégral et bibtex

ref_biblio: Caroline Collange. Stack-less SIMT reconvergence at low cost. [Research Report] ENS Lyon. 2011. ⟨hal-00622654⟩
Accès au texte intégral et bibtex

ref_biblio: Christophe Alias, Bogdan Pasca, Alexandru Plesco. FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores. [Research Report] RR-7674, INRIA. 2011, pp.33. ⟨inria-00606977⟩
Accès au texte intégral et bibtex

ref_biblio: Érik Martin-Dorel. Univariate and bivariate integral roots certificates based on Hensel's lifting. 2011. ⟨ensl-00575673⟩
Accès au texte intégral et bibtex

ref_biblio: Alvaro Vazquez, Javier Bruguera. Composite Iterative Algorithm and Architecture for q-th Root Calculation. [Research Report] RR-7564, INRIA. 2011, pp.30. ⟨inria-00575573⟩
Accès au texte intégral et bibtex

ref_biblio: Caroline Collange. Identifying scalar behavior in CUDA kernels. [Research Report] ENS Lyon. 2011. ⟨hal-00555134⟩
Accès au texte intégral et bibtex

ref_biblio: Caroline Collange, Alexandre Kouyoumdjian. Affine Vector Cache for memory bandwidth savings. [Research Report] ENS de Lyon. 2011. ⟨ensl-00649200⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Christophe Mouilleron. Efficient computation with structured matrices and arithmetic expressions. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0652⟩. ⟨tel-00688388⟩
Accès au texte intégral et bibtex

ref_biblio: Mioara Maria Joldes. Rigorous Polynomial Approximations and Applications. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0655⟩. ⟨tel-00657843v2⟩
Accès au texte intégral et bibtex

ref_biblio: Bogdan Mihai Pasca. High-performance floating-point computing on reconfigurable circuits. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0656⟩. ⟨tel-00654121v2⟩
Accès au texte intégral et bibtex

ref_biblio: Hong Diep Nguyen. Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0617⟩. ⟨tel-00680352⟩
Accès au texte intégral et bibtex

2010

Journal articles

ref_biblio: Xiao-Wen Chang, Damien Stehlé. Rigorous Perturbation Bounds of Some Matrix Factorizations. SIAM Journal on Matrix Analysis and Applications, 2010, 31 (5), pp.2841--2859. ⟨hal-00546885⟩
Accès au bibtex

ref_biblio: Alvaro Vazquez, Elisardo Antelo, Paolo Montuschi. Improved Design of High-Performance Parallel Decimal Multipliers. IEEE Transactions on Computers, 2010, 59 (5), pp.679-693. ⟨ensl-00560255⟩
Accès au bibtex

ref_biblio: Christian Bertin, Claude-Pierre Jeannerod, Christophe Monat. Bringing fast floating-point arithmetic into embedded integer processors. HiPEAC Info, 2010, 22, pp.11-12. ⟨ensl-00551245⟩
Accès au bibtex

ref_biblio: Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩. ⟨inria-00388501⟩
Accès au bibtex

ref_biblio: Milos Ercegovac, Jean-Michel Muller. An Efficient Method for Evaluating Complex Polynomials. Journal of Signal Processing Systems, 2010, 58 (1), pp.17-27. ⟨10.1007/s11265-008-0265-8⟩. ⟨ensl-00446889⟩
Accès au texte intégral et bibtex

ref_biblio: Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann. Why and How to Use Arbitrary Precision. Computing in Science and Engineering, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩. ⟨inria-00543927⟩
Accès au bibtex

ref_biblio: Ivan Morel, Damien Stehlé, Gilles Villard. Analyse numérique et réduction de réseaux. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (1), pp.115-144. ⟨10.3166/tsi.29.115-144⟩. ⟨ensl-00327678v2⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Florent de Dinechin, Bogdan Pasca. Floating-point exponential functions for DSP-enabled FPGAs. International Conference on Field-Programmable Technology, Dec 2010, Beijing, China. pp.110-117. ⟨ensl-00506125⟩
Accès au texte intégral et bibtex

ref_biblio: Alvaro Vazquez, Florent de Dinechin. Efficient implementation of Parallel BCD Multiplication in LUT-6 FPGAs. 2010 International Conference on Field-Programmable Technology, Dec 2010, Beijing, China. ⟨inria-00546028⟩
Accès au bibtex

ref_biblio: Alvaro Vazquez, Elisardo Antelo. Multi-Operand Decimal Addition by Efficient Reuse of a Binary Carry-Save Adder Tree. 44th ASILOMAR Conference on Signals, Systems and Computers, Dec 2010, Pacific Grove, CA, United States. ⟨inria-00546040⟩
Accès au bibtex

ref_biblio: Florent de Dinechin, Honoré Takeugming, Jean-Marc Tanguy. A 128-Tap Complex FIR Filter Processing 20 Giga-Samples/s in a Single FPGA. 44th Conference on signals, systems and computers, United States. ⟨ensl-00542950⟩
Accès au texte intégral et bibtex

ref_biblio: Érik Martin-Dorel. Formalization of Hensel's lemma in Coq. TYPES 2010: The 17th Workshop on Types for Proofs and Programs, Oct 2010, Warsaw, Poland. ⟨ensl-00560449⟩
Accès au bibtex

ref_biblio: Hong Diep Nguyen, Nathalie Revol. Accuracy issues in linear algebra using interval arithmetic. SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France. ⟨inria-00544805⟩
Accès au bibtex

ref_biblio: Florent de Dinechin, Claude-Pierre Jeannerod, David Pfannholzer, Nathalie Revol. Code generation for argument filtering and argument reduction in elementary functions. SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France. ⟨inria-00544808⟩
Accès au bibtex

ref_biblio: Sylvain Chevillard, Mioara Maria Joldes, Christoph Lauter. Sollya: an environment for the development of numerical codes. Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.28 -- 31, ⟨10.1007/978-3-642-15582-6_5⟩. ⟨hal-00761644⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries. ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩. ⟨inria-00544803⟩
Accès au bibtex

ref_biblio: Florent de Dinechin, Mioara Maria Joldes, Bogdan Pasca, Guillaume Revy. Multiplicative square root algorithms for FPGAs. International Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. pp.14, ⟨10.1109/FPL.2010.112⟩. ⟨ensl-00475779v2⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Hong Diep Nguyen, Bogdan Pasca. Pipelined FPGA Adders. International Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. pp.422-427, ⟨10.1109/FPL.2010.87⟩. ⟨ensl-00475780v2⟩
Accès au texte intégral et bibtex

ref_biblio: Jérémie Detrey, Guillaume Hanrot, Xavier Pujol, Damien Stehlé. Accelerating lattice reduction with FPGAs. First International Conference on Cryptology and Information Security in Latin America (LATINCRYPT'10), Aug 2010, Puebla, Mexico. pp.124-143, ⟨10.1007/978-3-642-14712-8_8⟩. ⟨inria-00539929⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Christophe Mouilleron. Computing specified generators of structured matrix inverses. 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Jul 2010, Münich, Germany. ⟨10.1145/1837934.1837988⟩. ⟨ensl-00450272⟩
Accès au texte intégral et bibtex

ref_biblio: Hong Diep Nguyen, Nathalie Revol. High performance linear algebra using interval arithmetic. PASCO'10 4th International Workshop in Parallel and Symbolic Computation, Moreno Maza, Marc and Roch, Jean-Louis, Jul 2010, Grenoble, France. ⟨10.1145/1837210.1837236⟩. ⟨inria-00544800⟩
Accès au bibtex

ref_biblio: Christian Bertin, Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Hervé Knochel, Christophe Monat, et al.. Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors. 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. pp.1-9, ⟨10.1145/1837210.1837212⟩. ⟨ensl-00549467⟩
Accès au bibtex

ref_biblio: Pieter Collins, Milad Niqui, Nathalie Revol. A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq. NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom. ⟨inria-00473270⟩
Accès au texte intégral et bibtex

ref_biblio: Hong Diep Nguyen, Nathalie Revol. Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision. NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom. ⟨inria-00544798⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, et al.. Formal proof of a wave equation resolution scheme: the method error. ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩. ⟨inria-00450789v3⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, et al.. LEMA: Towards a Language for Reliable Arithmetic. International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩. ⟨inria-00542143⟩
Accès au bibtex

ref_biblio: Nicolas Brisebarre, Milos Ercegovac, Nicolas Louvet, Érik Martin-Dorel, Jean-Michel Muller, et al.. Implementing decimal floating-point arithmetic through binary: some suggestions. 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩. ⟨ensl-00463353v2⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Mioara Joldes, Bogdan Pasca. Automatic generation of polynomial-based hardware architectures for function evaluation. Application-specific Systems, Architectures and Processors, Jul 2010, Rennes, France. ⟨ensl-00470506⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux. Newton-Raphson Algorithms for Floating-Point Division Using an FMA. 21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. pp.200-207. ⟨ensl-00549027⟩
Accès au texte intégral et bibtex

ref_biblio: Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet. Formal Proof of SCHUR Conjugate Function. CALCULEMUS 2010, Jul 2010, Paris, France. pp.158-171, ⟨10.1007/978-3-642-14128-7⟩. ⟨hal-00477574⟩
Accès au bibtex

ref_biblio: Claus Fieker, Damien Stehlé. Short bases of lattices over number fields. ANTS-IX, Jul 2010, France. pp.157--173. ⟨hal-00546895⟩
Accès au bibtex

ref_biblio: Damien Stehlé, Mark Watkins. On the Extremality of an 80-Dimensional Lattice. ANTS-IX, Jul 2010, France. pp.340--356. ⟨hal-00546901⟩
Accès au bibtex

ref_biblio: Hong Diep Nguyen. Efficient implementation of interval matrix multiplication. Para 2010: State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavik, Iceland. ⟨inria-00469472⟩
Accès au texte intégral et bibtex

ref_biblio: Sebastian Banescu, Florent de Dinechin, Bogdan Pasca, Radu Tudoran. Multipliers for Floating-Point Double Precision and Beyond on FPGAs. Highly Efficient Accelerators and Reconfigurable Technologies, Jun 2010, Tsukuba, Japan. ⟨ensl-00475781v2⟩
Accès au texte intégral et bibtex

ref_biblio: Mark van Hoeij, Andrew Novocin. Gradual sub-lattice reduction and a new complexity for factoring polynomials. LATIN 2010, Apr 2010, Oaxaca, Mexico. ⟨ensl-00452881⟩
Accès au texte intégral et bibtex

ref_biblio: Damien Stehlé, Ron Steinfeld. Faster Fully Homomorphic Encryption. Proceedings of ASIACRYPT 2010, 2010, Singapore. pp.377--394. ⟨hal-00640633⟩
Accès au bibtex

ref_biblio: Nicolas Brisebarre, Mioara Maria Joldes. Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing. ISSAC '10, 2010 International Symposium on Symbolic and Algebraic Computation, 2010, Münich, Germany. pp.147-154, ⟨10.1145/1837934.1837966⟩. ⟨ensl-00472509v2⟩
Accès au texte intégral et bibtex

Book sections

ref_biblio: Damien Stehlé. Floating-point LLL: theoretical and practical aspects. The LLL Algorithm: survey and applications, Springer, pp.179-213, 2010. ⟨hal-00550987⟩
Accès au bibtex

Other publications

ref_biblio: Kamila Tabaka, Vincent Kaufmann, Jean-Marie Guidez, Nicolas Louvet. Et si les Français n'avaient plus seulement une voiture dans la tête ? : Évolution de l'image des modes de transport (à partir de l'analyse de 19 Enquêtes Ménages Déplacements). 2010, http://www.certu.fr/fr/_Mobilit%C3%A9_et_d%C3%A9placements-n25/Connaissance_de_la_mobilit%C3%A9-n41/. ⟨halshs-00810758⟩
Accès au bibtex

Books

ref_biblio: Guillaume Hanrot, François Morain, Emmanuel Thomé (Dir.). Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings. Guillaume Hanrot and François Morain and Emmanuel Thomé. Springer-Verlag, 6197, pp.397, 2010, Lecture Notes in Computer Science, 978-3-642-14518-6. ⟨10.1007/978-3-642-14518-6⟩. ⟨inria-00544503⟩
Accès au bibtex

ref_biblio: Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, et al.. Handbook of Floating-Point Arithmetic. Birkhauser Boston, pp.572, 2010. ⟨ensl-00379167⟩
Accès au bibtex

Reports

ref_biblio: Alvaro Vazquez, Florent de Dinechin. Multi-operand Decimal Adder Trees for FPGAs. [Research Report] RR-7420, INRIA. 2010, pp.20. ⟨inria-00526327⟩
Accès au texte intégral et bibtex

ref_biblio: Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the Computation of Correctly-Rounded Sums. [Research Report] RR-7262, INRIA. 2010, pp.24. ⟨inria-00475279⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, et al.. LEMA: Towards a Language for Reliable Arithmetic. [Research Report] RR-7258, INRIA. 2010, pp.15. ⟨inria-00473767⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: William Hart, Mark van Hoeij, Andrew Novocin. Practical polynomial factoring in polynomial time. 2010. ⟨ensl-00546114⟩
Accès au texte intégral et bibtex

ref_biblio: William Hart, Andrew Novocin. A Practical Univariate Polynomial Composition Algorithm. 2010. ⟨ensl-00546102⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Bogdan Pasca. FPGA-Specific Custom Arithmetic Datapath Design. 2010. ⟨ensl-00542396⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy. How to square floats accurately and efficiently on the ST231 integer processor. 2010. ⟨ensl-00532829⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin. A flexible floating-point logarithm for reconfigurable computers. 2010. ⟨ensl-00506122⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller. Scaling Newton-Raphson division iterations to avoid double rounding. 2010. ⟨ensl-00496368⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy. Computing floating-point square roots via bivariate polynomial evaluation. 2010. ⟨ensl-00335792v2⟩
Accès au texte intégral et bibtex

2009

Journal articles

ref_biblio: Vincent Lefèvre, Jean-Michel Muller. Erreurs en arithmétique des ordinateurs. Images des Mathématiques, 2009. ⟨hal-00598554⟩
Accès au texte intégral et bibtex

ref_biblio: Christoph Quirin Lauter, Vincent Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision. IEEE Transactions on Computers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩. ⟨inria-00583988⟩
Accès au bibtex

ref_biblio: Peter Kornerup, Paolo Montuschi, Jean-Michel Muller, Eric Schwarz. Guest Editors' Introduction: Special Section on Computer Arithmetic. IEEE Transactions on Computers, 2009, 58 (2), pp.145-147. ⟨ensl-00383561⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Christophe Mouilleron, Gilles Villard. Extending Cardinal's algorithm to a broader class of structured matrices. ACM Communications in Computer Algebra, 2009, 43 (3/4), pp.84-85. ⟨10.1145/1823931.1823941⟩. ⟨hal-00746228⟩
Accès au bibtex

ref_biblio: Stef Graillat, Philippe Langlois, Nicolas Louvet. Algorithms for Accurate, Validated and Fast Polynomial Evaluation. Japan Journal of Industrial and Applied Mathematics, 2009, 26 (2-3), pp.191-214. ⟨10.1007/BF03186531⟩. ⟨hal-00285603⟩
Accès au texte intégral et bibtex

ref_biblio: Phong Q. Nguyen, Damien Stehlé. An LLL Algorithm with Quadratic Complexity. SIAM Journal on Computing, 2009, pp.874-903. ⟨hal-00550981⟩
Accès au bibtex

Conference papers

ref_biblio: Claude-Pierre Jeannerod, Guillaume Revy. Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores. Asilomar Conference on Signals, Systems, and Computers, Nov 2009, United States. ⟨ensl-00391185v2⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Bogdan Pasca. Large multipliers with less DSP blocks. Field Programmable Logic and Applications, Aug 2009, Czech Republic. ⟨ensl-00356421⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Cristian Klein, Bogdan Pasca. Generating high-performance custom floating-point pipelines. Field Programmable Logic and Applications, Aug 2009, Prague, Czech Republic. ⟨ensl-00379154v2⟩
Accès au texte intégral et bibtex

ref_biblio: Pouya Dormiani, Milos Ercegovac, Jean-Michel Muller. Design and Implementation of a Radix-4 Complex Division Unit with Prescaling. 20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'09), Jul 2009, Boston, United States. ⟨ensl-00379147v2⟩
Accès au texte intégral et bibtex

ref_biblio: Hong Diep Nguyen, Nathalie Revol. Relaxed method to certify the solution of a linear system. SWIM (Small Workshop on Interval Methods), Jun 2009, Lausanne, France. ⟨hal-00748631⟩
Accès au bibtex

ref_biblio: Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy, Gilles Villard. A new binary floating-point division algorithm and its software implementation on the ST231 processor. ARITH: Computer Arithmetic, Jun 2009, Portland, OR, United States. pp.95-103, ⟨10.1109/ARITH.2009.19⟩. ⟨hal-00993090⟩
Accès au bibtex

ref_biblio: Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the Computation of Correctly-Rounded Sums. 19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States. ⟨inria-00367584v2⟩
Accès au texte intégral et bibtex

ref_biblio: Damien Stehlé, Ron Steinfeld, Keisuke Tanaka, Keita Xagawa. Efficient Public-Key Encryption Based on Ideal Lattices (Extended Abstract). Asiacrypt 2009, 2009, Japan. pp.617-635. ⟨hal-00550978⟩
Accès au bibtex

ref_biblio: Ivan Morel, Damien Stehlé, Gilles Villard. H-LLL: Using Householder inside LLL. ISSAC 2009, 2009, South Korea. pp.271-278. ⟨hal-00550979⟩
Accès au bibtex

Book sections

ref_biblio: Florent de Dinechin, Milos Ercegovac, Jean-Michel Muller, Nathalie Revol. Digital Arithmetic. Benjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009. ⟨ensl-00542215⟩
Accès au bibtex

Other publications

ref_biblio: Xavier Pujol, Damien Stehlé. Solving the Shortest Lattice Vector Problem in Time 2^2.465n. 2009. ⟨hal-00550976⟩
Accès au bibtex

Theses

ref_biblio: Guillaume Revy. Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation. Modeling and Simulation. Université de Lyon; Ecole normale supérieure de lyon - ENS LYON, 2009. English. ⟨NNT : ⟩. ⟨tel-00469661⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvain Chevillard. Évaluation efficace de fonctions numériques - Outils et exemples. Modélisation et simulation. Université de Lyon; Ecole Normale Supérieure de Lyon - ENS LYON, 2009. Français. ⟨NNT : ⟩. ⟨tel-00460776v7⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Adrien Panhaleux, Peter Kornerup, Jean-Michel Muller. Performing Arithmetic Operations on Round-to-Nearest Representations. 2009. ⟨ensl-00441933⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller. Représentation des nombres et calcul sur ordinateur. 2009. ⟨ensl-00391070⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Mioara Maria Joldes, Bogdan Pasca, Guillaume Revy. Racines carrées multiplicatives sur FPGA. 2009. ⟨ensl-00388064⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy, Gilles Villard. A new binary floating-point division algorithm and its software implementation on the ST231 processor. 2009. ⟨ensl-00335892v2⟩
Accès au texte intégral et bibtex

2008

Journal articles

ref_biblio: Alin Bostan, Claude-Pierre Jeannerod, Éric Schost. Solving structured linear systems with large displacement rank. Theoretical Computer Science, 2008, 407 (1-3), pp.155-181. ⟨10.1016/j.tcs.2008.05.014⟩. ⟨hal-03420733⟩
Accès au texte intégral et bibtex

ref_biblio: Jérémie Detrey, Florent de Dinechin. Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, Architecture des Ordinateurs, 27 (6), pp.673-698. ⟨10.3166/tsi.27.673-698⟩. ⟨inria-00424001⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, Guillaume Melquiond. Emulation of a FMA and correctly-rounded sums: proved algorithms using rounding to odd. IEEE Transactions on Computers, 2008, 57 (4), pp.462-471. ⟨10.1109/TC.2007.70819⟩. ⟨inria-00080427v2⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Nicolas Brisebarre, Sylvain Chevillard, Milos Ercegovac, Jean-Michel Muller, Serge Torres. An Efficient Method for Evaluating Polynomial and Rational Function Approximations. ASAP 08, Jul 2008, Leuven, Belgium. pp.233 -- 238. ⟨hal-00761652⟩
Accès au bibtex

ref_biblio: R. Baker Kearfott, John D. Pryce, Nathalie Revol. Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩. ⟨inria-00545059⟩
Accès au texte intégral et bibtex

ref_biblio: Xavier Pujol, Damien Stehlé. Rigorous and efficient short lattice vectors enumeration. Asiacrypt 2008, 2008, Australia. pp.390-405. ⟨hal-00550983⟩
Accès au bibtex

ref_biblio: Ali Akhavi, Damien Stehlé. Speeding-up Lattice Reduction with Random Projections. LATIN 2008, 2008, Brazil. pp.293-305. ⟨hal-00550984⟩
Accès au bibtex

Book sections

ref_biblio: Vincent Lefèvre, Damien Stehlé, Paul Zimmermann. Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. P. Hertling; C.M. Hoffmann; W. Luther; N. Revol. Reliable Implementation of Real Number Algorithms: Theory and Practice, 5045, Springer, pp.114-126, 2008, Lecture Notes in Computer Science, 978-3-540-85521-7. ⟨10.1007/978-3-540-85521-7_7⟩. ⟨inria-00068731v2⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Guillaume Hanrot, Damien Stehlé. Worst-Case Hermite-Korkine-Zolotarev Reduced Lattice Bases. [Research Report] RR-6422, INRIA. 2008, pp.25. ⟨inria-00211875v2⟩
Accès au texte intégral et bibtex

ref_biblio: Philippe Langlois, Nicolas Louvet. Compensated Horner algorithm in K times the working precision. [Research Report] 2008. ⟨inria-00267077⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Kun Zhang. mesostructured porous materials: pore and surface engineering towards bio-inspired synthesis of heterogeneous copper catalysts. Chemical Sciences. Ecole normale supérieure de lyon - ENS LYON, 2008. English. ⟨NNT : ⟩. ⟨tel-00310153⟩
Accès au texte intégral et bibtex

ref_biblio: Romain Michard. Opérateurs arithmétiques matériels optimisés. Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2008. Français. ⟨NNT : ⟩. ⟨tel-00301285⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. 2008. ⟨ensl-00278430⟩
Accès au texte intégral et bibtex

2007

Journal articles

ref_biblio: Jean-Michel Muller, Florent de Dinechin, Christoph Lauter. Fast and correctly rounded logarithms in double precision. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.85-102. ⟨10.1051/ita:2007003⟩. ⟨ensl-00000007v2⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Jérémie Detrey. A Tool for Unbiased Comparison between Logarithmic and Floating-point Arithmetic. Journal of Signal Processing Systems, 2007, 49 (1), pp.161-175. ⟨10.1007/s11265-007-0048-7⟩. ⟨ensl-00542212⟩
Accès au texte intégral et bibtex

ref_biblio: Guillaume Melquiond, Sylvain Pion. Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩. ⟨inria-00071232v2⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Guillaume Hanrot, Damien Stehlé. Improved Analysis of Kannan's Shortest Lattice Vector Algorithm. Advances in Cryptology - Crypto'07, Aug 2007, Santa Barbara, United States. pp.170-186, ⟨10.1007/978-3-540-74143-5_10⟩. ⟨inria-00145049v2⟩
Accès au texte intégral et bibtex

ref_biblio: Alin Bostan, Claude-Pierre Jeannerod, Éric Schost. Solving Toeplitz- and Vandermonde-like linear systems with large displacement rank. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2007, Waterloo, Canada. pp.33, ⟨10.1145/1277548.1277554⟩. ⟨hal-03420744⟩
Accès au texte intégral et bibtex

ref_biblio: Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy. Faster floating-point square root for integer processors. 2007 International Symposium on Industrial Embedded Systems, Jul 2007, Lisbon, Portugal. pp.324-327, ⟨10.1109/SIES.2007.4297353⟩. ⟨hal-03424131⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Sylvain Chevillard. Efficient polynomial $L^{\infty}$-approximations. 18th IEEE Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.169-176, ⟨10.1109/ARITH.2007.17⟩. ⟨inria-00119513v2⟩
Accès au texte intégral et bibtex

ref_biblio: Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann. Worst Cases of a Periodic Function for Large Arguments. 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩. ⟨inria-00126474v2⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Guillaume Hanrot. Floating-Point $L^2$-Approximations. 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.177-186, ⟨10.1109/ARITH.2007.38⟩. ⟨inria-00119254v2⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Nicolas Veyrat-Charvillon. Opérateurs arithmétiques matériels pour des applications spécifiques. Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français. ⟨NNT : ⟩. ⟨tel-00438603⟩
Accès au texte intégral et bibtex

2006

Journal articles

ref_biblio: Florent de Dinechin, Jérémie Detrey. Parameterized floating-point logarithm and exponential functions for FPGAs. Microprocessors and Microsystems: Embedded Hardware Design , 2006, 31 (8), pp.537-545. ⟨10.1016/j.micpro.2006.02.008⟩. ⟨ensl-00542213⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Nicolas Brisebarre, Arnaud Tisserand. Computing machine-efficient polynomial approximations. ACM Transactions on Mathematical Software, 2006, 32 (2), pp.236-256. ⟨10.1145/1141885.1141890⟩. ⟨ensl-00086826⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Peter Kornerup. Leading Guard Digits in Finite-Precision Redundant Representations. IEEE Transactions on Computers, 2006, 55 (5), pp.541-548. ⟨10.1109/TC.2006.79⟩. ⟨ensl-00000001⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Peter Kornerup. Choosing Starting Values for certain Newton-Raphson Iterations. Theoretical Computer Science, 2006, 351 (1), pp.101-110. ⟨10.1016/j.tcs.2005.09.056⟩. ⟨ensl-00000009⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Jean-Michel Muller. Generating function approximations at compile time. 40th Asilomar Conference on signals, systems and computers, USA, Oct 2006, Pacific Grove, California, France. pp.328-331. ⟨ensl-00397749⟩
Accès au texte intégral et bibtex

Books

ref_biblio: Jean-Michel Muller. Elementary Functions, Algorithms and Implementation, 2nd Edition. Birkhäuser, pp.266, 2006. ⟨ensl-00000008⟩
Accès au bibtex

Reports

ref_biblio: Catherine Daramy-Loirat, David Defour, Florent de Dinechin, Matthieu Gallet, Nicolas Gast, et al.. CR-LIBM A library of correctly rounded elementary functions in double-precision. [Research Report] LIP,. 2006. ⟨ensl-01529804⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvain Pion, Guillaume Melquiond, Hervé Brönnimann. A proposal for the C++ standard : Bool_set, multi-valued logic. [Research Report] RR-5967, INRIA. 2006, pp.22. ⟨inria-00089230v2⟩
Accès au texte intégral et bibtex

ref_biblio: Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion. A Proposal to add Interval Arithmetic to the C++ Standard Library. [Research Report] RR-5646, INRIA. 2006. ⟨inria-00071231⟩
Accès au texte intégral et bibtex

ref_biblio: Francisco Cháves, Marc Daumas. A library of Taylor models for PVS automatic proof checker. [Research Report] RR-5831, INRIA. 2006, pp.18. ⟨inria-00070194⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Guillaume Melquiond. De l'arithmétique d'intervalles à la certification de programmes. Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2006. Français. ⟨NNT : 2006ENSL0388⟩. ⟨tel-01094485⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Clément Pernet, Aude Rondepierre, Gilles Villard. Computing the Kalman form. 2006. ⟨hal-00009558v4⟩
Accès au texte intégral et bibtex

2005

Journal articles

ref_biblio: Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliable Computing, 2005, 11 (4), pp.275-290. ⟨10.1007/s11155-005-6891-y⟩. ⟨inria-00544998⟩
Accès au bibtex

ref_biblio: Florent de Dinechin, Arnaud Tisserand. Multipartite table methods. IEEE Transactions on Computers, 2005, 54 (3), pp.319-330. ⟨ensl-00542210⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Nicolas Brisebarre, Peter Kornerup, David Defour, Nathalie Revol. A new range-reduction algorithm. IEEE Transactions on Computers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩. ⟨ensl-00086904⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Stuart Oberman, Jose-Alejandro Pineiro, Javier Bruguera. High-Speed Function Approximation using a Minimax Quadratic Interpolator. IEEE Transactions on Computers, 2005, 54 (3), pp.304-318. ⟨10.1109/TC.2005.52⟩. ⟨ensl-00000002⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Sylvie Boldo, Guillaume Melquiond. When double rounding is odd. 17th IMACS World Congress, Jul 2005, Paris, France. pp.11. ⟨inria-00070603v2⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Nicolas Brisebarre. Correctly rounded multiplication by arbitrary precision constants. ARITH'17, 17th IEEE Symposium on Computer Arithmetic, EEE Computer Society Technical Committee on VLSI, Jun 2005, Cape Cod, United States. ⟨10.1109/ARITH.2005.13⟩. ⟨ensl-00000010⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, Jean-Michel Muller. Some Functions Computable with a Fused-mac. 17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, Massachusetts, USA, pp.52-58. ⟨inria-00000895⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Milos Ercegovac, Jean-Michel Muller, Arnaud Tisserand. Simple Seed Architectures for Reciprocal and Square Root Reciprocal. RR-5720, INRIA. 2005, pp.25. ⟨inria-00070298⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Christoph Lauter, Jean-Michel Muller. Fast and correctly rounded logarithms in double-precision. [Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15. ⟨inria-00070331⟩
Accès au texte intégral et bibtex

ref_biblio: Christoph Quirin Lauter. Basic building blocks for a triple-double intermediate format. [Research Report] RR-5702, LIP RR-2005-38, INRIA, LIP. 2005, pp.67. ⟨inria-00070314⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Christoph Lauter, Guillaume Melquiond. Assisted verification of elementary functions. RR-5683, INRIA. 2005, pp.17. ⟨inria-00070330⟩
Accès au texte intégral et bibtex

ref_biblio: Romain Michard, Nicolas Veyrat-Charvillon, Arnaud Tisserand. Étude statistique de l'activité de la fonction de sélection dans l'algorithme de E-méthode. RR-5574, INRIA. 2005, pp.10. ⟨inria-00070432⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Luc Beuchat, Jean-Michel Muller. Multiplication Algorithms for Radix-$2$ RN-Codings and Two's Complement Numbers. [Research Report] RR-5511, LIP RR-2005-05, INRIA, LIP. 2005, pp.13. ⟨inria-00070495⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller. On the definition of ulp(x). [Research Report] RR-5504, LIP RR-2005-09, INRIA, LIP. 2005, pp.16. ⟨inria-00070503⟩
Accès au texte intégral et bibtex

ref_biblio: Romain Michard, Arnaud Tisserand, Nicolas Veyrat-Charvillon. Small FPGA polynomial approximations with $3$-bit coefficients and low-precision estimations of the powers of x. [Research Report] RR-5503, LIP RR-2005-8, INRIA, LIP. 2005, pp.13. ⟨inria-00070504⟩
Accès au texte intégral et bibtex

2004

Journal articles

ref_biblio: Jean-Michel Muller. Les leçons d’un algorithme délinquant. Interstices, 2004. ⟨hal-01350243⟩
Accès au bibtex

ref_biblio: Claude-Pierre Jeannerod. On matrix perturbations with minimal leading Jordan structure. Journal of Computational and Applied Mathematics, 2004, 162 (1), ⟨10.1016/j.cam.2003.08.021⟩. ⟨hal-03406926⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Nicolas Brisebarre, Saurabh Raina. Accelerating Correctly Rounded Floating-PointDivision when the Divisor is Known in Advance. IEEE Transactions on Computers, 2004, 53 (8), pp.1069- 1072. ⟨10.1109/TC.2004.37⟩. ⟨ensl-00087465⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvie Boldo, Marc Daumas. A simple test qualifying the accuracy of Horner's rule for polynomials. Numerical Algorithms, 2004, 37 (1-4), pp.45-60. ⟨10.1023/B:NUMA.0000049487.98618.61⟩. ⟨inria-00071879⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Jean-Louis Nicolas, Xavier-François Roblot. Nombre de solutions dans une binade de l'équation A^2+B^2=C^2+C. L'Enseignement Mathématique , 2004, 50 (1-2), pp.147-182. ⟨hal-00863116⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Jean-Michel Muller, Milos Ercegovac. Complex Square Root with Operand Prescaling. Application-Specific Systems, Architectures and Processors, 2004., Joseph Cavallaro and Lothar Thiele (general chairs), Sep 2004, Galveston, Texas, United States. pp.52-62, ⟨10.1109/ASAP.2004.1342458⟩. ⟨ensl-00086852⟩
Accès au texte intégral et bibtex

ref_biblio: Marc Daumas, Guillaume Melquiond. Generating formally certified bounds on values and round-off errors. Real Numbers and Computers, 2004, Dagstuhl, Germany. pp.55-70. ⟨inria-00070739⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Jean-Luc Beuchat. A Family of Modulo (2[power]n + 1) Multipliers. [Research Report] RR-5316, LIP RR-2004-39, INRIA, LIP. 2004, pp.16. ⟨inria-00070684⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Arnaud Tisserand, Benoît de Dinechin, Christophe Monat. Division by Constant for the ST100 DSP Microprocessor. [Research Report] RR-5340, LIP RR-2004-45, INRIA, LIP. 2004, pp.14. ⟨inria-00070661⟩
Accès au texte intégral et bibtex

ref_biblio: Romain Michard, Arnaud Tisserand, Nicolas Veyrat-Charvillon. Evaluation de polynômes et de fractions rationnelles sur FPGA avec des opérateurs à additions et décalages en grande base. [Rapport de recherche] RR-5437, LIP RR-2004-62, INRIA, LIP. 2004, pp.15. ⟨inria-00070570⟩
Accès au texte intégral et bibtex

ref_biblio: Jérémie Detrey, Florent de Dinechin. Second Order Function Approximation with a Single Small Multiplication. [Research Report] RR-5140, LIP RR-2004-13, INRIA, LIP. 2004. ⟨inria-00071443⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, David Defour, Christoph Lauter. Fast correct rounding of elementary functions in double precision using double-extended arithmetic. [Research Report] RR-5137, LIP RR-2004-10, INRIA, LIP. 2004. ⟨inria-00071446⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Luc Beuchat, Nicolas Sendrier, Arnaud Tisserand, Gilles Villard. FPGA Implementation of a Recently Published Signature Scheme. [Research Report] RR-5158, LIP RR-2004-14, INRIA, LIP. 2004. ⟨inria-00077045⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Jean-Luc Beuchat. RN-codes : algorithmes d'addition, de multiplication et d'élévation au carré. [Rapport de recherche] RR-5438, LIP RR-2004-60, INRIA, LIP. 2004, pp.17. ⟨inria-00070569⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Nicolas Gast. Towards the post-ultimate libm. [Research Report] RR-5367, LIP RR 2004-47, INRIA, LIP. 2004, pp.18. ⟨inria-00070636⟩
Accès au texte intégral et bibtex

ref_biblio: David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, et al.. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. [Research Report] RR-5406, INRIA. 2004. ⟨inria-00071249⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Jean-Michel Muller. Correctly rounded multiplication by arbitrary precision constants. [Research Report] RR-5354, LIP RR-2004-44, INRIA, LIP. 2004, pp.14. ⟨inria-00070649⟩
Accès au texte intégral et bibtex

ref_biblio: C. Bertin, Nicolas Brisebarre, Benoît de Dinechin, Claude-Pierre Jeannerod, C. Monat, et al.. A floating-point library for integer processors. [Research Report] RR-5268, INRIA. 2004, pp.17. ⟨inria-00070730⟩
Accès au texte intégral et bibtex

ref_biblio: Milos Ercegovac, Jean-Michel Muller. Complex Square Root with Operand Prescaling. [Research Report] RR-5319, LIP RR-2004-42, INRIA, LIP. 2004, pp.18. ⟨inria-00070681⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Pascal Giorgi. Arithmétique et algorithmique en algèbre linéaire exacte pour la bibliothèque LinBox. Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 2004. Français. ⟨NNT : ⟩. ⟨tel-00008951⟩
Accès au texte intégral et bibtex

2003

Journal articles

ref_biblio: Marc Daumas, Philippe Langlois. Additive Symmetric: the Non-Negative Case. Theoretical Computer Science, 2003, 291 (2), pp.143-157. ⟨10.1016/S0304-3975(02)00223-2⟩. ⟨inria-00072516⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre, Jean-Michel Muller. On-the-Fly Range Reduction. Journal of Signal Processing Systems, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. ⟨10.1023/A:1021137717282⟩. ⟨inria-00099524⟩
Accès au bibtex

ref_biblio: Marc Daumas, David W. Matula. Further Reducing the Redundancy of a Notation over a Minimally Redundant Digit Set. Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology, 2003, 33 (1-2), pp.7-18. ⟨10.1023/A:1021133616373⟩. ⟨inria-00072767⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Jean-Michel Muller, Milos Ercegovac. Complex division with prescaling of operands. Application-specific Systems, Architectures and Processors, 2003, Jun 2003, Delft, Netherlands. ⟨ensl-00086896⟩
Accès au texte intégral et bibtex

ref_biblio: Markus Grimmer, Knut Petras, Nathalie Revol. Multiple Precision Interval Packages: Comparing Different Approaches. Dagstuhl Seminar: Numerical Software with Result Verification, Alt, René and Frommer, Andreas and Kearfott, R. Baker and Luther, Wolfram, Jan 2003, Dagstuhl, Germany. pp.64-90, ⟨10.1007/978-3-540-24738-8_4⟩. ⟨inria-00545070⟩
Accès au texte intégral et bibtex

ref_biblio: Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion. The Boost Interval Arithmetic Library. Real Numbers and Computers, 2003, Lyon, France. pp.65-80. ⟨inria-00348711⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Christoph Quirin Lauter. A correctly rounded implementationof the exponential function on the Intel Itanium architecture. [Research Report] RR-5024, LIP RR 2003-54, INRIA, LIP. 2003. ⟨inria-00071560⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller, Jean-Louis Nicolas, Xavier-François Roblot. Number of solutions to (A^2+B^2=C^2+C) in a binade. [Research Report] RR-4945, LIP RR-2003-45, INRIA, LIPP. 2003. ⟨inria-00071634⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Luc Beuchat, Jean-Michel Muller. Opérateurs itératifs de multiplication-addition modulaire pour FPGA. [Rapport de recherche] RR-4937, LIP RR-2003-40, INRIA, LIP. 2003. ⟨inria-00071642⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Luc Beuchat. Multiplication-addition modulaire: algorithmes itératifs et implantations sur FPGA. RR-4840, INRIA. 2003. ⟨inria-00071745⟩
Accès au texte intégral et bibtex

ref_biblio: M. Grimmer, K. Petras, Nathalie Revol. Multiple Precision Interval Packages:Comparing Different Approaches. RR-4841, INRIA. 2003. ⟨inria-00071744⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Brisebarre, Jean-Michel Muller. Finding the «truncated» polynomial that is closest to a function. [Research Report] RR-4787, LIP RR-2003-21, INRIA, LIP. 2003. ⟨inria-00071799⟩
Accès au texte intégral et bibtex

ref_biblio: Milos Ercegovac, Jean-Michel Muller. Complex Division with Prescaling of Operands. [Research Report] RR-4731, LIP RR 2003-10, INRIA, LIP. 2003. ⟨inria-00071856⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol, K. Makino, M. Berz. Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. [Research Report] RR-4737, LIP RR-2003-11, INRIA, LIP. 2003. ⟨inria-00071850⟩
Accès au texte intégral et bibtex

ref_biblio: Peter Kornerup, Jean-Michel Muller. Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals. [Research Report] RR-4687, LIP RR-2002-48, INRIA,LIP. 2003. ⟨inria-00071899⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: David Defour. Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision. Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2003. Français. ⟨NNT : ⟩. ⟨tel-00006022⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

ref_biblio: Claude-Pierre Jeannerod. A (hopefully) friendly introduction to the complexity of polynomial matrix computations. 2003. ⟨hal-00793484⟩
Accès au texte intégral et bibtex

2002

Conference papers

ref_biblio: Claude-Pierre Jeannerod. A reduced form for perturbed matrix polynomials. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2002, Lille, France. pp.131-137, ⟨10.1145/780506.780523⟩. ⟨hal-03420227⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the mpfi library. SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161. ⟨inria-00100985⟩
Accès au bibtex

ref_biblio: Sylvie Boldo, Marc Daumas. Properties of the subtraction valid for any floating point system. 7th International Workshop on Formal Methods for Industrial Critical Systems, 2002, Málaga, Spain. pp.137-149. ⟨inria-00072115⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Jean-Michel Muller. «Partially rounded» Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods. [Research Report] RR-4593, LIP RR-2002-39, INRIA, LIP. 2002. ⟨inria-00071992⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Luc Beuchat. Modular Multiplication for FPGA Implementation of the IDEA Block Cipher. RR-4558, INRIA. 2002. ⟨inria-00072030⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller. Accelerating Floating-Point Division When the Divisor is Known in Advance. [Research Report] RR-4532, LIP RR-2002-30, INRIA, LIP. 2002. ⟨inria-00072056⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Luc Beuchat. High Throughput Implementations of the RC6 Block Cipher Using Virtex-E and Virtex-II Devices. RR-4495, INRIA. 2002. ⟨inria-00072093⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Luc Beuchat, Arnaud Tisserand. Small Multiplier-based Multiplication and Division Operators for Virtex-II Devices. [Research Report] RR-4494, INRIA. 2002. ⟨inria-00072094⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Boullis, Arnaud Tisserand. Génération automatique d'architectures de calcul pour des opérations linéaires : application à l'IDCT sur FPGA. [Rapport de recherche] RR-4486, INRIA. 2002. ⟨inria-00072102⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the MPFI library. [Research Report] RR-4498, LIP RR-2002-27, INRIA, LIP. 2002. ⟨inria-00072090⟩
Accès au texte intégral et bibtex

ref_biblio: David Defour, Florent de Dinechin, Jean-Michel Muller. A new scheme for table-based evaluation of functions. [Research Report] RR-4637, LIP RR-2002-45, INRIA, LIP. 2002. ⟨inria-00071948⟩
Accès au texte intégral et bibtex

ref_biblio: Marc Daumas, Sylvie Boldo. Necessary and sufficient conditions for exact floating point operations. [Research Report] RR-4644, LIP RR-2002-44, INRIA, LIP. 2002. ⟨inria-00071941⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Luc Beuchat, Arnaud Tisserand. Évaluation polynomiale en-ligne de fonctions élémentaires sur FPGA. [Rapport de recherche] RR-4557, INRIA. 2002. ⟨inria-00072031⟩
Accès au texte intégral et bibtex

2001

Journal articles

ref_biblio: Nathalie Revol. Arithmétique par intervalles. Réseaux et systèmes répartis, calculateurs parallèles, 2001, L'arithmétique des ordinateurs, 13 (4-5), pp.387-426. ⟨inria-00545026⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Nathalie Revol, Yves Denneulin, Jean-François Méhaut, Benoît Planquelle. A methodology of parallelization for continuous verified global optimization. PPAM 2001: Parallel Processing and Applied Mathematics, Roman Wyrzykowski, Sep 2001, Naleczow, Poland. pp.803-810, ⟨10.1007/3-540-48086-2_90⟩. ⟨inria-00545078⟩
Accès au bibtex

ref_biblio: Vincent Lefèvre, Jean-Michel Muller. Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. 15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118. ⟨inria-00100547⟩
Accès au bibtex

Reports

ref_biblio: Philippe Langlois. An Automatic Correcting Method. RR-4204, INRIA. 2001. ⟨inria-00072418⟩
Accès au texte intégral et bibtex

ref_biblio: Yahya Ould Mohamed El Hadj, Nathalie Revol. Parallelization of Automatic Speech Recognition. [Research Report] RR-4110, LIP RR-2001-02, INRIA, LIP. 2001. ⟨inria-00072521⟩
Accès au texte intégral et bibtex

ref_biblio: Philippe Langlois, Nathalie Revol. Validating Polynomial Numerical Computations with Complementary Automatic Methods. [Research Report] RR-4205, INRIA. 2001. ⟨inria-00072417⟩
Accès au texte intégral et bibtex

ref_biblio: David Defour, Florent de Dinechin, Jean-Michel Muller. Correctly Rounded Exponential Function in Double Precision Arithmetic. [Research Report] RR-4231, INRIA. 2001. ⟨inria-00072387⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolas Boullis, Arnaud Tisserand. On digit-recurrence division algorithms for self-timed circuits. [Research Report] RR-4221, INRIA. 2001. ⟨inria-00072398⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. Interval Newton Iteration in Multiple Precision for the Univariate Case. [Research Report] RR-4334, INRIA. 2001. ⟨inria-00072253⟩
Accès au texte intégral et bibtex

ref_biblio: David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol. A New Range Reduction Algorithm. [Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001. ⟨inria-00072320⟩
Accès au texte intégral et bibtex

ref_biblio: Marc Daumas, Claire Moreau-Finot, Laurent Théry. Computer Validated Proofs of a Toolset for Adaptable Arithmetic. [Research Report] RR-4095, LIP RR2001-01, INRIA, LIP. 2001. ⟨inria-00072536⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Revol. Introduction à l'arithmétique par intervalles. [Rapport de recherche] RR-4297, INRIA. 2001. ⟨inria-00072290⟩
Accès au texte intégral et bibtex

ref_biblio: Jérémie Detrey, Florent de Dinechin. Multipartite Tables in JBits for the Evaluation of Functions on FPGA. [Research Report] RR-4305, LIP RR-2001-44, INRIA, LIP. 2001. ⟨inria-00072282⟩
Accès au texte intégral et bibtex

2000

Journal articles

ref_biblio: Nathalie Revol, Jean-Claude Yakoubsohn. Accelerated Shift-and-Add algorithms. Reliable Computing, 2000, 6 (2), pp.193-205. ⟨10.1023/A:1009921407000⟩. ⟨inria-00545004⟩
Accès au bibtex

Conference papers

ref_biblio: Jean-Michel Muller. Some algebraic properties of floating-point arithmetic. 4th Real Numbers and Computers Conference, Apr 2000, Dagstuhl, Germany. ⟨hal-04454523⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Philippe Langlois. A Revised Presentation of the CENA Method. RR-4025, INRIA. 2000. ⟨inria-00072615⟩
Accès au texte intégral et bibtex

ref_biblio: Philippe Langlois. From Rounding Error Estimation to Automatic Correction with Automatic Differentiation. RR-3967, INRIA. 2000. ⟨inria-00072681⟩
Accès au texte intégral et bibtex

ref_biblio: Philippe Langlois. Stochastic Localization of Instability and Deterministic Enhancement of Accuracy for Iterative Algorithms. RR-3966, INRIA. 2000. ⟨inria-00072682⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre, Jean-Michel Muller. On-The-Fly Range Reduction. [Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000. ⟨inria-00072595⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Arnaud Tisserand. Some Improvements on Multipartite Table Methods. [Research Report] RR-4059, INRIA. 2000. ⟨inria-00072577⟩
Accès au texte intégral et bibtex

ref_biblio: Vincent Lefèvre, Jean-Michel Muller. Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. [Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000. ⟨inria-00072594⟩
Accès au texte intégral et bibtex

ref_biblio: Tomas Lang, Jean-Michel Muller. Bound on Run of Zeros and Ones for Images of Floating-Point Numbers by Algebraic Functions. [Research Report] RR-4045, LIP RR-2000-33, INRIA, LIP. 2000. ⟨inria-00072593⟩
Accès au texte intégral et bibtex

1999

Conference papers

ref_biblio: Antoine Fraboulet, Guillaume Huard, Anne Mignotte. Loop Alignment for Memory Accesses Optimization. International Symposium on System synthesis (ISSS), Oct 1999, San Jose, United States. pp.71-77. ⟨hal-00399649⟩
Accès au bibtex

Reports

ref_biblio: Philippe Langlois. Automatic Linear Correction of Rounding Errors. RR-3828, INRIA. 1999. ⟨inria-00072830⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin. The Price of Routing in FPGAs. RR-3772, INRIA. 1999. ⟨inria-00072889⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Michel Muller. Vers des primitives propres en arithmétique des ordinateurs. RR-3755, INRIA. 1999. ⟨inria-00072907⟩
Accès au texte intégral et bibtex

ref_biblio: Florent de Dinechin, Wayne Luk, Steve Mckeever. Towards Portable Hierarchical Placement for FPGAs. [Research Report] RR-3776, LIP RR-1999-50, INRIA, LIP. 1999. ⟨inria-00072885⟩
Accès au texte intégral et bibtex

ref_biblio: Milos Ercegovac, Laurent Imbert, David Matula, Jean-Michel Muller, Guoheng Wei. Improving Goldschmidt Division, Square Root and Square Root Reciprocal. [Research Report] RR-3753, LIP RR-1999-41, INRIA, LIP. 1999. ⟨inria-00072909⟩
Accès au texte intégral et bibtex

ref_biblio: Marc Daumas, Claire Finot. Algorithm, Proof and Performances of a new Division of Floating Point Expansions. [Research Report] RR-3771, INRIA. 1999. ⟨inria-00072890⟩
Accès au texte intégral et bibtex

ref_biblio: Laurent Imbert, Jean-Michel Muller, Fabien Rico. Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers. [Research Report] RR-3754, LIP RR-1999-43, INRIA, LIP. 1999. ⟨inria-00072908⟩
Accès au texte intégral et bibtex

1998

Journal articles

ref_biblio: Pierre-Yves Calland, Anne Mignotte, Olivier Peyran, Yves Robert, Frédéric Vivien. Retiming DAGs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998, 17 (12), pp.1319-1325. ⟨hal-00856846⟩
Accès au bibtex

1996

Journal articles

ref_biblio: Nathalie Revol, Jean-Louis Roch. Parallel evaluation of arithmetic circuits. Theoretical Computer Science, 1996, A, 162 (1), pp.133-150. ⟨10.1016/0304-3975(95)00252-9⟩. ⟨inria-00545017⟩
Accès au bibtex

1995

Journal articles

ref_biblio: Jean-Michel Muller. AIgorithmes de division pour microprocesseurs : illustration à l'aide du « Bug » du Pentium. Technique et Science Informatiques, 1995, 14 (8), pp.1031-1049. ⟨hal-04143937⟩
Accès au texte intégral et bibtex