Séminaire sécurité du LORIA

Séminaire sécurité du LORIA

Si vous voulez être tenu au courant des futurs séminaires, vous pouvez vous inscrire à la liste de diffusion seminaire-securite@loria.fr.
Un lien vers un fichier ical est disponible pour vos agendas électroniques.

Exposés 2017 – 2018

Vendredi 15 Septembre 2017

David Basin (ETH Zurich)
Verified Secure Routing: The Verified Scion Project
Amphi C, 13:30
Cet exposé fait partie du Colloquium du LORIA.

23-25 Octobre 2017

Véronique Cortier — Krishna Gummadi — Florian Kerschbaum
FPS 2017 Keynote Talks
Amphi C, 09:00
Le 10th International Symposium on Foundations & Practice of Security (FPS 2017) aura lieu au LORIA. Les exposés invités sont:
  • Lundi 23 octobre, 9h30: Véronique Cortier (CNRS, Loria)
    Electronic voting: how logic can help.
  • Mardi 24 octobre, 9h30: Krishna Gummadi (MPI Saarbrücken)
    Privacy and Fairness Concerns with PII-based Targeted Advertising on Social Media.
  • Mercredi 25 octobre, 9h30: Florian Kerschbaum (University of Waterloo, Canada)
    Building Secure Applications Using Intel’s SGX.
Les résumés sont disponibles sur le site de FPS 2017.

Mardi 21 Novembre 2017

Jean-Louis Lanet (Inria Rennes)
How Secure Containers in a Secure Element are Secure?
A008, 13:30

Mardi 5 Décembre 2017

Deepak Garg (MPI Saarbrücken)
Qapla: Policy compliance for database-backed systems
A008, 13:30

Lundi 19 Février 2018

Peter Schwabe (Radboud University, Nijmegen)
The transition to post-quantum cryptography
A008, 13:30

Vendredi 23 Mars 2018

Valérie Viet Triem Tong — Olivier Pereira — Cas Cremers
Series of 3 talks by the jury of the PhD defense of Alicia Filipiak
A008, 14:00

Mardi 12 Juin 2018

Daniel Augot (Inria Saclay et École polytechnique)
Bitcoin, cryptomonnaies, blockchains: la folie, le pourquoi de la folie, et la science
A008, 14:00
Le "buzz", "hype", ou tout simplement l'excitation, autour des cryptomonnaies attend des sommets invraisemblables, souvent ridicules. On peut se demander de quoi il retourne. Après, en guise d'introduction, avoir donné des exemples de cette folie Bitcoin (pour rire un peu), je rentrerai dans le cœur des protocoles historiques de blockchain, la preuve de travail, inventée dans le cadre de Bitcoin, ce qui permet de comprendre pourquoi ces protocoles sont considérés comme "décentralisés", une propriété tant vantée dans le monde des cryptomonnaies. On verra ensuite les variantes intuitives qui peuvent assez naturellement se présenter, et que la recherche scientifique a pris le train très en retard, sur un sujet qui semble nouveau, à la rencontre de l'algorithmique distribuée et de la cryptographie. Enfin, je présenterai les questions de recherche qui se posent, avec toutefois une orientation plus cryptographique que distribuée.

Mardi 26 Juin 2018

Pierre Parrend (ECAM Strasbourg-Europe)
Health Optimisation through 4P Ecosystems: the HOPE suite for medical data security
B013, 13:00

Jeudi 27 Septembre 2018

Clémentine Maurice (IRISA)
TBA
A008, 13:30
TBA

Jeudi 11 Octobre 2018

Bryan Ford (EPFL)
TBA
TBA, 13:30
TBA
© 2013 - 2018 Pierrick Gaudry, Marion Videau and Emmanuel Thomé ; XHTML 1.0 valide, CSS valide