Sites Inria

There are 110 Results with the keyword : "Séminaire"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

4/07/2016

Place : 2 rue Simone Iff, 75012 Paris - Salle Jacques-Louis Lions 1, bâtiment C - 10h30

Guest(s) : Arthur Charguéraud

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

21/07/2016

Place : 2 rue Simone Iff, 75012 Paris (ou: 41 rue du Charolais) - Salle Jacques-Louis Lions 1, bâtiment C

Guest(s) : Adrien Guatto

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

12/09/2016

Place : 2 rue Simone Iff, 75012 Paris - Salle Jacques-Louis Lions 1, bâtiment C - 10h30

Guest(s) : Damien Pous

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

17/10/2016

As part of the greatest Everest expedition, we are setting out to implement, verify and deploy a TLS implementation -- TLS is the successor to SSL and is the prevalent secure communication protocol on the internet.

Place : India de Paris, Salle C334, bâtiment C

Guest(s) : Jonathan Protzenko

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - M comme Multimédia

Séminaire des équipes de recherche

Séminaire Mathrisk, INRIA/LPMA, Université Paris 7

16/03/2017

Place : Centre Inria de Paris, 2 rue Simone Iff, Paris 75012 Salle Jacques Louis Lions (RdC du Bat C)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Mathrisk, Inria/LPMA, université Paris 7

lire la suite

© INRIA Sophie Auvin - R comme Robot

Greedy Server and Greedy Walk: open problems and recent results

Séminaire Dyogene / Rap

27/04/2017

Place : Inria de Paris, Building C, Room C334.

Guest(s) : Sergey Foss, Heriot-Watt University, Edinburgh and Novosibirsk University/Institute of Mathematics, Novosibirsk

Keywords:

Home > Centre > Paris > Calendar > Séminaire Dyogene / Rap

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

17/05/2017

Machine learning classifiers are increasingly popular for security applications, and often achieve outstanding performance in testing. When deployed, however, classifiers can be thwarted by motivated adversaries who adaptively construct adversarial examples that are misclassified.

Place : Inria de Paris, 2 rue Simone Iff, 75012 Paris - Bâtiment C, Salle Jacques-Louis Lions 2 - 11h00

Guest(s) : David Evans, University of Virginia (visiting Prosecco from May to August 2017)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

6/06/2017

Place : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 2, bâtiment C

Guest(s) : Jean Yang, Carnegie Mellon University

Keywords:

Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

4/06/2018

I will present Template-Coq which is a Coq plugin to quote and unquote terms.

Place : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 2 - 2:00 pm

Guest(s) : Simon Boulier (Inria Nantes)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

26/06/2018

We present composition theorems for security protocols, to compose a key exchange protocol and a symmetric-key protocol that uses the exchanged key. Our results rely on the computational model of cryptography and are stated in the framework of the tool CryptoVerif.

Place : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 1, bâtiment C

Guest(s) : Bruno Blanchet (Prosecco)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite

Top