Explores the challenges of designing systems with untrustworthy components, emphasizing the importance of algorithmic design and analysis for systems certification.
Introduces virtual reality concepts and technologies for immersive interaction, covering essential topics and hands-on tutorials for practical VR development.
Explores zero-knowledge construction, setup models, and the power of interaction in cryptographic protocols, including Sigma Protocol and NP Zero-Knowledge Proofs.