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 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.
Explore le critère spatial pour distinguer les circuits localisés et distribués en fonction de la taille et de la longueur d'onde, avec des exemples pratiques.
