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...
Main Author: | Zinzindohoué-Marsaudon, Jean-Karim |
---|---|
Other Authors: | Paris Sciences et Lettres |
Language: | en |
Published: |
2018
|
Subjects: | |
Online Access: | http://www.theses.fr/2018PSLEE052/document |
Similar Items
-
On the security of embedded systems against physical attacks
by: Battistello, Alberto
Published: (2016) -
Etude de la sécurité d’algorithmes de cryptographie embarquée vis-à-vis des attaques par analyse de la consommation de courant
by: Wurcker, Antoine
Published: (2015) -
Sécurisation des algorithmes de couplages contre les attaques physiques
by: Jauvart, Damien
Published: (2017) -
Extension paramétrée de compilateur certifié pour la programmation parallèle
by: Dailler, Sylvain
Published: (2015) -
Amélioration d'attaques par canaux auxiliaires sur la cryptographie asymétrique
by: Dugardin, Margaux
Published: (2017)