Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Abstract algebra
• Mathematics
• Finite fields
• Group theory
• Logarithms
• Algebraic number theory
• Numerical linear algebra
• XTR
• Discrete logarithm
• Gaussian elimination
• Quadratic field

Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,

Source URL: www.avacs.org

• Differential equations
• Mathematics
• Hybrid automaton
• Hybrid system
• Systems science
• X0
• Center
• FO
• Systems theory

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

Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

Source URL: pxtp.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Computability theory
• Models of computation
• First-order logic
• Lambda calculus
• Term
• Quantifier
• Natural deduction
• CurryHoward correspondence

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

Source URL: www.cs.man.ac.uk

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Mathematics
• Abstract algebra
• Algebraic number theory
• Integer factorization algorithms
• Quadratic forms
• Field theory
• Numerical linear algebra
• Quadratic sieve
• Factorization
• Factor base
• Ideal class group

No more Bricolage! Methods and Tools to Characterize, Replicate and Compare Pointing Transfer Functions Géry Casiez 1,2,3 and Nicolas Roussel 2 1 LIFL, 2 INRIA Lille & 3 University of Lille Villeneuve d’Ascq, France

Source URL: direction.bordeaux.inria.fr

Mon futur métier : Clés de compréhension et de choix  1 : Un métier, pour quoi faire ?  2 : Que faire en cas d’échec ?  3 : Le marché local, national et international  4 : Quelques questions à se pos

Source URL: www.win-france.org

On the propagation of linear relations through an Sbox Christina Boura1,2 and Anne Canteaut1 1 SECRET Project-Team - INRIA Paris-Rocquencourt - B.PLe Chesnay Cedex - France

Source URL: webmath.univ-rennes1.fr

The learnability of Business Rules Olivier Wang1,2 , Changhai Ke1 , Leo Liberti2 , Christian de Sainte Marie1 1 2 IBM France, 9 Rue de Verdun, 94250 Gentilly, France

Source URL: www.lix.polytechnique.fr