网络安全与密码学
Network Security and Cryptography
设计和管理安全系统
Designing and Managing Secure Systems
取证、恶意软件和渗透测试
Forensics, Malware, and Penetration Testing
安全的软硬件系统
Secure Software and Hardware Systems
计算机辅助验证
Computer-Aided Verification
编程语言原理、设计和实现(扩展)
Programming Language Principles, Design and Implementation (Extended)