New ICISS publication

The paper "An Automatic Inference of Minimal Security Types" by Dominik Bollmann, Steffen Lortz, Heiko Mantel, and Artem Starostin has been accepted for publication at ICISS 2015 (the International Conference on Information Systems Security).
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang