Dagstuhl Seminar Proceedings: Language-Based Security 2003

• Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld:
  03411 Final Report - Language Based Security.
  
• Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld:
  03411 Abstracts Collection - Language Based Security.