Search - Archive ouverte HAL Access content directly

Filter your results

25 Results
Structure: Internal structure identifier : 178327
Image document

Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors

Philippe Theveny
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0941⟩
Theses tel-01126973v1
Image document

Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration

Stephen Melczer
Symbolic Computation [cs.SC]. Université de Lyon; University of Waterloo (Canada), 2017. English. ⟨NNT : 2017LYSEN013⟩
Theses tel-01587716v1
Image document

Méthodes de calculs sur les données chiffrées

Marie Paindavoine
Cryptographie et sécurité [cs.CR]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSE1009⟩
Theses tel-01526699v1
Image document

Contributions to floating-point arithmetic : Coding and correct rounding of algebraic functions

Adrien Panhaleux
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0721⟩
Theses tel-00744373v1
Image document

Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle

Florent Bréhard
Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN032⟩
Theses tel-02337901v1
Image document

Functional encryption and distributed signatures based on projective hash functions, the benefit of class groups

Ida Tucker
Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN054⟩
Theses tel-03021689v1
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
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

Lossy trapdoor primitives, zero-knowledge proofs and applications

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

Lattice - Based Cryptography - Security Foundations and Constructions

Adeline Roux-Langlois
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0940⟩
Theses tel-01126931v1
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
Image document

Contributions to computer arithmetic and applications to embedded systems

Nicolas Brunie
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0894⟩
Theses tel-01078204v1
Image document

On algebraic variants of Learning With Errors

Georgiana-Miruna Rosca
Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN063⟩
Theses tel-03085029v1
Image document

On ideal lattices and the GGH13 multilinear map

Alice Pellet--Mary
Cryptography and Security [cs.CR]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN048⟩
Theses tel-02337930v1
Image document

Tools for the Design of Reliable and Efficient Functions Evaluation Libraries

Serge Torres
Computer Arithmetic. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN030⟩
Theses tel-01396907v1
Image document

Bases of relations in one or several variables: fast algorithms and applications

Vincent Neiger
Symbolic Computation [cs.SC]. École Normale Supérieure de Lyon - University of Waterloo, 2016. English. ⟨NNT : 2016LYSEN052⟩
Theses tel-01431413v1
Image document

Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs

Nicolas Brisebarre
Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2017
Habilitation à diriger des recherches tel-01658342v3
Image document

Contributions to the Formal Verification of Arithmetic Algorithms

Erik Martin-Dorel
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0742⟩
Theses tel-00745553v1
Image document

High Performance and Reliable Algebraic Computing

Clément Pernet
Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014
Habilitation à diriger des recherches tel-01094212v1
Image document

Applications of Structure-Preserving Cryptography and Pairing-Based NIZK Proofs

Benoît Libert
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Lyon, 2015
Habilitation à diriger des recherches tel-02151157v1
Image document

Robust tools for weighted Chebyshev approximation and applications to digital filter design

Silviu-Ioan Filip
Signal and Image Processing. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN063⟩
Theses tel-01447081v1
Image document

Contributions to the hardness foundations of lattice-based cryptography

Weiqiang Wen
Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN070⟩
Theses tel-01949339v2
Image document

Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection

Jingyan Lu Jourdan
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0762⟩
Theses tel-00779764v1
Image document

Privacy-preserving cryptography from pairings and lattices

Fabrice Mouhartem
Cryptography and Security [cs.CR]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN060⟩
Theses tel-01913872v1
Image document

Towards fast and certified multiple-precision librairies

Valentina Popescu
Computer Arithmetic. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN036⟩
Theses tel-01534090v3