Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

364 Results
Structure: Internal structure identifier : 178327
Image document

New Encryption Schemes and Pseudo-Random Functions with Advanced Properties from Standard Assumptions

Radu Titiu
Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN050⟩
Theses tel-03116774v1
Image document

Table-based division by small integer constants

Florent de Dinechin , Laurent-Stéphane Didier
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⟩
Conference papers ensl-00642145v1

Reducing Communication Overhead of the Subset Difference Scheme

Sanjay Bhattacherjee , Palash Sarkar
IEEE Transactions on Computers, 2015, 65 (8), pp.2575-2587. ⟨10.1109/TC.2015.2485231⟩
Journal articles hal-01241138v1

Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity

Alin Bostan , Louis Dumont , Bruno Salvy
Journal of Symbolic Computation, 2017, Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra, 83, pp.68-92. ⟨10.1016/j.jsc.2016.11.006⟩
Journal articles hal-01244914v1

Unbounded ABE via Bilinear Entropy Expansion, Revisited

Jie Chen , Junqing Gong , Lucas Kowalczyk , Hoeteck Wee
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⟩
Conference papers hal-01899901v1
Image document

The MPFI Library: Towards IEEE 1788-2015 Compliance

Nathalie Revol
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⟩
Conference papers hal-02162346v1
Image document

Lossy Algebraic Filters With Short Tags

Benoît Libert , Chen Qian
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⟩
Conference papers hal-02124968v1

Measuring, Simulating and Exploiting the Head Concavity Phenomenon in BKZ

Shi Bai , Damien Stehlé , Weiqiang Wen
ASIACRYPT, 2018, Brisbane, Australia
Conference papers hal-01934174v1

CRYSTALS-Dilithium: A Lattice-Based Digital Signature Scheme

Leo Ducas , Eike Kiltz , Tancrede Lepoint , Vadim Lyubashevsky , Peter Schwabe , et al.
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2018
Journal articles hal-01934176v1

Speed-Ups and Time-Memory Trade-Offs for Tuple Lattice Sieving

Gottfried Herold , Elena Kirshanova , Thijs Laarhoven
PKC 2018 - 21st International Conference on Practice and Theory of Public Key Cryptography, Mar 2018, Rio de Janeiro, Brazil
Conference papers hal-01934183v1

An LLL Algorithm for Module Lattices

Changmin Lee , Alice Pellet-Mary , Damien Stehlé , Alexandre Wallet
ASIACRYPT, 2019, Kobe, Japan. pp.59-90, ⟨10.1007/978-3-030-34621-8_3⟩
Conference papers hal-02397335v1
Image document

Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform

Nicolas Brisebarre , Mioara Joldes , Jean-Michel Muller , Ana-Maria Naneş , Joris Picot
ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
Journal articles hal-01949458v2
Image document

Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation

Bruno Salvy
STACS 2018 - 35th Symposium on Theoretical Aspects of Computer Science, Feb 2018, Caen, France. ⟨10.4230/LIPIcs.STACS.2018.1⟩
Conference papers hal-01926094v1
Image document

Lossy trapdoor primitives, zero-knowledge proofs and applications

Chen Qian
Cryptography and Security [cs.CR]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S088⟩
Theses tel-02888512v2
Image document

LLL reducing with the most significant bits

Goel Sarushi , Ivan Morel , Damien Stehlé , Gilles Villard
39th International Symposium on Symbolic and Algebraic Computation, Kobe, Japan, July 23-25, 2014, Jul 2014, Kobe, Japan. ⟨10.1145/2608628.2608645⟩
Conference papers ensl-00993445v1
Image document

Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming

Mioara Joldes , Jean-Michel Muller , Valentina Popescu
IEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom
Conference papers hal-01491255v2
Image document

A Lattice Basis Reduction Approach for the Design of Finite Wordlength FIR Filters

Nicolas Brisebarre , Silviu-Ioan Filip , Guillaume Hanrot
IEEE Transactions on Signal Processing, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩
Journal articles hal-01308801v3
Image document

Error bounds on complex floating-point multiplication with an FMA

Claude-Pierre Jeannerod , Peter Kornerup , Nicolas Louvet , Jean-Michel Muller
Mathematics of Computation, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩
Journal articles hal-00867040v5
Image document

Algorithmes Efficaces en Calcul Formel

Alin Bostan , Frédéric Chyzak , Marc Giusti , Romain Lebreton , Grégoire Lecerf , et al.
Books hal-01431717v1

Tableau sequences, open diagrams, and Baxter families

Sophie Burrill , Julien Courtiel , Eric Fusy , Stephen Melczer , Marni Mishna
European Journal of Combinatorics, 2016, 58, pp.144 - 165. ⟨10.1016/j.ejc.2016.05.011⟩
Journal articles hal-01394155v1

Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices

Shi Bai , Damien Stehlé , Wen Weiqiang
ICALP 2016, 2016, Roma, Italy. ⟨10.4230/LIPIcs.ICALP.2016.76⟩
Conference papers hal-01394213v1
Image document

A new multiplication algorithm for extended precision using floating-point expansions

Jean-Michel Muller , Valentina Popescu , Ping Tak Peter Tang
ARITH23, Jul 2016, Santa Clara, United States
Conference papers hal-01298195v1
Image document

Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study

Anastasia Volkova , Matei Istoan , Florent de Dinechin , Thibault Hilaire
IEEE Transactions on Computers, 2019, 68 (4), pp.597 - 608. ⟨10.1109/TC.2018.2879432⟩
Journal articles hal-01561052v3
Image document

Contribution to error analysis of algorithms in floating-point arithmetic

Antoine Plet
Computer Arithmetic. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN038⟩
Theses tel-01582218v1

New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs

Gottfried Herold , Max Hoffmann , Michael Klooss , Carla Ràfols , Andy Rupp
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017, Dallas, United States
Conference papers hal-01643558v1

Optimal focal length of primary mirrors in Fresnel linear collectors

Paola Boito , Roberto Grena
Solar Energy, 2017, 155, pp.1313 - 1318. ⟨10.1016/j.solener.2017.07.079⟩
Journal articles hal-01647602v1
Image document

Multiplierless Processing Element for Non-Power-of-Two FFTs

Fahad Qureshi , Anastasia Volkova , Thibault Hilaire , Jarmo Takala
2018
Preprints, Working Papers, ... hal-01690832v1
Image document

Formalization of double-word arithmetic, and comments on "Tight and rigorous error bounds for basic building blocks of double-word arithmetic

Jean-Michel Muller , Laurence Rideau
ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩
Journal articles hal-02972245v2
Image document

Cryptographic aspects of orthogonal lattices

Thanh Huyên Nguyen
Cryptography and Security [cs.CR]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN071⟩
Theses tel-03562067v1

A Lattice-Based Traitor Tracing Scheme

San Ling , Damien Stehlé
2012
Other publications hal-00767545v1