Explore Secure Multi-Party Computation, techniques cryptographiques, modèles de menace, actions secrètes additives, et applications du monde réel des protocoles de préservation de la vie privée.
Explore l'optimisation des fonctions booléennes à l'aide de Majority-Inverter Graphs et Majority Gates, y compris les règles algébriques et la synthèse exacte.
Explore la simulation de pannes dans les tests VLSI, couvrant la couverture des pannes, les modèles de pannes, les algorithmes, les types de simulateurs, la simulation déductive et les règles de propagation des pannes.
