6. ESSoS 2014: Munich, Germany

Model-Based Security

Formal Methods

Web and Mobile Security

Applications

maintained by Schloss Dagstuhl LZI at University of Trier