Type-based Techniques for Confidentiality

Andrei Sabelfeld

Department of Computer Science, Chalmers University of Technology, Sweden

Abstract: This talk presents an overview of security type systems for diverse types of languages (sequential vs concurrent, high-level vs low-level). These systems serve to certify programs' confidentiality according to semantics-based definitions of security (cf. previous talk). The main focus is Volpano-Smith, Sabelfeld-Sands and Agat's type systems and [the straightforwardness of] their soundness proofs.

Back to schedule.

Marieke Huisman

Last modified: Mon Apr 23 2001