Language based Security
Dr. Kumar Neeraj Verma
Prof. Dr. Helmut Seidl
(Winter Semester 2007)
Time and venue
- Lecture: Wednesday 10:15-11:45 in MI 02.07.014, starting 17.10.2007
- Tutorial: Friday 10:15-11:00 in MI 02.07.014, starting 02.11.2007
Contents
Computer security is an issue of major concern today and security
flaws can lead to serious losses, economically and otherwise. In this
course we look at various security issues in connection with programming
languages. Besides looking at the security aspects of some individual
programming languages like C and Java, we also study more
general techniques for analysis of programs. Topics covered include
- Buffer overflow attacks and techniques for their prevention
- Sandboxing in Java
- Bytecode verification
- Proof carrying code
- Information flow analysis
- Privilege management
- Type systems for safety
Prerequisites
Vordiplom
Requirements for Schein
Written examination
Slides
- 17.10.07: PS, PDF
- 24.10.07: PS, PDF
- 07.11.07: PS, PDF
- 14.11.07: PS, PDF
- 21.11.07: PS, PDF
- 28.11.07: PS, PDF
- 12.12.07: PS, PDF
- 19.12.08: PS, PDF
- 09.01.08: PS, PDF
- 16.01.08: PS, PDF
- 23.01.08: PS, PDF
- 30.01.08: PS, PDF
- 06.01.08: PS, PDF
Exercises
Literature