03411 Final Report - Language Based Security

Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld. 03411 Final Report - Language Based Security. In Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld, editors, Language-Based Security, 5.-10. October 2003. Volume 03411 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2003. [doi]

Abstract

Abstract is missing.