Course Description
Description
In-depth coverage of theoretical and practical security techniques with emphasis on the construction of new systems and auditing and repair of existing security-critical systems using rigorous design, risk analysis, and engineering methods and application of automation tools.
Learning Objectives
Knowledge and Skills Acquired
- Mastery of:
- Key concepts in computer security and applied cryptography
- Past security successes and mistakes; common pitfalls
- Security evaluation of new and existing systems and protocols
- Thinking like an adversary
- Familiarity with:
- Finding, reading, summarizing, and understanding modern computer security research literature
- Number theory and cryptography
- Proofs of security properties
- Composability of existing security tools
- Design of security tools