4th ICISSP 2018: Funchal, Portugal

Invited Speakers

Papers

2nd International Workshop on FORmal methods for Security Engineering

a service of Schloss Dagstuhl - Leibniz Center for Informatics