Séminaire Cambium, Inria Paris, 2 rue Simone Iff
                          Salle Lions 1, bâtiment C
                          Lundi 26 septembre, 10h30

                               Vincent Laporte
                  Université de Lorraine, CNRS, Inria, LORIA

           High-Assurance Cryptography in Jasmin & Spectre Security

This talk first presents the Jasmin programming language and
associated tooling designed for implementing high-speed cryptography
routines with strong formal guaranties: safety, functional
correctness, security in spite of side-channel attacks, etc.

It then focuses on a type system for (selective) speculative load
hardening (SLH): well-typed programs are secure against a class of
speculative execution attacks known as Spectre v1. The corresponding
type-checker implemented for the Jasmin language can check LibJade, a
large, efficient, and secure library of cryptographic primitives.

            Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct:
                  https://webconf.math.cnrs.fr/b/fra-ryy-fjn