CIS 890, Fall 2003

Language Based Security

In this course, we shall address security issues from a language-based perspective (as opposed to cryptographic, etc.) A strong case for this approach is made here.

• Log file: what was presented when
• Reading list (including some papers not presented)

Further information

Instructors:

Torben Amtoft and Anindya Banerjee

Time:

Monday and Wednesday, 1:30pm-2:45pm in N236.

Prerequisites:

A background in programming languages, for example CIS 301 and 505, is essential for the course. (Also CIS 705 is strongly recommended.) A background in systems, for example CIS 520/720, would also be helpful.

Credit:

Active class participation

Presentations of papers

Each of you should select a piece of work related to language-based security and will be given two lectures to present it. You could choose a paper from the reading list, or pick a topic from The Dagstuhl Seminar on Language-Based Security.

Projects

Each of you should write a small report, describing (necessarily preliminary) work on a project related to language-based security.