FR

Results: 387169



#Item
251Computer science / Theory of computation / Workshop on Reachability Problems / Software verification / Model checking / Computer Aided Verification / French Institute for Research in Computer Science and Automation / Computing

February 1st, 2015 M IHAELA SIGHIREANU Born: Citizenship: Marital status:

Add to Reading List

Source URL: www.irif.fr

Language: English - Date: 2015-04-28 16:53:44
252Cryptography / Block cipher modes of operation / Block cipher / Chosen-plaintext attack / Authenticated encryption / Cryptanalysis / Galois/Counter Mode / Chosen-ciphertext attack / Advanced Encryption Standard / OCB mode / Data Encryption Standard / Book:Cryptography 1

Collision Attacks against CAESAR Candidates Forgery and Key-Recovery against AEZ and Marble Thomas Fuhr1 , Ga¨etan Leurent2 , Valentin Suder3 1 ANSSI, France

Add to Reading List

Source URL: who.rocq.inria.fr

Language: English - Date: 2018-06-14 07:12:36
253Search algorithms / Information retrieval / Information science / Cryptography / Hashing / Cryptographic hash functions / Error detection and correction / Hash function / Hash table / Hopf decomposition / Compound of twelve pentagonal antiprisms with rotational freedom

Time-memory Trade-offs for Near-collisions Ga¨etan Leurent UCL Crypto Group Abstract. In this work we consider generic algorithms to find nearcollisions for a hash function. If we consider o

Add to Reading List

Source URL: who.rocq.inria.fr

Language: English - Date: 2018-06-14 07:12:40
254Algebra / Abstract algebra / Mathematics / Algebraic geometry / Sheaf theory / Intersection theory / Coherent sheaf / Sheaf / Chow group / Cohomology / Morphism of algebraic varieties / Vertex operator algebra

1003 Documenta Math. Formality of Derived Intersections Julien Grivaux

Add to Reading List

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

Language: English - Date: 2016-04-27 12:14:31
255

Sur l’homologie des groupes orthogonaux et symplectiques à coefficients tordus Aurélien DJAMENT∗ et Christine VESPA†‡ 16 octobreRésumé

Add to Reading List

Source URL: irma.math.unistra.fr

Language: French - Date: 2009-10-16 04:36:38
    256

    Sur la constructibilité uniforme des images directes supérieures en cohomologie étale. エタールコホモロジーの高次順像の 一様構成可能性について Fabrice Orgogozo (CNRS, École polytechnique)

    Add to Reading List

    Source URL: fabrice.orgogozo.perso.math.cnrs.fr

    Language: French - Date: 2018-01-23 17:43:36
      257Geometry / Abstract algebra / Algebra / Algebraic geometry / Projective geometry / Algebraic varieties / Projective variety / Rational point / Fano variety / Hypersurface / Birational geometry / Degree of an algebraic variety

      Rational curves on hypersurfaces ——————– Olivier Debarre 2016 Contents

      Add to Reading List

      Source URL: www.math.ens.fr

      Language: English - Date: 2018-06-05 11:56:45
      258Algebra / Abstract algebra / Mathematics / Algebraic geometry / Vector bundles / Bernhard Riemann / Sheaf theory / Characteristic classes / GrothendieckRiemannRoch theorem / K-theory / Chern class / Coherent sheaf

      Citations From References: 2 From Reviews: 0 Previous Up

      Add to Reading List

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

      Language: English - Date: 2016-05-22 08:24:29
      259

      Foncteurs polynomiaux Homologie stable ` a coefficients tordus Foncteurs polynomiaux et homologie stable `a

      Add to Reading List

      Source URL: irma.math.unistra.fr

      Language: French - Date: 2013-11-21 03:58:07
        260Dynamical systems / Mathematics / Lyapunov exponent / Translation surface / Giovanni Forni / Ergodic theory / Mathematical analysis / Carlos Matheus / Anton Zorich

        Citations From References: 2 From Reviews: 0 Previous Up

        Add to Reading List

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

        Language: English - Date: 2016-05-22 08:24:31
        UPDATE