Project Overview
Covers a broad range of topics in security, complexity, and algorithms.
Particular focus on:
distributed cryptographic protocols
electronic voting
quantum computation
probabilistic property checking
Previous slide
Next slide
Back to first slide
View graphic version