Publications HAL du labo/EPI arenaire ; aric

2021

Journal articles

ref_biblio
Sylvie Boldo, Christoph 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, Institute of Electrical and Electronics Engineers, 2021, 70 (7), pp.1046 - 1058. ⟨10.1109/TC.2020.3002702⟩. ⟨hal-02137968v4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02137968/file/Emulation-RN0-revised.pdf BibTex
ref_biblio
Benoît Libert, Damien Stehlé, Radu Titiu. Adaptively Secure Distributed PRFs from LWE. Journal of Cryptology, Springer Verlag, 2021, 34 (3), ⟨10.1007/s00145-021-09393-0⟩. ⟨hal-03381388⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03381388/file/DPRF-journal.pdf 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, Springer Verlag, 2021, 89 (5), pp.895-923. ⟨10.1007/s10623-021-00849-9⟩. ⟨hal-03380672⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03380672/file/pub-DCC21.pdf 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, London Mathematical Society, 2021, 53 (1), pp.53--62. ⟨10.1112/blms.12396⟩. ⟨hal-02154679v4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02154679/file/BRS_revise.pdf BibTex
ref_biblio
Celine Chevalier, Fabien Laguillaumie, Damien Vergnaud. Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions. Algorithmica, Springer Verlag, 2021, 83 (1), pp.72-115. ⟨10.1007/s00453-020-00750-2⟩. ⟨hal-02899803⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02899803/file/manuscript.pdf 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, Elsevier, 2021, 103, pp.234--279. ⟨10.1016/j.jsc.2020.01.001⟩. ⟨hal-02185586⟩
Accès au bibtex
https://arxiv.org/pdf/1905.04187 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, Association for Computing Machinery, In press. ⟨hal-02972245v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02972245/file/muller-rideau-hal.pdf 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. ⟨hal-03348022⟩
Accès au bibtex
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, Oct 2021, Zagreb (partiellement virtuel), Croatia. pp.31. ⟨hal-03380687⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03380687/file/CTSig.pdf 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'21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465542⟩. ⟨hal-03189115⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03189115/file/charpoly-sigmalu.pdf BibTex
ref_biblio
Jean-Michel Muller. $a \cdot (x \cdot x)$ or $(a \cdot x) \cdot x$?. 28th IEEE Symposium on Computer Arithmetic (ARITH 2021), Jun 2021, Torino (virtual meeting due to the COVID Pandemic), Italy. ⟨hal-03129747⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03129747/file/ax2.pdf 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. Public Key Cryptography (PKC 2021), May 2021, Edinburgh (devenu virtuel pour cause de COVID), United Kingdom. ⟨hal-03381386⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03381386/file/TPKE-DCR.pdf 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
https://hal.archives-ouvertes.fr/hal-03372244/file/non-app%20%281%29.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard. Faster Modular Composition. 2021. ⟨hal-03380258⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03380258/file/Faster%20Modular%20Composition.pdf BibTex
ref_biblio
Nicolas Brisebarre, Guillaume Hanrot. Integer points close to a transcendental curve and correctly-rounded evaluation of a function. 2021. ⟨hal-03240179v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03240179/file/tmd-hal-V2.pdf BibTex

2020

Journal articles

ref_biblio
Jean-Michel Muller. Elementary Functions and Approximate Computing. Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2020, 108 (12), pp.1558-2256. ⟨10.1109/JPROC.2020.2991885⟩. ⟨hal-02517784v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02517784/file/FINAL_VERSION.pdf BibTex
ref_biblio
Joel Dahne, Bruno Salvy. Computation of Tight Enclosures for Laplacian Eigenvalues. SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2020, 42 (5), pp.A3210-A3232. ⟨10.1137/20M1326520⟩. ⟨hal-03015691⟩
Accès au bibtex
https://arxiv.org/pdf/2003.08095 BibTex
ref_biblio
Benoît Libert, Moti Yung. Adaptively Secure Non-interactive CCA-Secure Threshold Cryptosystems: Generic Framework and Constructions. Journal of Cryptology, Springer Verlag, 2020, 33, pp.1405-1441. ⟨10.1007/s00145-020-09350-3⟩. ⟨hal-03116642⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03116642/file/threshold-framework-journal-version-revision-2.pdf 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, Springer Verlag, 2020, 88 (5), pp.931-950. ⟨10.1007/s10623-020-00719-w⟩. ⟨hal-03011623⟩
Accès au bibtex
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, Association for Computing Machinery, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩. ⟨hal-01949458v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01949458/file/Bounds-FFT-HaLV2-oct19.pdf BibTex
ref_biblio
Nir Bitansky, Ryo Nishimaki, Alain Passelègue, Daniel Wichs. From Cryptomania to Obfustopia Through Secret-Key Functional Encryption. Journal of Cryptology, Springer Verlag, 2020, 33 (2), pp.357-405. ⟨10.1007/s00145-019-09337-9⟩. ⟨hal-03025568⟩
Accès au bibtex
BibTex
ref_biblio
Claude-Pierre Jeannerod. The relative accuracy of $(x+y)*(x-y)$. Journal of Computational and Applied Mathematics, Elsevier, 2020, pp.1-17. ⟨10.1016/j.cam.2019.112613⟩. ⟨hal-02100500v3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02100500/file/relative_accuracy_xy_with_appendix%20%281%29.pdf BibTex
ref_biblio
Claude-Pierre Jeannerod, Vincent Neiger, Gilles Villard. Fast computation of approximant bases in canonical form. Journal of Symbolic Computation, Elsevier, 2020, 98, pp.192-224. ⟨10.1016/j.jsc.2019.07.011⟩. ⟨hal-01683632v2⟩
Accès au texte intégral et bibtex
https://hal-unilim.archives-ouvertes.fr/hal-01683632/file/popov_approx_basis.pdf 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
https://hal.inria.fr/hal-03120656/file/2018-576.pdf 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
https://hal.inria.fr/hal-02993617/file/kdm-NIZK.pdf 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
https://hal.inria.fr/hal-02993620/file/e-cash-AC20.pdf BibTex
ref_biblio
James Stine, Miloš 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
https://hal.archives-ouvertes.fr/hal-03047208/file/asilo2020v2.pdf 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
https://hal.archives-ouvertes.fr/hal-03039850/file/camera_ready.pdf 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
https://hal.inria.fr/hal-03118271/file/2020-1189.pdf 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
https://hal.archives-ouvertes.fr/hal-02470782/file/SplitDirectedRoundings.pdf 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
https://hal.archives-ouvertes.fr/hal-02470766/file/quaternions.pdf 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
https://hal.archives-ouvertes.fr/hal-02944825/file/PKC20_mpECDSA_extended.pdf 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
https://hal.inria.fr/hal-02993611/file/IPFE-sim.pdf 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
BibTex
ref_biblio
Benoît Libert, Alain Passelègue, Hoeteck Wee, David 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
https://hal.inria.fr/hal-02993608/file/DV-NIZK.pdf 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
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
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
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
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
https://hal.inria.fr/hal-01588713/file/NRevol.pdf 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
https://hal.inria.fr/hal-02555738/file/reportInria.pdf 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
https://tel.archives-ouvertes.fr/tel-03085029/file/ROSCA_GM_2020LYSEN063_These_vc.pdf 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
https://tel.archives-ouvertes.fr/tel-03021689/file/TUCKER_Ida_2020LYSEN054_These.pdf 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
https://tel.archives-ouvertes.fr/tel-03116774/file/TITIU_Radu_2020LYSEN050_These.pdf BibTex

2019

Journal articles

ref_biblio
Claude-Pierre Jeannerod, Théo Mary, Clément Pernet, Daniel Roche. Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic. SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2019, 40 (4), pp.1478-1496. ⟨10.1137/19M1255628⟩. ⟨hal-02008666v4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02008666/file/FastBLR.pdf BibTex
ref_biblio
Nicolas Fabiano, Jean-Michel Muller, Joris Picot. Algorithms for triple-word arithmetic. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2019, 68 (11), pp.1573-1583. ⟨10.1109/TC.2019.2918451⟩. ⟨hal-01869009v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01869009/file/TW-final.pdf BibTex
ref_biblio
Bruno Salvy. Linear Differential Equations as a Data-Structure. Foundations of Computational Mathematics, Springer Verlag, 2019, 19 (5), pp.1071-1112. ⟨10.1007/s10208-018-09411-x⟩. ⟨hal-01940078⟩
Accès au bibtex
https://arxiv.org/pdf/1811.08616 BibTex
ref_biblio
Jung Hee Cheon, Kyoohyung Han, Changmin Lee, Hansol Ryu, Damien Stehlé. Cryptanalysis of the CLT13 Multilinear Map. Journal of Cryptology, Springer Verlag, 2019, 32 (2), pp.547-565. ⟨10.1007/s00145-018-9307-y⟩. ⟨hal-02397396⟩
Accès au bibtex
BibTex
ref_biblio
Anastasia Volkova, Thibault Hilaire, Christoph Lauter. Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, In press, pp.1-14. ⟨10.1109/TC.2019.2950658⟩. ⟨hal-01918650v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01918650/file/wcpg.pdf BibTex
ref_biblio
Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejković, Bruno Salvy. Absolute root separation. Experimental Mathematics, Taylor & Francis, In press, pp.8. ⟨10.1080/10586458.2019.1699480⟩. ⟨hal-02185594⟩
Accès au bibtex
https://arxiv.org/pdf/1907.01232 BibTex

Conference papers

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
https://hal.inria.fr/hal-02375594/file/main.pdf 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
https://hal.inria.fr/hal-02401556/file/main-circuitdepth.pdf BibTex
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
https://hal.inria.fr/hal-02352139/file/MCFE.pdf 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
https://hal.inria.fr/hal-02162346/file/NRevol-PPAM2019.pdf 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
https://hal.laas.fr/hal-02088529/file/chebapprox.pdf 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
https://hal.archives-ouvertes.fr/hal-02281931/file/CRYPTO19_2pECDSA_extended.pdf 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
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
https://hal.archives-ouvertes.fr/hal-02006645/file/HolonomicMomentProblem.pdf 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
https://hal.archives-ouvertes.fr/hal-02002315/file/arith26.pdf 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
https://hal.archives-ouvertes.fr/hal-02001080/file/MultConstComplex.pdf 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
https://hal.archives-ouvertes.fr/hal-02006606/file/ExchangeEvalApprox.pdf 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
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
https://hal.inria.fr/hal-02124968/file/LAF-PKC.pdf 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
https://hal.inria.fr/hal-02399179/file/mainZKbits.pdf BibTex
ref_biblio
Benoît Libert, Khoa Nguyen, Benjamin 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
https://hal.inria.fr/hal-02151645/file/zk-eedb.pdf 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
https://hal.inria.fr/hal-02399172/file/main-ring-signature.pdf 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
https://hal.inria.fr/hal-01959581/file/a6-de_Dinechin.pdf 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
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
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
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
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
https://hal.archives-ouvertes.fr/hal-02130729/file/givaro-4.1.1.tar.gz 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
https://hal.archives-ouvertes.fr/hal-02130801/file/linbox-1.6.3.tar.gz 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
https://tel.archives-ouvertes.fr/tel-02337930/file/PELLET_MARY_Alice_2019LYSEN048_These.pdf BibTex
ref_biblio
Chen Qian. Lossy trapdoor primitives, zero-knowledge proofs and applications. Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S088⟩. ⟨tel-02888512v2⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02888512/file/QIAN_Chen.pdf 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
https://tel.archives-ouvertes.fr/tel-02337901/file/BREHARD_Florent_2019LYSEN032_These.pdf 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
BibTex

2018

Journal articles

ref_biblio
Michel Abdalla, Fabrice Benhamouda, Alain Passelègue, Kenneth Paterson. Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier. Journal of Cryptology, Springer Verlag, 2018, 31 (4), pp.917-964. ⟨10.1007/s00145-017-9274-8⟩. ⟨hal-01723012⟩
Accès au bibtex
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, Association for Computing Machinery, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩. ⟨hal-01526272v3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01526272/file/chebvalid_final.pdf 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, Springer Verlag, 2018, 31 (2), pp.610 - 640. ⟨10.1007/s00145-017-9265-9⟩. ⟨hal-01934177⟩
Accès au bibtex
BibTex
ref_biblio
Clement Pernet, Arne Storjohann. Time and space efficient generators for quasiseparable matrices. Journal of Symbolic Computation, Elsevier, 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
https://hal.archives-ouvertes.fr/hal-01424252/file/qsprod.pdf BibTex
ref_biblio
Gottfried Herold, Elena Kirshanova, Alexander May. On the asymptotic complexity of solving LWE. Designs, Codes and Cryptography, Springer Verlag, 2018, 86 (1), pp.55 - 83. ⟨10.1007/s10623-016-0326-0⟩. ⟨hal-01934181⟩
Accès au bibtex
BibTex
ref_biblio
Bill Allombert, Nicolas Brisebarre, Alain Lasjaunias. On a two-valued sequence and related continued fractions in power series fields. Ramanujan Journal, Springer Verlag, 2018, 45 (3), pp.859-871. ⟨10.1007/s11139-017-9892-7⟩. ⟨hal-01348576v3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01348576/file/W_hal.pdf BibTex
ref_biblio
Claude-Pierre Jeannerod, Siegfried M. Rump. On relative errors of floating-point operations: optimal bounds and applications. Mathematics of Computation, American Mathematical Society, 2018, 87, pp.803-819. ⟨10.1090/mcom/3234⟩. ⟨hal-00934443v4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00934443/file/JeannerodRump2016.pdf 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, IACR, 2018. ⟨hal-01934176⟩
Accès au bibtex
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, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TC.2018.2879432⟩. ⟨hal-01561052v3⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01561052/file/LTICJR.pdf 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, Institute of Electrical and Electronics Engineers, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩. ⟨hal-01308801v3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01308801/file/firlll_hal.pdf 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
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
https://hal.archives-ouvertes.fr/hal-01895645/file/version_eprint.pdf 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
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
https://hal.archives-ouvertes.fr/hal-01934296/file/ASIACRYPT18_IPFEmodp_extended.pdf BibTex
ref_biblio
Dan Boneh, Yuval Ishai, Alain Passelègue, Amit Sahai, David 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
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
https://hal.inria.fr/hal-01911887/file/DPRF-BLMR-v3.pdf 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
https://hal.archives-ouvertes.fr/hal-01830253/file/LagrangeIAC.pdf BibTex
ref_biblio
Junqing Gong, Benoît Libert, Somindu 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
https://hal.inria.fr/hal-01686690/file/ibbe-compact.pdf 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
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
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
https://hal.inria.fr/hal-01848134/file/tight-ring-sig-full-version.pdf 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
https://hal.inria.fr/hal-01911886/file/ZK-integers.pdf 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
https://hal.archives-ouvertes.fr/hal-01895639/file/main.pdf 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
https://hal.inria.fr/hal-01788619/file/redct-final.pdf 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
https://hal.inria.fr/hal-01890731/file/article.pdf 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
https://hal.archives-ouvertes.fr/hal-01921335/file/hal.pdf 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
https://hal.archives-ouvertes.fr/hal-01921369/file/hal.pdf 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
https://hal.archives-ouvertes.fr/hal-01654396/file/multinormval.pdf 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
https://hal.archives-ouvertes.fr/hal-01829132/file/main.pdf 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
https://hal.inria.fr/hal-01774587/file/split.pdf 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
https://hal.inria.fr/hal-01774364/file/emet_rr.pdf 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
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
BibTex
ref_biblio
Joppe 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
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
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
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
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
https://hal.inria.fr/hal-01926094/file/LIPIcs-STACS-2018-1.pdf 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
https://hal.archives-ouvertes.fr/hal-01540170/file/cheborbit.pdf 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
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
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
https://tel.archives-ouvertes.fr/tel-01949339/file/WEN_Weiqiang_2018LYSEN070_These.pdf 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
https://tel.archives-ouvertes.fr/tel-01913872/file/MOUHARTEM_Fabrice_2018LYSEN060_These.pdf 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
https://hal.inria.fr/hal-01690832/file/multiplierless-processing-element.pdf 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, Springer Verlag, 2017, 79 (4), pp.1318 - 1352. ⟨10.1007/s00453-016-0251-7⟩. ⟨hal-01643505⟩
Accès au bibtex
BibTex
ref_biblio
Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition. Journal of Symbolic Computation, Elsevier, 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
https://hal.archives-ouvertes.fr/hal-01251223/file/elu_jsc_final.pdf BibTex
ref_biblio
Claude-Pierre Jeannerod, Vincent Neiger, Eric Schost, Gilles Villard. Computing minimal interpolation bases. Journal of Symbolic Computation, Elsevier, 2017, 83, pp.272--314. ⟨10.1016/j.jsc.2016.11.015⟩. ⟨hal-01241781v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01241781/file/MinimalInterpolationBasis.pdf 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, Elsevier, 2017, ⟨10.1016/j.jco.2017.03.003⟩. ⟨hal-01345627v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01345627/file/determinant_hermite_polmat.pdf BibTex
ref_biblio
Paola Boito, Roberto Grena. Optimal focal length of primary mirrors in Fresnel linear collectors. Solar Energy, Elsevier, 2017, 155, pp.1313 - 1318. ⟨10.1016/j.solener.2017.07.079⟩. ⟨hal-01647602⟩
Accès au bibtex
BibTex
ref_biblio
Paola Boito, Yuli Eidelman, Luca Gemignani. A Real QZ Algorithm for Structured Companion Pencils. Calcolo, Springer Verlag, 2017, ⟨10.1007/s10092-017-0231-6⟩. ⟨hal-01407864⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01407864/file/RealQZ.pdf BibTex
ref_biblio
Sylvie Boldo, Stef Graillat, Jean-Michel Muller. On the robustness of the 2Sum and Fast2Sum algorithms. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (1). ⟨ensl-01310023v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01310023/file/FaithfulTwoSum-Final-Fev2017.pdf BibTex
ref_biblio
Nicolas Brisebarre, Guillaume Hanrot, Olivier Robert. Exponential sums and correctly-rounded functions. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.2044-2057. ⟨10.1109/TC.2017.2690850⟩. ⟨hal-01396027v3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01396027/file/sommesexp-hal.pdf BibTex
ref_biblio
J Courtiel, Stephen Melczer, Marni Mishna, Kilian Raschel. Weighted Lattice Walks and Universality Classes. Journal of Combinatorial Theory, Series A, Elsevier, 2017, ⟨10.1016/j.jcta.2017.06.008⟩. ⟨hal-01368786v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01368786/file/CoMeMiRa-Rev-arx.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/ab-diagram-big.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/drift.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/fig1.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/GB-800-2.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/GB-wt-800.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/Gessel.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/kaya.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/paths.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/Simple.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/Tandem.pdf BibTex
ref_biblio
Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩. ⟨hal-01394289v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394289/file/ieeetc2017-mpfrsum-auth.pdf 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, Society for Industrial and Applied Mathematics, 2017, 38 (3), pp.733-775. ⟨10.1137/16M1062855⟩. ⟨hal-01588552⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01588552/file/M106285-final.pdf 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, American Mathematical Society, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩. ⟨hal-00867040v5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00867040/file/JKLM17.pdf BibTex
ref_biblio
Alin Bostan, Pierre Lairez, Bruno Salvy. Multiple binomial sums. Journal of Symbolic Computation, Elsevier, 2017, 80 (2), pp.351--386. ⟨10.1016/j.jsc.2016.04.002⟩. ⟨hal-01220573v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01220573/file/binomsums.pdf 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, Springer Verlag, In press, ⟨10.1007/s10623-017-0449-y⟩. ⟨hal-01658573⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01658573/file/HyperSum.pdf BibTex
ref_biblio
Alin Bostan, Louis Dumont, Bruno Salvy. Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity. Journal of Symbolic Computation, Elsevier, 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
https://arxiv.org/pdf/1510.04526 BibTex
ref_biblio
Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Tight and rigourous error bounds for basic building blocks of double-word arithmetic. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (2), pp.1 - 27. ⟨10.1145/3121432⟩. ⟨hal-01351529v3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01351529/file/a15res-joldes.pdf BibTex
ref_biblio
Yann Bugeaud, Andrej Dujella, Tomislav Pejković, Bruno Salvy. Absolute Real Root Separation. American Mathematical Monthly, Mathematical Association of America, 2017, 124 (10), pp.930-936. ⟨10.4169/amer.math.monthly.124.10.930⟩. ⟨hal-01655531⟩
Accès au bibtex
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, Wiley, 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
https://hal.archives-ouvertes.fr/hal-01236919/file/tlm.pdf BibTex
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, Wiley, In press. ⟨hal-01407857⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01407857/file/bep_r5.pdf BibTex

Conference papers

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
https://hal.inria.fr/hal-01643435/file/junqing-AC17.pdf 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
https://hal.inria.fr/hal-01622197/file/OT-LWE-full-version.pdf BibTex
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
https://hal.inria.fr/hal-01621027/file/ecash-LWR-full.pdf 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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01780265/file/asilomar17.pdf 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
https://hal.archives-ouvertes.fr/hal-01512417/file/itp17.pdf 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
https://hal.inria.fr/hal-01621025/file/ABM-LWE-tight-SO-v3.pdf 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
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01587451/file/503.pdf 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
https://hal.inria.fr/hal-01457979/file/univariate_relation_bases.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01527202/file/final.pdf 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
https://hal.archives-ouvertes.fr/hal-01491255/file/sdpa_C_v2.pdf 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
https://hal.inria.fr/hal-01502326/file/mpfr4.pdf 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
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
https://hal.inria.fr/hal-01559955/file/NRevol-NSV17-HAL.pdf 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
https://hal.archives-ouvertes.fr/hal-01512294/file/paper.pdf 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
https://hal.inria.fr/hal-01644741/file/Abstract_Boito.pdf 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
https://hal.archives-ouvertes.fr/hal-01512760/file/Jeannerod_Monat_Thevenoux_SIES17.pdf 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
https://hal.inria.fr/hal-01621022/file/SP-CCA-PKC_full-version.pdf 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
https://hal.inria.fr/hal-01643457/file/junqing-PKC17.pdf 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
https://hal.inria.fr/hal-01621014/file/JL17elgecc.pdf BibTex
ref_biblio
Ron Steinfeld, Amin Sakzad, Miruna Roșca, Damien Stehlé. Middle-Product Learning with Errors. Advances in Cryptology - 2017 - 37th Annual International Cryptology Conference, 2017, Santa Barbara, United States. ⟨hal-01643517⟩
Accès au bibtex
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
BibTex
ref_biblio
Daniel 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
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
https://hal.inria.fr/hal-01658296/file/cours.pdf BibTex

Directions of work or proceedings

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
BibTex
ref_biblio
Bruno Salvy. Informatique Mathématique. Une photographie en 2017. France. CNRS éditions, pp.1-258, 2017, 978-2-271-11523-2. ⟨hal-01658949⟩
Accès au bibtex
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
https://hal.archives-ouvertes.fr/tel-01658342/file/hdrNBrisebarre.pdf BibTex

Other publications

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

Books

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
https://hal.inria.fr/hal-01431717/file/aecf%40svn1386.pdf 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
https://tel.archives-ouvertes.fr/tel-01582218/file/PLET_Antoine_2017LYSEN038_These.pdf 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
https://hal.archives-ouvertes.fr/tel-01534090/file/POPESCU_Valentina_2017LYSEN036_These.pdf BibTex
ref_biblio
Stephen Melczer. Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration. Symbolic Computation [cs.SC]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN013⟩. ⟨tel-01587716⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01587716/file/MELCZER_Stephen_2017LYSEN013_These.pdf 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
https://tel.archives-ouvertes.fr/tel-01526699/file/TH2017PAINDAVOINEMARIE.pdf 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
https://hal.inria.fr/hal-01308377/file/autofir.pdf 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, Springer Verlag, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩. ⟨ensl-01195625v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01195625/file/VersionAccepteeNumericalAlgorithmsFeb2016.pdf BibTex
ref_biblio
Sophie Burrill, Julien Courtiel, Eric Fusy, Stephen Melczer, Marni Mishna. Tableau sequences, open diagrams, and Baxter families. European Journal of Combinatorics, Elsevier, 2016, 58, pp.144 - 165. ⟨10.1016/j.ejc.2016.05.011⟩. ⟨hal-01394155⟩
Accès au bibtex
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, Springer Verlag, 2016, pp.36. ⟨10.1007/s00026-016-0328-7⟩. ⟨hal-01063886⟩
Accès au bibtex
https://arxiv.org/pdf/1409.3669 BibTex
ref_biblio
Paola Boito, Roberto Grena. Optimization of the geometry of Fresnel linear collectors. Solar Energy, Elsevier, 2016, 135, pp.479 - 486. ⟨10.1016/j.solener.2016.05.060⟩. ⟨hal-01647605⟩
Accès au bibtex
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, Elsevier, 2016, 645, pp.1-24. ⟨10.1016/j.tcs.2016.02.031⟩. ⟨hal-01394405⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394405/file/2threshold-short-sig-journal.pdf 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, Elsevier, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩. ⟨hal-01084238v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01084238/file/parco_DumasGautierPernetRochSultan.pdf BibTex
ref_biblio
Paolo Montuschi, Jean-Michel Muller. Modern Computer Arithmetic. Computer, IEEE Computer Society, 2016, 49 (9), pp.12. ⟨hal-01394408⟩
Accès au bibtex
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, Association for Computing Machinery, 2016, 43 (1), pp.7:1 - 7:24. ⟨hal-01136005v5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01136005/file/pm.pdf BibTex
ref_biblio
Stephen Melczer, Marni Mishna. Asymptotic Lattice Path Enumeration Using Diagonals. Algorithmica, Springer Verlag, 2016, 75 (4), pp.782 - 811. ⟨10.1007/s00453-015-0063-1⟩. ⟨hal-01394157⟩
Accès au bibtex
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, American Institute of Aeronautics and Astronautics, 2016, 39 (5), pp.1009-1021. ⟨10.2514/1.G001353⟩. ⟨hal-01132149⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01132149/file/CollisionProbability.pdf BibTex
ref_biblio
Fabrice Benhamouda, Javier Herranz, Marc Joye, Benoît Libert. Efficient Cryptosystems From $2^k$ -th Power Residue Symbols. Journal of Cryptology, Springer Verlag, 2016, ⟨10.1007/s00145-016-9229-5⟩. ⟨hal-01394400⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394400/file/435.pdf 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, Institute of Electrical and Electronics Engineers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩. ⟨hal-01111551v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01111551/file/newton-raph.pdf 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, Springer Verlag, 2016, 56 (1), pp.293 - 307. ⟨10.1007/s10543-015-0555-z⟩. ⟨hal-01137652⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01137652/file/products.pdf 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, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/LCOMM.2016.2594196⟩. ⟨hal-01394219⟩
Accès au bibtex
BibTex
ref_biblio
Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller. Comparison between binary and decimal floating-point numbers. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩. ⟨hal-01021928v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01021928/file/Compar-IEEETC.pdf BibTex
ref_biblio
Claude-Pierre Jeannerod. A radix-independent error analysis of the Cornea-Harrison-Tang method. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2016, ⟨10.1145/2824252⟩. ⟨hal-01050021v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01050021/file/Jeannerod2015c.pdf BibTex
ref_biblio
Shi Bai, Cyril Bouvier, Alexander Kruppa, Paul Zimmermann. Better polynomials for GNFS. Mathematics of Computation, American Mathematical Society, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩. ⟨hal-01089507⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089507/file/sopt-20140905.pdf 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
https://hal.inria.fr/hal-01394087/file/groupenc.pdf 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
https://hal.inria.fr/hal-01267123/file/dynamic-lgsig-even-simpler.pdf 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
https://hal.inria.fr/hal-01404486/file/NewMLE.pdf 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
BibTex
ref_biblio
Jie Chen, Benoît Libert, Somindu 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
https://hal.inria.fr/hal-01309562/file/non-zero-ipe.pdf 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
https://hal.inria.fr/hal-01228559/file/FE-IPFE-adaptive.pdf BibTex
ref_biblio
Clement 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
https://hal.archives-ouvertes.fr/hal-01264131/file/quasisep.pdf 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
https://hal.archives-ouvertes.fr/hal-01266041/file/det_techreport.pdf 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
https://hal.inria.fr/hal-01266014/file/fast_popov_form.pdf 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
https://hal.inria.fr/hal-01265983/file/fast_pib.pdf BibTex
ref_biblio
Benoît Libert, Somindu 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
https://hal.inria.fr/hal-01306152/file/poly-commit.pdf 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
https://hal.archives-ouvertes.fr/hal-01227877/file/2015-FixFloat.pdf 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
https://hal.archives-ouvertes.fr/hal-01312858/file/ICMS_Extended_Abstract_2016_CAMPARY.pdf 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
https://hal.archives-ouvertes.fr/hal-01298195/file/ARITH23-CamReady.pdf 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
https://hal.inria.fr/hal-01242127/file/arith23.pdf BibTex
ref_biblio
Sylvain 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-01298206v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01298206/file/Parallel%20FP%20expans.pdf 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. ⟨hal-02166352⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02166352/file/final_12.pdf 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
https://arxiv.org/pdf/1605.05082 BibTex
ref_biblio
Somindu 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
https://hal.inria.fr/hal-01394288/file/356.pdf 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
https://hal.inria.fr/hal-01302790/file/gs-mdo.pdf 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
https://hal.inria.fr/hal-01303696/file/SigmaSig-full-version.pdf 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
https://hal.inria.fr/hal-01314642/file/LLNW-16.pdf 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
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
BibTex
ref_biblio
Shi Bai, Thijs Laarhoven, Damien Stehlé. Tuple lattice sieving,. ANTS 2016, 2016, Kaiserslautern, Germany. ⟨hal-01394212⟩
Accès au bibtex
BibTex
ref_biblio
Damien Stehlé, Arnold Neumaier. Faster LLL-type reduction of lattice bases. ISSAC, 2016, Waterloo, Canada. ⟨hal-01394214⟩
Accès au bibtex
BibTex
ref_biblio
Leo Ducas, Damien Stehlé. Sanitization of FHE Ciphertexts. EUROCRYPT, 2016, Wien, Austria. ⟨hal-01394216⟩
Accès au bibtex
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
https://arxiv.org/pdf/1605.00402 BibTex

Directions of work or 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
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
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
https://tel.archives-ouvertes.fr/tel-01447081/file/FILIP_Silviu_Ioan_2016LYSEN063_These.pdf 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
https://tel.archives-ouvertes.fr/tel-01431413/file/thesis.pdf 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
https://tel.archives-ouvertes.fr/tel-01396907/file/TORRES_Serge_2016LYSEN030_These.pdf 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
https://hal.inria.fr/hal-01232159/file/hal-r727.pdf 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
https://arxiv.org/pdf/1607.01064 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
https://hal.inria.fr/hal-01315738/file/rsa220%20%281%29.pdf 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
https://arxiv.org/pdf/1602.00169 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, Springer Verlag, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩. ⟨ensl-00945033v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00945033/file/x-puissance-n-revision.pdf 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, Elsevier, 2015, 70, pp.49--70. ⟨10.1016/j.jsc.2014.09.025⟩. ⟨hal-01064519⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01064519/file/analyseF5.pdf 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, Association for Computing Machinery, 2015, 41 (2), pp.8. ⟨ensl-00862910v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00862910/file/AnalysisCornea.pdf BibTex
ref_biblio
Adeline Langlois, Damien Stehlé. Worst-case to average-case reductions for module lattices. Designs, Codes and Cryptography, Springer Verlag, 2015, pp.35. ⟨10.1007/s10623-014-9938-4⟩. ⟨hal-01240452⟩
Accès au bibtex
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, Springer Verlag, 2015, 54 (1), pp.1-29. ⟨10.1007/s10817-014-9312-2⟩. ⟨hal-00919498v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00919498/file/Hensel-JAR.pdf BibTex
ref_biblio
Sanjay Bhattacherjee, Palash Sarkar. Reducing Communication Overhead of the Subset Difference Scheme. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2015. ⟨hal-01241138⟩
Accès au bibtex
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, Institute of Electrical and Electronics Engineers, 2015, pp.2370-2387. ⟨10.1109/TIT.2015.2416068⟩. ⟨hal-00941435v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00941435/file/MultivariateInterpolation-PolyApprox_v2.pdf BibTex

Conference papers

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
https://hal.inria.fr/hal-01237355/file/928.pdf BibTex
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
https://hal.inria.fr/hal-01225363/file/sim-sound-tightness-eprint-version.pdf 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
https://hal.inria.fr/hal-01247059/file/jeannerod15.pdf 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
https://hal.archives-ouvertes.fr/hal-01158399/file/LMT15a-ieee.pdf 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
https://hal.inria.fr/hal-01225353/file/short-gsis-full-version.pdf 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
https://arxiv.org/pdf/1507.04203 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
https://hal.archives-ouvertes.fr/hal-01107722/file/elu_report.pdf 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
https://arxiv.org/pdf/1510.04080 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. ⟨hal-01337810⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01337810/file/Poster5.pdf 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
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
https://hal.archives-ouvertes.fr/hal-01213284/file/CTRSA15_ddhhomo_extended.pdf 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
https://hal.inria.fr/hal-01225344/file/superset-sig-final.pdf 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
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
BibTex

Directions of work or proceedings

ref_biblio
Jean-Michel Muller, Arnaud Tisserand, Julio Villalba Moreno. Proceedings of IEEE 22nd Symposium on Computer Arithmetic. Muller, Jean-Michel; Tisserand, Arnaud; Villalba Moreno, Julio. Jun 2015, Lyon, France. IEEE, 2015, ⟨10.1109/ARITH.2015.1⟩. ⟨hal-01233867⟩
Accès au bibtex
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
https://hal.inria.fr/tel-02151157/file/HDR_BL.pdf 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
https://hal.archives-ouvertes.fr/hal-01131384/file/CollisionProbability.pdf 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
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
https://hal.archives-ouvertes.fr/hal-01157509/file/LMT15b-abstract.pdf BibTex

2014

Journal articles

ref_biblio
Jean-Michel Muller, Sylvie Boldo. Des ordinateurs capables de calculer plus juste. La Recherche, Sciences et avenir, 2014, pp.46-53. ⟨ensl-01069744⟩
Accès au bibtex
BibTex
ref_biblio
Stephen Melczer, Marni Mishna. Singularity Analysis Via the Iterated Kernel Method. Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2014, 23 (05), pp.861 - 888. ⟨10.1017/S0963548314000145⟩. ⟨hal-01394160⟩
Accès au bibtex
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, Institute of Electrical and Electronics Engineers (IEEE), 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩. ⟨ensl-01001673⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01001673/file/TCAS_paper.pdf BibTex
ref_biblio
Fabienne Jézéquel, Philippe Langlois, Nathalie Revol. First steps towards more numerical reproducibility. ESAIM: Proceedings and Surveys, EDP Sciences, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩. ⟨lirmm-00872562⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00872562/file/JezLanRev13.pdf BibTex
ref_biblio
Alin Bostan, Kilian Raschel, Bruno Salvy. Non-D-finite excursions in the quarter plane. Journal of Combinatorial Theory, Series A, Elsevier, 2014, 121, pp.45-63. ⟨10.1016/j.jcta.2013.09.005⟩. ⟨hal-00697386v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00697386/file/BoRaSa12.pdf 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, Society for Industrial and Applied Mathematics, 2014, 35 (2), pp.684-698. ⟨10.1137/130927231⟩. ⟨hal-00841361v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00841361/file/RumpJeannerod14.pdf BibTex
ref_biblio
Nathalie Revol, Philippe Théveny. Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2014, 63 (8), pp.1915-1924. ⟨10.1109/TC.2014.2322593⟩. ⟨hal-00916931v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916931/file/Revol-Theveny-long-version.pdf 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, Institute of Electrical and Electronics Engineers, 2014, pp.18. ⟨hal-01091295⟩
Accès au bibtex
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
https://hal.inria.fr/hal-01088108/file/tightness-AC14.pdf 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
https://hal.archives-ouvertes.fr/hal-01100813/file/PID3318933.pdf 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
https://hal.archives-ouvertes.fr/hal-00947013/file/parallelPLUQ.pdf 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
https://hal.archives-ouvertes.fr/hal-01015138/file/axiv.pdf 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
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
https://arxiv.org/pdf/1403.3594 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00993445/file/lift.pdf 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
https://hal.inria.fr/hal-00983149/file/2threshold-short-sig.pdf 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
https://hal.inria.fr/hal-00920662/file/Revol.pdf 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
https://hal.archives-ouvertes.fr/hal-00957379/file/invNewton.pdf 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
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
https://hal.inria.fr/hal-00983147/file/sim-sound-full-version.pdf 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
https://hal.archives-ouvertes.fr/hal-00983179/file/GGHLite_Euro14.pdf 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
https://hal.archives-ouvertes.fr/hal-00983084/file/GroupSignVLR_eprint.pdf 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
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
https://hal.inria.fr/hal-00984055/file/EJCIM_LLS.pdf 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
BibTex

Directions of work or proceedings

ref_biblio
Amparo Gil, Jean-Michel Muller, Javier Segura. Edition d'un numéro spécial "Numerical Software: Design, Analysis and Verification". France. 90 part A, Elsevier, pp.1, 2014. ⟨ensl-01070771⟩
Accès au bibtex
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
https://tel.archives-ouvertes.fr/tel-01094212/file/hdr.pdf 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
https://tel.archives-ouvertes.fr/tel-01126973/file/2014ENSL0941.pdf 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
https://tel.archives-ouvertes.fr/tel-01126931/file/2014ENSL0940.pdf 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
https://tel.archives-ouvertes.fr/tel-01078204/file/BRUNIE_Nicolas_2014_These.pdf BibTex

2013

Journal articles

ref_biblio
Érik Martin-Dorel, Guillaume Melquiond, Jean-Michel Muller. Some issues related to double roundings. BIT Numerical Mathematics, Springer Verlag, 2013, 53 (4), pp.897-924. ⟨10.1007/s10543-013-0436-2⟩. ⟨ensl-00644408v3⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00644408/file/Version_Finale_DoubleRoundings.pdf 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, HPC Médias, 2013, pp.1-5. ⟨hal-00921492⟩
Accès au bibtex
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), ACM, 2013, 6 (1), pp.4:1--4:15. ⟨10.1145/2457443.2457447⟩. ⟨ensl-00718637⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00718637/file/2012-TRETS-Exponentiation.pdf BibTex
ref_biblio
Laura Luzzi, Damien Stehlé, Cong Ling. Decoding by Embedding: Correct Decoding Radius and DMT Optimality. IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2013, 59 (5), pp.2960-2973. ⟨10.1109/TIT.2012.2236144⟩. ⟨hal-00784077⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00784077/file/IT_Embedding_final.pdf 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, Society for Industrial and Applied Mathematics, 2013, 34 (2), pp.338-344. ⟨10.1137/120894488⟩. ⟨hal-00840926⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00840926/file/JeannerodRump2013.pdf 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, Springer Verlag, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩. ⟨hal-00649240v3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00649240/file/RR-7826.pdf 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, Elsevier, 2013, 29 (1), pp.53-75. ⟨10.1016/j.jco.2012.07.001⟩. ⟨hal-00655745⟩
Accès au bibtex
https://arxiv.org/pdf/1112.6263 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, Lavoisier, 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
https://hal.inria.fr/hal-00787749/file/Brunie_ReconvImpliciteSIMT_TR.pdf 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, Elsevier, 2013, 56, pp.46-68. ⟨10.1016/j.jsc.2013.04.004⟩. ⟨hal-00841300⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00841300/file/JeannerodPernetStorjohann13.pdf BibTex
ref_biblio
Nathalie Revol, Philippe Théveny. Parallel Implementation of Interval Matrix Multiplication. Reliable Computing, Springer Verlag, 2013, 19 (1), pp.91-106. ⟨hal-00801890v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00801890/file/parallel-igemm.pdf BibTex
ref_biblio
Florent de Dinechin, Christoph Lauter, Jean-Michel Muller, Serge Torres. On Ziv's rounding test. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2013, 39 (4), pp.26. ⟨ensl-00693317v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00693317/file/ZivRounding-final.pdf 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, American Mathematical Society, 2013, 82 (284), pp.2245-2264. ⟨10.1090/S0025-5718-2013-02679-8⟩. ⟨ensl-00649347v4⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00649347/file/JeannerodLouvetMuller13.pdf 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
https://hal.inria.fr/hal-00920420/file/308.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00875366/file/ScaledDivIter.pdf 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
https://hal.archives-ouvertes.fr/hal-01513505/file/radixConversion.pdf 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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00738412/file/2013-FPL-BitHeap.pdf 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
https://hal.inria.fr/hal-00777675/file/arxiv.issac24p-bostan.pdf 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
https://arxiv.org/pdf/1301.2486 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00802777/file/2013-SinCos-RR.pdf 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
https://hal.inria.fr/hal-00922114/file/Revol-Theveny-SWIM13.pdf 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
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
https://hal.inria.fr/hal-00763954/file/arith21.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881/file/Compar-Arith.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00734339/file/Jeannerod_Louvet_Muller_final.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00763067/file/2012-sympa.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00762990/file/2012-Sympa-Tas.pdf 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
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
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
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
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
https://hal.inria.fr/hal-00767085/file/recond_Ai_arith.pdf 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
https://hal.inria.fr/ensl-00758377/file/2012-Arith4HPC-chapter.pdf BibTex

Reports

ref_biblio
Rishiraj Bhattacharyya, Sourav Chakraborty. Constant Query Locally Decodable Codes against Computationally Bounded Adversary. 2013. ⟨hal-00920174⟩
Accès au bibtex
BibTex
ref_biblio
Rishiraj Bhattacharyya. Non-Adaptive Programmability of Random Oracles. 2013. ⟨hal-00920173⟩
Accès au bibtex
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
https://hal.inria.fr/hal-00864580/file/ieeetc-sipe-final.pdf 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, Elsevier, 2012, 119 (8), pp.1711-1773. ⟨10.1016/j.jcta.2012.05.007⟩. ⟨inria-00622853⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00622853/file/newtonOracleLong.pdf 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", INRIA, 2012, 2 p. ⟨hal-00813205⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00813205/file/Les_calculs_sur_ordinateurs_de_plus_en_plus_fiables_et_sA_rs.pdf BibTex
ref_biblio
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the computation of correctly-rounded sums. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩. ⟨ensl-00331519v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00331519/file/TC-2010-04-0248.R1.pdf 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 (MICPRO), Elsevier, 2012, 36 (8), pp.606-619. ⟨10.1016/j.micpro.2012.06.009⟩. ⟨hal-00761515⟩
Accès au bibtex
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, Institute of Electrical and Electronics Engineers (IEEE), 2012, pp.00. ⟨10.1109/TCSII.2011.2177706⟩. ⟨ensl-00610328v3⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00610328/file/RR-rational-constmult-v3.pdf 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, American Mathematical Society, 2012, 81 (279), pp.1487-1511. ⟨ensl-00529425v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00529425/file/qrperturb2011.pdf 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
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
https://hal.inria.fr/hal-00687818/file/paper43-mezzarobba.pdf 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
https://hal.inria.fr/hal-00763110/file/CL_SCN_web.pdf 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
https://hal.inria.fr/hal-00672327/file/Jeannerod-JourdanLu.pdf 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
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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00759912/file/Brisebarre-Ercegovac-Muller.pdf 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
https://arxiv.org/pdf/1205.3414 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
https://arxiv.org/pdf/1205.0879 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
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
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
https://hal.inria.fr/hal-00704288/file/Nguyen-Revol-Theveny.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00653460/file/NFM2012_Brisebarre_et_al.pdf BibTex
ref_biblio
Florent de Dinechin, Laurent-Stéphane Didier. Table-based division by small integer constants. 8th International Symposium on Applied Reconfigurable 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00642145/file/LUTConstDiv.pdf 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
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
https://hal.archives-ouvertes.fr/hal-00611651/file/HAL_short_ABS.pdf 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
https://hal.inria.fr/hal-00768305/file/PCE_RSA.pdf 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
https://hal.inria.fr/hal-00695333/file/jeannerod_jourdan-lu_monat.pdf BibTex

Other publications

ref_biblio
San Ling, Damien Stehlé. A Lattice-Based Traitor Tracing Scheme. 2012. ⟨hal-00767545⟩
Accès au bibtex
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
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
https://hal.inria.fr/hal-00780435/file/BostanSalvy_part1.pdf https://hal.inria.fr/hal-00780435/file/BostanSalvy_part2.pdf 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
BibTex

Theses

ref_biblio
Jingyan 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
https://tel.archives-ouvertes.fr/tel-00779764/file/JOURDAN_LU_Jingyan_2012_These.pdf 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
https://tel.archives-ouvertes.fr/tel-00745553/file/MARTIN_DOREL_Erik_2012_these.pdf 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
https://tel.archives-ouvertes.fr/tel-00744373/file/PANHALEUX_Adrien_2012_-_These.pdf BibTex

2011

Journal articles

ref_biblio
Pieter Collins, Milad Niqui, Nathalie Revol. A validated real function calculus. Mathematics in Computer Science, Springer, 2011, 5 (4), pp.437-467. ⟨hal-00641648⟩
Accès au bibtex
BibTex
ref_biblio
Florent de Dinechin, Bogdan Pasca. Designing Custom Arithmetic Data Paths with FloPoCo. IEEE Design & Test, IEEE, 2011, 28, pp.18-27. ⟨ensl-00646282⟩
Accès au bibtex
BibTex
ref_biblio
Sylvie Boldo, Jean-Michel Muller. Exact and Approximated error of the FMA. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.157-164. ⟨10.1109/TC.2010.139⟩. ⟨inria-00429617⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429617/file/fma_err.pdf BibTex
ref_biblio
Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux. Performing Arithmetic Operations on Round-to-Nearest Representations. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.282-291. ⟨10.1109/TC.2010.134⟩. ⟨ensl-00548988v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00548988/file/RN_TC_2011.pdf 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, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩. ⟨ensl-00409366v3⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00409366/file/midpoints_TC_publies.pdf 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, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩. ⟨ensl-00200830v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/ensl-00200830/file/10-tc.pdf 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, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.214-227. ⟨10.1109/TC.2010.152⟩. ⟨ensl-00559236⟩
Accès au bibtex
BibTex
ref_biblio
Gilles Villard. Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation. Journal of Symbolic Computation, Elsevier, 2011, 46 (7), pp.773-790. ⟨10.1016/j.jsc.2010.08.012⟩. ⟨ensl-00335918⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00335918/file/detdiff.pdf BibTex
ref_biblio
Hong Diep Nguyen, Nathalie Revol. Solving and Certifying the Solution of a Linear System. Reliable Computing, Springer Verlag, 2011, 15 (2), pp.120-131. ⟨inria-00546856⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00546856/file/Nguyen-Revol.pdf 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, Institute of Electrical and Electronics Engineers, 2011, pp.5933-5945. ⟨hal-00640634⟩
Accès au bibtex
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, Elsevier, 2011, 412 (16), pp.1523-1543. ⟨10.1016/j.tcs.2010.11.052⟩. ⟨ensl-00445343v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00445343/file/RRLIP2010-2.pdf BibTex

Conference papers

ref_biblio
Nicolas Brunie, Sylvain Collange, Gregory Diamos. Simultaneous Branch and Warp Interweaving for Sustained GPU Performance. 39th Annual International Symposium on Computer Architecture (ISCA), Portland, OR, United States. pp.49 - 60, ⟨10.1109/ISCA.2012.6237005⟩. ⟨ensl-00649650v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00649650/file/sbiswi.pdf BibTex
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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00642157/file/mpfma.pdf 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
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
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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00640063/file/PID1914885.pdf 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
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
BibTex
ref_biblio
Hong Diep Nguyen, Bogdan Pasca, Thomas 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542389/file/short_latency_adders.pdf 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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00545591/file/PID1818753.pdf 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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00531721/file/MouRev11.pdf 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
https://hal.inria.fr/hal-00641659/file/Nguyen-Revol-SNC.pdf BibTex
ref_biblio
Sylvain 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
https://hal.archives-ouvertes.fr/hal-00576049/file/collange_sympa2011.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00549682/file/rr.pdf 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
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
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
https://hal.archives-ouvertes.fr/hal-00644796/file/p3-villard.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00534899/file/L1-hal.pdf 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
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
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
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
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
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
https://tel.archives-ouvertes.fr/tel-00645387/file/HDR_full.pdf 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
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
https://hal.inria.fr/hal-00650659/file/RR-7832.pdf BibTex
ref_biblio
Sylvain Collange, Alexandre Kouyoumdjian. Affine Vector Cache for memory bandwidth savings. 2011. ⟨ensl-00649200⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00649200/file/affinecache_tr.pdf BibTex
ref_biblio
Nicolas Brunie, Sylvain Collange. Assouplir les contraintes des architectures SIMT à faible coût. 2011. ⟨ensl-00649186⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00649186/file/minpc_tr.pdf BibTex
ref_biblio
Sylvain Collange. Stack-less SIMT reconvergence at low cost. 2011. ⟨hal-00622654⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00622654/file/collange_sympa2011_en.pdf 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
https://hal.inria.fr/inria-00606977/file/RR-7674.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00575673/file/RRLIP2011-1.pdf 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
https://hal.inria.fr/inria-00575573/file/RR-7564.pdf BibTex
ref_biblio
Sylvain Collange. Identifying scalar behavior in CUDA kernels. 2011. ⟨hal-00555134⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00555134/file/collange_scalarizing_compiler_rr.pdf 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
https://tel.archives-ouvertes.fr/tel-00688388/file/MOUILLERON_Christophe_2011_These.pdf 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
https://tel.archives-ouvertes.fr/tel-00657843/file/JOLDES_Mioara_-_Maria_2011_These.pdf 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
https://tel.archives-ouvertes.fr/tel-00654121/file/PASCA_Bogdan_2011_-_These.pdf 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
https://tel.archives-ouvertes.fr/tel-00680352/file/NGUYEN_Hong_-_Diep_2011_These.pdf 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, Society for Industrial and Applied Mathematics, 2010, 31 (5), pp.2841--2859. ⟨hal-00546885⟩
Accès au bibtex
BibTex
ref_biblio
Alvaro Vazquez, Elisardo Antelo, Paolo Montuschi. Improved Design of High-Performance Parallel Decimal Multipliers. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2010, 59 (5), pp.679-693. ⟨ensl-00560255⟩
Accès au bibtex
BibTex
ref_biblio
Christian Bertin, Claude-Pierre Jeannerod, Christophe Monat. Bringing fast floating-point arithmetic into embedded integer processors. HiPEAC Info, HiPEAC, 2010, pp.11-12. ⟨ensl-00551245⟩
Accès au bibtex
BibTex
ref_biblio
Milos Ercegovac, Jean-Michel Muller. An Efficient Method for Evaluating Complex Polynomials. Journal of Signal Processing Systems, Springer, 2010, 58 (1), pp.17-27. ⟨10.1007/s11265-008-0265-8⟩. ⟨ensl-00446889⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00446889/file/ErcegovacMuller2010.pdf 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, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩. ⟨inria-00388501⟩
Accès au bibtex
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, Lavoisier, 2010, 29 (1), pp.115-144. ⟨10.3166/tsi.29.115-144⟩. ⟨ensl-00327678v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00327678/file/afrr-hal.pdf BibTex
ref_biblio
Kaveh Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann. Why and How to Use Arbitrary Precision. Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩. ⟨inria-00543927⟩
Accès au bibtex
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00506125/file/RR2010-23.pdf 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
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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542950/file/2010-36.pdf 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
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
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
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
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
https://hal.inria.fr/hal-00761644/file/SollyaExtendedAbstract.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00475780/file/addition.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00475779/file/2010-sqrt.pdf 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
https://hal.inria.fr/inria-00539929/file/enum.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00450272/file/JeannerodMouilleron2010.pdf 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
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
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
https://hal.inria.fr/inria-00473270/file/Collins-Niqui-Revol.pdf 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
https://hal.inria.fr/inria-00544798/file/Nguyen-Revol-v2.pdf 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
https://hal.inria.fr/inria-00450789/file/RR-7181.pdf 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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00470506/file/RR-LIP-2010-14.pdf BibTex
ref_biblio
Nicolas Brisebarre, Milos Ercegovac, Nicolas Louvet, Erik 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. ⟨ensl-00463353v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00463353/file/Brisebarreetal2010.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00549027/file/Louvet_et_al2010.pdf 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
https://arxiv.org/pdf/1004.5034 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
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
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
https://hal.inria.fr/inria-00469472/file/NGUYEN_mat_prod.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00475781/file/dpbt.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00452881/file/LATIN2010_novocin.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00472509/file/RRLIP2010-13.pdf 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
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
BibTex

Directions of work or proceedings

ref_biblio
Guillaume Hanrot, François Morain, Emmanuel Thomé. Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings. Guillaume Hanrot and François Morain and Emmanuel Thomé. 6197, Springer-Verlag, 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
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
BibTex

Books

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
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
https://hal.inria.fr/inria-00526327/file/RR-7420.pdf 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
https://hal.inria.fr/inria-00475279/file/RR-7262.pdf 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
https://hal.inria.fr/inria-00473767/file/RR-7258.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00546114/file/poly_factor_NOVOCIN_2010.pdf BibTex
ref_biblio
William Hart, Andrew Novocin. A Practical Univariate Polynomial Composition Algorithm. 2010. ⟨ensl-00546102⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00546102/file/dmtcs_NOVOCIN2010.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542396/file/arithmetic_pipeline.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00532829/file/sqr.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00506122/file/RR-2010-22.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00496368/file/ScalingNRDiv.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00335792/file/JeKnMoRe09-ieeeTC-revision.pdf BibTex

2009

Journal articles

ref_biblio
Vincent Lefèvre, Jean-Michel Muller. Erreurs en arithmétique des ordinateurs. Images des Mathématiques, CNRS, 2009. ⟨hal-00598554⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00598554/file/Erreurs_en_arithmA_tique_des_ordinateurs_-_Images_des_mathA_matiques.pdf BibTex
ref_biblio
Peter Kornerup, Paolo Montuschi, Jean-Michel Muller, Eric Schwarz. Guest Editors' Introduction: Special Section on Computer Arithmetic. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2009, 58 (2), pp.145-147. ⟨ensl-00383561⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00383561/file/IntroSpecSectionFbr08.pdf 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, Institute of Electrical and Electronics Engineers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩. ⟨inria-00583988⟩
Accès au bibtex
BibTex
ref_biblio
Phong Q. Nguyen, Damien Stehlé. An LLL Algorithm with Quadratic Complexity. SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2009, pp.874-903. ⟨hal-00550981⟩
Accès au bibtex
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, Association for Computing Machinery (ACM), 2009, 43 (3/4), pp.84-85. ⟨10.1145/1823931.1823941⟩. ⟨hal-00746228⟩
Accès au bibtex
BibTex
ref_biblio
Stef Graillat, Philippe Langlois, Nicolas Louvet. Algorithms for Accurate, Validated and Fast Polynomial Evaluation. Japan Journal of Industrial and Applied Mathematics, Kinokuniya Company, 2009, 26 (2-3), pp.191-214. ⟨10.1007/BF03186531⟩. ⟨hal-00285603⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00285603/file/jjiam.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00391185/file/JeannerodRevyAsilomar09-finalversion.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00356421/file/RR2009-03.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00379154/file/RR-LIP-2009-16.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00379147/file/asap-09.pdf 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
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
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
https://hal.inria.fr/inria-00367584/file/arith19.pdf 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
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
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
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
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. ⟨tel-00469661⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00469661/file/Revy09.pdf 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. ⟨tel-00460776v4⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00460776/file/TheseSylvainChevillard.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00441933/file/KoMuPa2009.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00391070/file/ConferenceMLIS.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00388064/file/RRLIP2009-19.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00335892/file/fpdiv-hal-V2.pdf BibTex

2008

Journal articles

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, Lavoisier, 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
https://hal.inria.fr/inria-00424001/file/detreydinechin.pdf 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, Institute of Electrical and Electronics Engineers, 2008, 57 (4), pp.462-471. ⟨10.1109/TC.2007.70819⟩. ⟨inria-00080427v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/inria-00080427/file/odd-rounding.pdf 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
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
https://hal.inria.fr/inria-00545059/file/IntervalDiscussReport02-07.pdf 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
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
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
https://hal.inria.fr/inria-00068731/file/decimalexp-postprint.pdf 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
https://hal.inria.fr/inria-00211875/file/RR-6422.pdf 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
https://hal.inria.fr/inria-00267077/file/LaLo07.pdf 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. ⟨tel-00310153⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00310153/file/NANOPOROUS_MATERIALS19-2-07.pdf 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. ⟨tel-00301285⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00301285/file/these-romain_michard.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278430/file/power-journalV9.pdf 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), EDP Sciences, 2007, 41 (1), pp.85-102. ⟨10.1051/ita:2007003⟩. ⟨ensl-00000007v2⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000007/file/log.pdf https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000007/file/RR2005-37.pdf 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, Springer, 2007, 49 (1), pp.161-175. ⟨10.1007/s11265-007-0048-7⟩. ⟨ensl-00542212⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542212/file/DetreyDinechin.pdf BibTex
ref_biblio
Guillaume Melquiond, Sylvain Pion. Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩. ⟨inria-00071232v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071232/file/pion_melquiond.pdf 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
https://hal.inria.fr/inria-00145049/file/RR-6186.pdf 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
https://hal.inria.fr/inria-00119513/file/RR-6060.pdf 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
https://hal.inria.fr/inria-00119254/file/RR-6058.pdf 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
https://hal.inria.fr/inria-00126474/file/RR-6106.pdf 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. ⟨tel-00438603⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00438603/file/PhD2007-04.pdf 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 (MICPRO), Elsevier, 2006, 31 (8), pp.537-545. ⟨10.1016/j.micpro.2006.02.008⟩. ⟨ensl-00542213⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542213/file/DetreyDinechinJMM.pdf BibTex
ref_biblio
Jean-Michel Muller, Peter Kornerup. Leading Guard Digits in Finite-Precision Redundant Representations. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2006, 55 (5), pp.541-548. ⟨10.1109/TC.2006.79⟩. ⟨ensl-00000001⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000001/file/TCMai06.pdf BibTex
ref_biblio
Jean-Michel Muller, Peter Kornerup. Choosing Starting Values for certain Newton-Raphson Iterations. Theoretical Computer Science, Elsevier, 2006, 351 (1), pp.101-110. ⟨10.1016/j.tcs.2005.09.056⟩. ⟨ensl-00000009⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000009/file/FinalNewtonTCS.pdf BibTex
ref_biblio
Jean-Michel Muller, Nicolas Brisebarre, Arnaud Tisserand. Computing machine-efficient polynomial approximations. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2006, 32 (2), pp.236-256. ⟨10.1145/1141885.1141890⟩. ⟨ensl-00086826⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00086826/file/finalversion.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00397749/file/0000328.pdf 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
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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804/file/crlibm.pdf 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
https://hal.inria.fr/inria-00070194/file/RR-5831.pdf 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
https://hal.inria.fr/inria-00071231/file/RR-5646.pdf 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
https://hal.inria.fr/inria-00089230/file/RR-5967.pdf 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
https://tel.archives-ouvertes.fr/tel-01094485/file/06-these.pdf 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
https://hal.archives-ouvertes.fr/hal-00009558/file/kalman_kellergehrig.pdf BibTex

2005

Journal articles

ref_biblio
Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliable Computing, Springer Verlag, 2005, 11 (4), pp.275-290. ⟨10.1007/s11155-005-6891-y⟩. ⟨inria-00544998⟩
Accès au bibtex
BibTex
ref_biblio
Florent de Dinechin, Arnaud Tisserand. Multipartite table methods. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.319-330. ⟨ensl-00542210⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542210/file/2005-TC-Multipartite.pdf 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, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.304-318. ⟨10.1109/TC.2005.52⟩. ⟨ensl-00000002⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000002/file/QuadraticIEEETC0305.pdf BibTex
ref_biblio
Jean-Michel Muller, Nicolas Brisebarre, Peter Kornerup, David Defour, Nathalie Revol. A new range-reduction algorithm. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩. ⟨ensl-00086904⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00086904/file/RangeReductionIEEETC0305.pdf 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
https://hal.inria.fr/inria-00070603/file/BolMel.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000010/file/BMArith.pdf 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
https://hal.inria.fr/inria-00000895/file/ARITH17_Boldo.pdf 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
https://hal.inria.fr/inria-00070298/file/RR-5720.pdf 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
https://hal.inria.fr/inria-00070314/file/RR-5702.pdf 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
https://hal.inria.fr/inria-00070330/file/RR-5683.pdf 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
https://hal.inria.fr/inria-00070331/file/RR-5682.pdf 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
https://hal.inria.fr/inria-00070432/file/RR-5574.pdf 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
https://hal.inria.fr/inria-00070503/file/RR-5504.pdf 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
https://hal.inria.fr/inria-00070504/file/RR-5503.pdf 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
https://hal.inria.fr/inria-00070495/file/RR-5511.pdf BibTex

2004

Journal articles

ref_biblio
Jean-Michel Muller. Les leçons d’un algorithme délinquant. Interstices, INRIA, 2004. ⟨hal-01350243⟩
Accès au bibtex
BibTex
ref_biblio
Sylvie Boldo, Marc Daumas. A simple test qualifying the accuracy of Horner's rule for polynomials. Numerical Algorithms, Springer Verlag, 2004, 37 (1-4), pp.45-60. ⟨10.1023/B:NUMA.0000049487.98618.61⟩. ⟨inria-00071879⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071879/file/RR-4707.pdf 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 , Zürich International Mathematical Society Publishing House, 2004, 50 (1-2), pp.147-182. ⟨hal-00863116⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00863116/file/muller2.pdf 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, Institute of Electrical and Electronics Engineers, 2004, 53 (8), pp.1069- 1072. ⟨10.1109/TC.2004.37⟩. ⟨ensl-00087465⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00087465/file/DivIEEETC-aug04.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00086852/file/EMAsap04.pdf 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
https://hal.inria.fr/inria-00070739/file/RR-5259.pdf 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
https://hal.inria.fr/inria-00070684/file/RR-5316.pdf 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
https://hal.inria.fr/inria-00070681/file/RR-5319.pdf 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
https://hal.inria.fr/inria-00077045/file/RR-5158.pdf 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
https://hal.inria.fr/inria-00070649/file/RR-5354.pdf 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
https://hal.inria.fr/inria-00071446/file/RR-5137.pdf 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
https://hal.inria.fr/inria-00070730/file/RR-5268.pdf 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
https://hal.inria.fr/inria-00070570/file/RR-5437.pdf 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
https://hal.inria.fr/inria-00071249/file/RR-5406.pdf 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
https://hal.inria.fr/inria-00070569/file/RR-5438.pdf 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
https://hal.inria.fr/inria-00070636/file/RR-5367.pdf 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
https://hal.inria.fr/inria-00071443/file/RR-5140.pdf 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
https://hal.inria.fr/inria-00070661/file/RR-5340.pdf 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. ⟨tel-00008951⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00008951/file/tel-000089511.pdf BibTex

2003

Journal articles

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, Springer, 2003, 33 (1-2), pp.7-18. ⟨10.1023/A:1021133616373⟩. ⟨inria-00072767⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072767/file/RR-3886.pdf BibTex
ref_biblio
Vincent Lefèvre, Jean-Michel Muller. On-the-Fly Range Reduction. Journal of Signal Processing Systems, Springer, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. ⟨10.1023/A:1021137717282⟩. ⟨inria-00099524⟩
Accès au bibtex
BibTex
ref_biblio
Marc Daumas, Philippe Langlois. Additive Symmetric: the Non-Negative Case. Theoretical Computer Science, Elsevier, 2003, 291 (2), pp.143-157. ⟨10.1016/S0304-3975(02)00223-2⟩. ⟨inria-00072516⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072516/file/RR-4115.pdf 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
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00086896/file/EMAsap03.pdf 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
https://hal.inria.fr/inria-00545070/file/GPR.pdf 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
https://hal.inria.fr/inria-00348711/file/rnc.pdf 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
https://hal.inria.fr/inria-00071560/file/RR-5024.pdf 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
https://hal.inria.fr/inria-00071634/file/RR-4945.pdf 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
https://hal.inria.fr/inria-00071642/file/RR-4937.pdf 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
https://hal.inria.fr/inria-00071744/file/RR-4841.pdf 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
https://hal.inria.fr/inria-00071745/file/RR-4840.pdf 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
https://hal.inria.fr/inria-00071799/file/RR-4787.pdf 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
https://hal.inria.fr/inria-00071850/file/RR-4737.pdf 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
https://hal.inria.fr/inria-00071856/file/RR-4731.pdf 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
https://hal.inria.fr/inria-00071899/file/RR-4687.pdf 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. ⟨tel-00006022⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00006022/file/tel-00006022.pdf 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
https://hal.inria.fr/hal-00793484/file/overview.pdf BibTex

2002

Conference papers

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
https://hal.inria.fr/inria-00072115/file/RR-4473.pdf 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
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
https://hal.inria.fr/inria-00071992/file/RR-4593.pdf 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
https://hal.inria.fr/inria-00072030/file/RR-4558.pdf 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
https://hal.inria.fr/inria-00072056/file/RR-4532.pdf 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
https://hal.inria.fr/inria-00072093/file/RR-4495.pdf 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
https://hal.inria.fr/inria-00072031/file/RR-4557.pdf 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
https://hal.inria.fr/inria-00072094/file/RR-4494.pdf 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
https://hal.inria.fr/inria-00072102/file/RR-4486.pdf 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
https://hal.inria.fr/inria-00071948/file/RR-4637.pdf 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
https://hal.inria.fr/inria-00072090/file/RR-4498.pdf 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
https://hal.inria.fr/inria-00071941/file/RR-4644.pdf BibTex

2001

Journal articles

ref_biblio
Nathalie Revol. Arithmétique par intervalles. Réseaux et systèmes répartis, calculateurs parallèles, Hermès science, 2001, L'arithmétique des ordinateurs, 13 (4-5), pp.387-426. ⟨inria-00545026⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00545026/file/arith-int.pdf 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
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
BibTex

Reports

ref_biblio
Philippe Langlois. An Automatic Correcting Method. RR-4204, INRIA. 2001. ⟨inria-00072418⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072418/file/RR-4204.pdf 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
https://hal.inria.fr/inria-00072290/file/RR-4297.pdf 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
https://hal.inria.fr/inria-00072521/file/RR-4110.pdf 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
https://hal.inria.fr/inria-00072320/file/RR-4267.pdf 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
https://hal.inria.fr/inria-00072282/file/RR-4305.pdf 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
https://hal.inria.fr/inria-00072398/file/RR-4221.pdf 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
https://hal.inria.fr/inria-00072387/file/RR-4231.pdf 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
https://hal.inria.fr/inria-00072417/file/RR-4205.pdf 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
https://hal.inria.fr/inria-00072536/file/RR-4095.pdf 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
https://hal.inria.fr/inria-00072253/file/RR-4334.pdf BibTex

2000

Journal articles

ref_biblio
Nathalie Revol, Jean-Claude Yakoubsohn. Accelerated Shift-and-Add algorithms. Reliable Computing, Springer Verlag, 2000, 6 (2), pp.193-205. ⟨10.1023/A:1009921407000⟩. ⟨inria-00545004⟩
Accès au bibtex
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
https://hal.inria.fr/inria-00072615/file/RR-4025.pdf 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
https://hal.inria.fr/inria-00072681/file/RR-3967.pdf 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
https://hal.inria.fr/inria-00072682/file/RR-3966.pdf 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
https://hal.inria.fr/inria-00072577/file/RR-4059.pdf 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
https://hal.inria.fr/inria-00072593/file/RR-4045.pdf 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
https://hal.inria.fr/inria-00072595/file/RR-4043.pdf 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
https://hal.inria.fr/inria-00072594/file/RR-4044.pdf 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
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
https://hal.inria.fr/inria-00072830/file/RR-3828.pdf 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
https://hal.inria.fr/inria-00072889/file/RR-3772.pdf 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
https://hal.inria.fr/inria-00072907/file/RR-3755.pdf 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
https://hal.inria.fr/inria-00072885/file/RR-3776.pdf 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
https://hal.inria.fr/inria-00072908/file/RR-3754.pdf 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
https://hal.inria.fr/inria-00072909/file/RR-3753.pdf 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
https://hal.inria.fr/inria-00072890/file/RR-3771.pdf 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, IEEE, 1998, 17 (12), pp.1319-1325. ⟨hal-00856846⟩
Accès au bibtex
BibTex

1996

Journal articles

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