Se concentre sur la conception de systèmes intermittents officiellement corrects dans les systèmes sans batterie alimentés par intermittence, en abordant les défis et les stratégies pour assurer l'exactitude.
Introduit la cryptographie, en se concentrant sur les systèmes à clé publique et à clavier unique, en mettant l'accent sur la confidentialité et l'authenticité dans la sécurité de l'information.
Fournit une vue d'ensemble du cryptage de verrouillage temporel et de ses applications pratiques, en se concentrant sur les algorithmes de cryptage de verrouillage temporel seuil et leurs propriétés de sécurité.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
Explore l'implémentation TLS post-quantique sans signature de poignée de main, en se concentrant sur l'échange de clés et l'authentification à l'aide de KEM.
Explore les signatures en anneau pour la collecte de commentaires anonymes et présente le protocole ZK Attest pour la vérification sécurisée des signatures à l'aide de preuves à zéro connaissance.
Couvre l'analyse latérale des mécanismes d'encapsulation de clés basés sur l'isogénie et des signatures numériques basées sur le hachage, en se concentrant sur les vulnérabilités et les mesures de sécurité dans les systèmes cryptographiques.
Explore l'importance des communications anonymes dans la protection de la vie privée et de la sécurité, couvrant les défis, les applications, la conception du système et la quantification des niveaux d'anonymat.
Explore la distribution aléatoire à l'aide de Drand, couvrant les outils cryptographiques, l'échange de clés, la cryptographie des courbes elliptiques et les applications pratiques dans les systèmes blockchain.
Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.
