LIP6 » News » Guest
Analyse statique par interprétation abstraite de Smart contract en Michelson
My research interests cover both computer algebra and cryptography. On the crypto side, I have been studying generic attacks on hash functions, as well as the security of various modes of operation of hash functions. I have recently worked on finding low-data complexity attacks on the AES. I am also interested in the cryptanalysis of multivariate schemes.
PROJET CROMO
quantum) complexity theory and cryptography
Analyse des flots de liens
sécretaire générale du QICS
Etude de protocoles de cryptographie quantique, évaluation de leur sécurité à travers le developpement de modèles de sécurité, l'écriture de preuves et l'étude de la composabilité des différents protocoles
Travail sur les communications et les réseaux quantiques, notamment sur les états quantiques nommés états graphes et leur génération en utilisant des dispositifs à l'état solide
https://arxiv.org/abs/2005.07198
Recherche en Blockchain sur réseau Mesh
Invité avec clé pour encadrement des thésards (Falq et Quezada) jusqu'à décembre 2020
En collaboration avec Eleni DIamanti
Sécurité des protocoles quantiques de vérification de la position
Réseaux et théorie des graphes
Information quantique
