VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.
Last Updated: 2026-02-05 15:02:40
Abstract
The course will survey techniques for formally analyzing and enforcing security properties on the level of concrete programming languages.
Content
The course will survey techniques for formally analyzing and enforcing security properties on the level of concrete programming languages. This will include the presentation of concrete analysis techniques and their underlying concepts as well as general enforcement mechanisms, covering topics such as: system-wide security, static and dynamic security analysis, security type systems, enforcement mechanisms, security automata, sand-boxing, proof-carrying code
Resources
Literature
various journal/conference papers
General Information
- Language
- English
- Frequency
- Yearly recurring
Examination
- Type
- end-of-semester examination
Course Components
| Type | Title | Time & Place | Hours |
|---|---|---|---|
| lecture | Language-Based Security |
|
2 h weekly |