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'encodage des systèmes finis avec les fonctions booléennes, la logique propositionnelle, les invariants inductifs et les systèmes de preuve formels.
Explore les systèmes de transition finis, la logique propositionnelle, l'interprétation de la vérité, la satisfaction et la représentation des fonctions booléennes avec des circuits.
Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces en utilisant des minterms, des maxterms et de nouvelles portes comme XOR et XNOR.
Explore les représentations, l'arithmétique et les limitations dans les systèmes logiques, y compris la notation de valeur de lieu et l'arithmétique binaire.
Introduit des mesures SCOAP pour l'analyse de testabilité dans les systèmes VLSI, couvrant la contrôlabilité, l'observabilité et la prédiction de longueur de vecteur de test.
Explore l'optimisation automatique des circuits arithmétiques, en abordant les défis dans les circuits de restructuration pour améliorer l'efficacité et les performances.
Présente les principes fondamentaux des systèmes numériques, en se concentrant sur la logique séquentielle et les éléments de mémoire tels que les verrous et les bascules.
Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces à partir de descriptions fonctionnelles et de tables de vérité.
