Explores zero-knowledge construction, setup models, and the power of interaction in cryptographic protocols, including Sigma Protocol and NP Zero-Knowledge Proofs.
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.