Skip to Main content Skip to Navigation


hal-02397396v1  Journal articles
Jung Hee CheonKyoohyung HanChangmin LeeHansol RyuDamien 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-02100500v2  Journal articles
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-01934181v1  Journal articles
Gottfried HeroldElena KirshanovaAlexander 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-03118271v1  Conference papers
Karim BagheryAlonso GonzálezZaira PindadoCarla 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. ⟨10.1007/978-3-030-51938-4_2⟩
hal-00698610v1  Conference papers
Alin BostanFrédéric ChyzakZiming LiBruno 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-01788619v1  Conference papers
Alin BostanFrédéric ChyzakPierre LairezBruno 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-00763954v3  Conference papers
Vincent Lefèvre. SIPE: Small Integer Plus Exponent
21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States
hal-00759206v1  Conference papers
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
...
ensl-00759912v1  Conference papers
Nicolas BrisebarreMilos ErcegovacJean-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⟩
...
hal-01559955v1  Conference papers
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⟩
...
ensl-00762990v1  Conference papers
Nicolas BrunieFlorent de DinechinMatei IstoanGuillaume Sergent. L'arithmétique sur le tas
Symposium en Architectures nouvelles de machines, Jan 2013, France
...
ensl-00763067v1  Conference papers
Nicolas BrunieFlorent de DinechinBenoît de Dinechin. Conception d'une matrice reconfigurable pour coprocesseur fortement couplé
Symposium en Architectures nouvelles de machines, Jan 2013, France
...
hal-00763110v1  Conference papers
Fabien LaguillaumieGuilhem Castagnos. Homomorphic Encryption for Multiplications and Pairing Evaluation
Security and Cryptography for Networks - 8th International Conference, SCN 2012, Sep 2012, Amalfi, Italy
...
ensl-01001673v1  Journal articles
Dong WangJean-Michel MullerNicolas BrisebarreMilos 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⟩
...
hal-01830253v1  Conference papers
Romain SerraDenis ArzelierFlorent BréhardMioara Joldeş. 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-01829132v1  Conference papers
Jiangtao LiJunqing Gong. Improved Anonymous Broadcast Encryptions
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⟩
...
tel-02337930v1  Theses
Alice Pellet--Mary. On ideal lattices and the GGH13 multilinear map
Cryptography and Security [cs.CR]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN048⟩
...
hal-01111551v2  Journal articles
Mioara JoldeşOlivier MartyJean-Michel MullerValentina 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-00920662v2  Conference papers
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
...
ensl-00993445v1  Conference papers
Goel SarushiIvan MorelDamien 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⟩
...
hal-01050021v2  Journal articles
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-01351529v3  Journal articles
Mioara JoldeşJean-Michel MullerValentina 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-01136005v5  Journal articles
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-01949458v2  Journal articles
Nicolas BrisebarreMioara JoldeşJean-Michel MullerAna-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-01869009v2  Journal articles
Nicolas FabianoJean-Michel MullerJoris 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⟩