ETHEREUM : UN REGISTRE DE TRANSACTIONS GÉNÉRALISTE, SÉCURISÉ ET DÉCENTRALISÉ RÉVISION EIP-150 DR. GAVIN WOOD FONDATEUR, ETHEREUM & ETHCORE

Source URL: www.ethereum-france.com

Axel Legay 13 Bis rue des Quatre ChênesBruz (France) Phone : +http://people.irisa.fr/Axel.Legay/

Source URL: people.irisa.fr

• Model checking
• Uppaal Model Checker
• Conference on Implementation and Application of Automata

Marc Johnson President, ARTPORT_making waves France (association loiWebsite: www.artport-project.org Marc Johnson is a French licensed architect, filmmaker, and visual artist, who graduated from the École Nationa

Source URL: artport-project.org

• Culture of Paris
• Paris
• cole des Beaux-Arts
• French architecture

10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France

Source URL: smtcomp.sourceforge.net

• Theoretical computer science
• Computing
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Benchmark
• Solver
• Lis
• Standard Performance Evaluation Corporation

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

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Computer arithmetic
• Numerical analysis
• Arithmetic
• Functions and mappings
• Differential calculus
• Interval arithmetic
• Rounding
• Derivative
• Integral

Multivariate Cryptography Louis Goubin, Versailles St-Quentin-en-Yvelines University, France, Jacques Patarin, Versailles St-Quentin-en-Yvelines University, France, and Bo-Yin Yang, Institute of Information Science, Acad

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• Post-quantum cryptography
• Algebra
• Polynomials
• Unbalanced Oil and Vinegar
• Hidden Field Equations
• Algebraic equation
• QUAD
• Variable
• Equation
• Finite field

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

Generic Attacks against Beyond-Birthday-Bound MACs Gaëtan Leurent1 , Mridul Nandi2 , and Ferdinand Sibleyras1 1 Inria, France

Source URL: who.rocq.inria.fr

• Message authentication codes
• Error detection and correction
• Constructible universe
• CBC-MAC