Introduit un séminaire où les étudiants présentent sur divers sujets de sécurité et souligne l'importance des implémentations cryptographiques correctes.
SEEMless est un système de messagerie sécurisé qui minimise la confiance dans les fournisseurs de services grâce à des techniques innovantes de gestion des clés.
Explore la stabilité des états d'équilibre dans la mécanique structurale, en se concentrant sur les charges internes, le principe de la superposition et les conditions d'équilibre.
Explore l'ingénierie des systèmes décentralisés, couvrant l'initialisation de la base de données, la messagerie fiable, les algorithmes de consensus et les protocoles de cryptage.
Explore les fondements théoriques de RDMA et de NVRAM dans les technologies multiprocesseurs, couvrant la discorde, le contrôle de la convergence et la tolérance aux défauts.
Explore le travail virtuel en mécanique structurale, mettant l'accent sur les états d'équilibre et les forces de réaction dans les systèmes non rigides.
