Accueil > Manifestations > Séminaires > Peut-on communiquer en toute sécurité ?

Peut-on communiquer en toute sécurité ?

Résumé

Comment faire pour échanger des messages confidentiels lorsque le
postier est indiscret ? Comment peut-on être sur que le postier ne peut
pas lire les messages ?

Ce sont ces problèmes que nous abordons. Il en existe de nombreuses
variantes, selon le domaine d’application : vote électronique, cartes
bancaires, passeport électronique, achats en ligne etc...

Les techniques utilisées couvrent de nombreux domaines de l’informatique :
langages de programmation, sémantique des systèmes concurrents,
cryptographie, méthodes formelles et preuves.

Nous donnerons une idée des problèmes posés et des grandes lignes des
programmes de recherche qui tentent de les résoudre.

Exposé

Téléchargez le texte de l’exposé

Dernière modification : mercredi 21 octobre 2015