Language based Security
Dr. Kumar Neeraj Verma
Prof. Dr. Helmut Seidl
(Summer Semester 2006)
Time and venue
- Lecture: Wednesday 10:15-11:45 in MI 02.07.014, starting 26.04.2006
- Tutorial: Friday 10:15-11:00 in MI 02.07.014, starting 12.05.2006
- Exam : Tuesday 25.07.2006 at 16:00 in MI 02.07.014
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
- All slides: PS, PDF
- 26.04.06: PS, PDF
- 03.05.06: PS, PDF
- 17.05.06: PS, PDF
- 24.05.06: PS, PDF
- 31.05.06: PS, PDF
- 07.06.06: PS, PDF
- 14.06.06: PS, PDF
- 21.06.06: PS, PDF
- 28.06.06: PS, PDF
- 05.07.06: PS, PDF
- 12.07.06: PS, PDF
- 19.07.06: PS, PDF
- 21.07.06: PS, PDF
Exercises