6th Workshop on
Hot Issues in Security Principles and Trust (HotSpot 2020)

Affiliated with Euro S&P 2020, 7th of September 2020 online.

Organized by the Theory of Security working group IFIP WG 1.7.

Aim and Scope

The principles of security and trust remain an area of intense and creative work. This work is focused primarily on defining security and trust goals, developing methods to verify the systems meet those goals, and to synthesize systems that meet those goals by construction.

The areas of interest for HotSpot cut across many application areas, including hardware-software connections, distributed and cloud systems, big data, machine learning for (and against) security and privacy, and single-purpose systems such as voting, electronic currency and smart contracts. The areas of interest are unified however by a focus on rigorous models and reasoning, clear semantics, and a balance between proof and empirical methods.


All times are in Central European Daylight Saving Time

Session 1: Privacy and quantitative information flow

Session 2: Secure Compilation

Session 3: Contributed Talks

Session 4: Voting Protocols

Program Committee

This workshop is organised by IFIP WG 1.7: Theoretical Foundations of Security Analysis and Design.