CS6335 - Language-based Security

CS 6335 Language-based Security (3 semester credit hours) Development and formal verification of mission-critical software. Machine-checkable proofs of software properties. Automated theorem proving. Certifying compilation. Software model-checking. Binary software security hardening. Software hijacking and information flow attacks and defenses. Prerequisites: CS 5330 and CS 5343. (3-0) Y