Explore l'ingénierie des systèmes décentralisés, couvrant l'initialisation de la base de données, la messagerie fiable, les algorithmes de consensus et les protocoles de cryptage.
Explore les modèles de sécurité cryptographiques, le déchiffrement par rapport à la récupération de clé, le chiffrement idéal, la construction MAC, le protocole d'accord de clé, les cryptosystèmes à clé publique et la sécurité du schéma de signature.
Explore l'établissement de confiance dans la sécurité Bluetooth, couvrant les protocoles, les vulnérabilités, les contre-mesures et les fonctionnalités de sécurité.
Explore de briser l'indissociabilité des e-passports en utilisant la Bisimilarity et le calcul T, mettant en évidence les vulnérabilités et la nécessité de nouveaux protocoles.
Couvre les concepts fondamentaux de la cryptographie, y compris les primitives, la sécurité, le cryptage et l'authentification, en explorant la cryptographie symétrique et à clé publique, l'accord clé, les schémas d'engagement et les fonctions de hachage.
