Explore les défis de la conception de systèmes avec des composants non fiables, en soulignant l'importance de la conception et de l'analyse algorithmiques pour la certification des systèmes.
Explore la construction de 'Internet Computer' et 'Beyond Blockchains', couvrant WebAssembly, algorithmes de consensus, réplication de machine d'état, et les défis dans la dérivation aléatoire.
Explore les techniques d'exploration de données préservant la confidentialité, y compris l'anonymat k, les attaques et la confidentialité différentielle.
