Found 5 relevant results in 2.17s where lecturer="Christoph Sprenger"
Hands-on course on applied aspects of information security. Appliedinformation security, operating system security, OS hardening, computer forensics, web application security, project work, design, implementation, and configuration of security mechanisms, risk analysis, system review.
Hands-on course on applied aspects of information security. Appliedinformation security, operating system security, OS hardening, computer forensics, web application security, project work, design, implementation, and configuration of security mechanisms, risk analysis, system review.
The "computer-aided modelling and reasoning" lab is a hands-on course about using an interactive theorem prover to construct formal models of algorithms, protocols, and programming languages and to reason about their properties. The lab has two parts: The first introduces various modelling and proof techniques. The second part consists of a project in which the students apply these techniques
In this course, participants will learn about new ways of specifying, reasoning about, and developing programs and computer systems. The first half will focus on using functional programs to express and reason about computation. The second half presents methods for developing and verifying programs represented as discrete transition systems.
The course focuses on formal methods for the modeling and analysis of security protocols for critical systems, ranging from key establishment protocols for secure communication to RFID protocols for identification. In addition, we discuss cryptographic modeling and analysis of security properties of protocols.