Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Metaphysics
• Fixed point
• Game theory
• Abstract interpretation
• Sequence
• Structure
• Dynamical system
• Model theory
• Series
• KnasterTarski theorem
• operator

The Usage of Counter Revisited: Second-Preimage Attack on New Russian Standardized Hash Function Jian Guo1 , J´er´emy Jean1 , Ga¨etan Leurent2 , Thomas Peyrin1 , and Lei Wang1 1

Source URL: who.rocq.inria.fr

• Cryptography
• Cryptographic hash functions
• Error detection and correction
• Streebog
• GOST
• Preimage attack
• SHA-3
• MD5
• SHA-2
• SHA-1
• Hash function
• BLAKE

comput. complex), 91 – 030091–40 DOIs00037c Birkh¨

Source URL: perso.ens-lyon.fr

• Algebra
• Mathematics
• Linear algebra
• Matrix theory
• Determinant
• Frobenius normal form
• Matrix
• Characteristic polynomial
• Polynomial matrix
• Euclidean algorithm
• Matrix exponential
• Invertible matrix

Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France

Source URL: www.lix.polytechnique.fr

• Theoretical computer science
• Formal methods
• French Institute for Research in Computer Science and Automation
• Computer science
• Verification
• Formal verification
• Software verification
• Mathematics
• Cognitive science

(Microsoft Word - Hölzer Tarifnummern Handelsnamen alphabetisch Tabelle_FR)

Source URL: www.blv.admin.ch

FPGA implementations of SPRING And their Countermeasures against Side-Channel Attacks Hai Brenner1 , Lubos Gaspar2 , Ga¨etan Leurent3 , Alon Rosen1 , Fran¸cois-Xavier Standaert2 1

Source URL: who.rocq.inria.fr

• Algebra
• Abstract algebra
• Mathematics
• Polynomials
• Coding theory
• Error detection and correction
• Finite fields
• SWIFFT
• BCH code

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

Proposition de stage niveau bac+5 Composition de composants et de contrats pour systèmes synchrones : formalisation en Why3 Cadre

Source URL: julien.signoles.free.fr

Offres groupées de services Conventions HSBC Fusion TVA Les  conventions HSBC Fusion incluent un ensemble de services et prestations nécessaires à la gestion de votre activité professionnelle. Cette offre est dispo

Source URL: www.hsbc.fr

DMA – École normale supérieurenovembre 2015 Partiel Algèbre 1 Responsable : O. D EBARRE

Source URL: www.math.ens.fr