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 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.
Couvre la théorie et les applications de la coloration graphique, en se concentrant sur les modèles de blocs stochastiques dissortatifs et la coloration plantée.
