Secure, fast and verified cryptographic applications : a scalable approach

La sécurité des applications sur le web est totalement dépendante de leur design et de la robustesse de l'implémentation des algorithmes et protocoles cryptographiques sur lesquels elles s'appuient. Cette thèse présente une nouvelle approche, applicable à de larges projets, pour vérifier l...

Full description

Bibliographic Details
Main Author: Zinzindohoué-Marsaudon, Jean-Karim
Other Authors: Paris Sciences et Lettres
Language:en
Published: 2018
Subjects:
004
Online Access:http://www.theses.fr/2018PSLEE052/document