Bryan Parno Associate Professor Research Areas: Cryptography Formal software verification Network security Operating systems Security and privacy Verification
Steven Rudich Professor Research Areas: Computational complexity and cryptography Cryptography Theory of computation
