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