Formal Methods in Computer Security

CSCE 853: Formal Methods in Computer Security

3 credits.

Pre-Requisites or Co-Reqs: 
Prereq: CSCE 522 and 715

Formal techniques applied to computer security, including formal specification language for security properties, security analysis utilities, domain-specific security concerns, and case studies of formally verified secure systems.