Dagstuhl Seminar Proceedings, Volume 3411,

• Anindya Banerjee, Heiko Mantel, David Naumann, and Andrei Sabelfeld 03411 Final Report – Language Based Security 10.4230/DagSemProc.03411.1
• Anindya Banerjee, Heiko Mantel, David Naumann, and Andrei Sabelfeld 03411 Abstracts Collection – Language Based Security 10.4230/DagSemProc.03411.2