Formal moduli problems and formal derived stacks Damien Calaque and Julien Grivaux To the memory of Jean-Louis Koszul A mathematician, like a painter or a poet, is a maker of patterns. If his patterns are more permanent

Source URL: jgrivaux.perso.math.cnrs.fr

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Category theory
• Differential algebra
• Algebras
• Algebraic structures
• Differential graded Lie algebra
• Deformation theory
• Associative algebra
• F-algebra

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

Interpolants in Nonlinear Theories over the Reals Sicun Gao and Damien Zufferey? MIT Revised on June 17, 2016.

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Interpolation
• Craig interpolation
• Boolean satisfiability problem
• Interval arithmetic
• Local consistency

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

Source URL: jgrivaux.perso.math.cnrs.fr

• Algebra
• Abstract algebra
• Mathematics
• Algebras
• Multilinear algebra
• Lie algebras
• Hopf algebras
• Category theory
• Universal enveloping algebra
• PoincarBirkhoffWitt theorem
• Exterior algebra
• F-algebra

Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices Shi Bai1 , Damien Stehl´e1 and Weiqiang Wen1 1

Source URL: eprint.iacr.org

• Algebra
• Mathematics
• Cryptography
• Linear algebra
• Lattice-based cryptography
• Post-quantum cryptography
• Lattice points
• Computational hardness assumptions
• Lattice
• Euclidean vector
• Basis
• Crystal structure

CRYSTALS – Kyber: a CCA-secure module-lattice-based KEM Joppe Bos∗ , Léo Ducas† , Eike Kiltz‡ , Tancrède Lepoint§ , Vadim Lyubashevsky¶ , John M. Schanckk , Peter Schwabe∗∗ , Gregor Seiler†† , Damien

Source URL: cryptojedi.org

• Cryptography
• Post-quantum cryptography
• Ciphertext indistinguishability
• Ring learning with errors
• Chosen-plaintext attack
• Learning with errors
• Advantage
• Lattice-based cryptography
• Chosen-ciphertext attack
• Digital signature
• Ideal lattice cryptography
• Semantic security

Measuring, simulating and exploiting the head concavity phenomenon in BKZ Shi Bai1 , Damien Stehl´e2 , and Weiqiang Wen2 1 2

Source URL: eprint.iacr.org

• Cryptography
• Mathematics
• Algebra
• Post-quantum cryptography
• Lattice-based cryptography
• Linear algebra
• Lattice points
• Lattice reduction
• Lattice
• Crystal structure
• GramSchmidt process
• Lattice problem

Improved security proofs in lattice-based cryptography: using the Rényi divergence rather than the statistical distance Shi Bai1 , Tancrède Lepoint3 , Adeline Roux-Langlois4 , Amin Sakzad5 , Damien Stehlé2 , and Ron S

Source URL: eprint.iacr.org

• Mathematical analysis
• Mathematics
• Post-quantum cryptography
• Number theory
• Measure theory
• Cryptography
• Algebra
• Distribution
• Support
• Learning with errors
• Weight
• KullbackLeibler divergence

Aneala April Baronial Council Attendance: Nathan, Leonie, Damien, Elizabeth S., Mery, Isolde, Best, Richard Apologies: Alessandra, Branwen, Kilic, Margarita, Elizabeth R. April 2017 Minutes

Source URL: aneala.lochac.sca.org