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.
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.