Explores the challenges of designing systems with untrustworthy components, emphasizing the importance of algorithmic design and analysis for systems certification.
Explores 3D interaction components, system control, symbolic input, and various interaction techniques, emphasizing the need for further work on system control performance and integration into user interfaces.
Explores zero-knowledge construction, setup models, and the power of interaction in cryptographic protocols, including Sigma Protocol and NP Zero-Knowledge Proofs.
Introduces virtual reality concepts and technologies for immersive interaction, covering essential topics and hands-on tutorials for practical VR development.