PLAS@ECOOP 2014: Uppsala, Sweden

Invited Talk

Information-flow control I

Language-based security

Information-flow control II

a service of Schloss Dagstuhl - Leibniz Center for Informatics