HotSpot 2016 - 4th Workshop on Hot Issues in Security Principles and Trust

This workshop is intended to be a less formal counterpart to the Principles of Security and Trust (POST) conference at ETAPS, and with an emphasis on "hot topics", both of security and of its theoretical foundations and analysis. It is part of the activities of the IFIP WG 1.7 on Theoretical Foundations of Security Analysis and Design. Like POST, the themes are: theory of computer security; formal specification, analysis and design of security systems; automated reasoning for security analysis.
Organizer: Pierpaolo Degano