Dancing on the Lip of the Volcano: Chosen Ciphertext Attacks on Apple iMessage Christina Garman Johns Hopkins University

Source URL: www.cs.jhu.edu

• Cryptography
• IMessage
• Chosen-ciphertext attack
• Adaptive chosen-ciphertext attack
• Attack model
• Padding oracle attack
• RSA
• Messages
• Block cipher mode of operation
• ICloud
• Authenticated encryption
• Symmetric-key algorithm

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)

Source URL: perso.ens-lyon.fr

• Numerical analysis
• Mathematics
• Applied mathematics
• Iterative refinement
• Iterative method
• Interval arithmetic
• Newton's method
• Condition number
• Residual
• Root-finding algorithm
• Affine arithmetic

On the Ring-LWE and Polynomial-LWE Problems Miruna Rosca1,2 , Damien Stehlé1 , and Alexandre Wallet1 1 ENS de Lyon, Laboratoire LIP (U. Lyon, CNRS, ENSL, INRIA, UCBL), France

Source URL: eprint.iacr.org

• Algebra
• Abstract algebra
• Mathematics
• Commutative algebra
• Lattice-based cryptography
• Post-quantum cryptography
• Cryptography
• Field theory
• Ring learning with errors
• Ring learning with errors key exchange
• Ring learning with errors signature

On Computing the Resultant of Generic Bivariate Polynomials Gilles Villard Univ Lyon, CNRS, ENS de Lyon, Inria, Université Claude Bernard Lyon 1, LIP UMR 5668, FLyon, France ABSTRACT An algorithm is presented for

Source URL: perso.ens-lyon.fr

Recent Progress in Linear Algebra and Lattice Basis Reduction Gilles Villard CNRS, ENS de Lyon, INRIA, UCBL, Université de Lyon Laboratoire LIP

Source URL: perso.ens-lyon.fr

• Mathematics
• Algebra
• Cryptography
• Computational number theory
• Lattice points
• Linear algebra
• Lattice-based cryptography
• Lattice reduction
• LenstraLenstraLovsz lattice basis reduction algorithm
• Hermite normal form
• Euclidean algorithm
• Integer relation algorithm

Polyhedral Abstract Interpretation ´ Laure Gonnord – Maˆıtre de conferences Universite´ Lyon1/LIP Keywords

Source URL: laure.gonnord.org

Proposal for a joint “équipe projet” between Inria and UCBL, integrated to UMR LIP Analyses, Hardware/Software Compilation, Code Optimization for Complex Dataflow HPC Applications Short temporary name: CASH (Compil

Source URL: laure.gonnord.org

s fish and mission to runner of . nment set lip of fish

Source URL: www.nativefishlab.net

Synthesis of ranking functions using extremal counterexamples Laure Gonnord, David Monniaux, Gabriel Radanne (Lucas Seguinot) Slides : credits Gabriel Radanne Lyon1/LIP

Source URL: laure.gonnord.org

Lip-Lap Laituri Oy / EKOHJE LAITURIN ÖLJYÄMISEEN Lip-Lap Laituri Oy suosittelee valmistamiensa laiturien öljyämistä. Ensimmäinen kerta olisi hyvä tehdä ensimmäisen tai toisen kesän käytön jälkeen

Source URL: www.lip-lap.fi