Cătălin Hrițcu – Logic, Functional Programming

Cătălin Hrițcu – Logic, Functional Programming

Cătălin Hrițcu is a researcher at Inria Paris where he develops rigorous formal techniques for solving security problems. He is particularly interested in formal methods for security (secure compilation, memory safety, compartmentalization, dynamic monitoring, integrity, security protocols, information flow), programming languages (type systems, verification, proof assistants, property-based testing, semantics, formal metatheory, certified tools), and the design and verification of security-critical systems (reference monitors, secure compilation chains, secure hardware). He is actively involved in the design of the F* verification system…

Lire la suite Lire la suite

Pascal Lafourcade – Cryptographie, Blockchains Logique

Pascal Lafourcade – Cryptographie, Blockchains Logique

Pascal Lafourcade a obtenu sa thèse à l’ENS Cachan en 2006 sur la vérification automatique de protocoles cryptographique. Puis il a fait un post-doctorat à ETH Zurich dans l’équipe de David Basin. Ensuite il a été pendant 7 ans maître de conférences à l’Université Grenoble Alpes au sein du laboratoire Verimag. Il a développé des techniques de vérification pour des primitives cryptographiques et à analyser la sécurité de nombreux protocoles (e-voting, e-auction, e-examens …). Il aussi rédigé un livre sur…

Lire la suite Lire la suite

Mathinfoly revient en 2019

Mathinfoly revient en 2019

Après l’édition de 2016, Mathinfoly revient avec une école d’été à l’interface de l’informatique et des mathématiques, pour étudiants en licence et master. Une semaine intensive (cours, TD, TP, projet) pour comprendre la révolution des blockchains et les mécanismes de vérification associés. Animé par deux chercheurs de haut niveau, le stage sera encadré par une équipe de jeunes chercheurs enthousiastes. Public visé : étudiants, élèves des écoles ou cursus préparatoires, en fin de L2, L3 ou M1. Prérequis : goût pour les…

Lire la suite Lire la suite

Magie et bouts de ficelles, de Houdini à Thurston

Magie et bouts de ficelles, de Houdini à Thurston

Avec du matériel d’école primaire, ficelle, crayons de couleur, papier, ciseaux etc. on cheminera entre la magie des tours automatiques (ce qui ne veut pas dire qu’ils soient faciles à réaliser !) et les surprises qu’amènent les tentatives de les comprendre.

Facebook
Facebook
RSS