Dr. Geoffrey Smith
Computer security foundations, Quantitative information flow, Language-based security, Cryptography, Programming languages, and semantics.
Computer security foundations, Quantitative information flow, Language-based security, Cryptography, Programming languages, and semantics.