HotSpot 2018 - Sixth Workshop on Hot Issues in Security Principles and Trust (HotSpot 2018)

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.
As the previous four issues, the edition will be part of the activities of the IFIP WG 1.7 (http://www.dsi.unive.it/IFIPWG1_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.
Submissions about new and emerging topics (typically, those that have not appeared prominently in conferences and workshops until now, but also recent additional results) are particularly encouraged. Submissions of preliminary, tentative work are also encouraged. There is no page limit, but the length of your submission should be appropriate to its content. There will be no formal proceedings. Inclusion in informal proceedings is optional.
Organiser: Riccardo Focardi