Keynote address: towards secure systems programming languages.

Gilad Bracha

Browse the full SAC paper archive.