A formalization of elliptic curves for cryptography
Le sujet de ma thèse s’inscrit dans le domaine des preuves formelleset de la vérification des algorithmescryptographiques. L’implémentation des algorithmes cryptographiquesest souvent une tâche assez compliquée, parce qu’ils sont optimiséspour être efficaces et sûrs en même temps. Par conséquent, il...
Main Author: | Bartzia, Evmorfia-Iro |
---|---|
Other Authors: | Université Paris-Saclay (ComUE) |
Language: | en |
Published: |
2017
|
Subjects: | |
Online Access: | http://www.theses.fr/2017SACLX002/document |
Similar Items
-
Utilisation des couplages en cryptographie asymétrique pour la micro-électronique
by: Ghammam, Loubna
Published: (2016) -
Tutorial on Elliptic Curve Arithmetic and Introduction to Elliptic Curve Cryptography (ECC)
by: Bommireddipalli, Nithesh Venkata Ramana Surya
Published: (2017) -
Volcans et calcul d'isogénies
by: Hugounenq, Cyril
Published: (2017) -
Amélioration d'attaques par canaux auxiliaires sur la cryptographie asymétrique
by: Dugardin, Margaux
Published: (2017) -
The Elliptic Curve Group Over Finite Fields: Applications in Cryptography
by: Lester, Jeremy W.
Published: (2012)