6. ESSoS 2014: Munich, Germany

Model-Based Security

Formal Methods

Web and Mobile Security

Applications

maintained by Schloss Dagstuhl LZI, founded at University of Trier