A hands-on introduction to cryptography, network and software security, and program vulnerabilities.
This course examines language-based approaches for building secure software systems.
Serve on conference program committees and as journal editors.
