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

Affiliated with Euro S&P 2020, 15th of June 2020 in Genova, Italy.

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.


The one-day workshop will be divided into a sequence of four main sessions. Each session will be devoted to a set of talks on related topics, both with invited talks and submitted papers. The sessions are

  1. Privacy and quantitative information flow (C Palamidessi)
    Invited speakers:
    • Giovanni Cherubin (EPFL)
    • Pasquale Malacaria (QMUL)
  2. Voting protocols and privacy-type properties (PYA Ryan, S Mödersheim)
    Invited speakers:
    • Steve Kremer (INRIA)
    • Carsten Schürmann (ITU Copenhagen)
  3. Secure compilation (P Degano)
    Invited speakers:
    • Cătălin Hrițcu (INRIA)
    • Frank Piessens (KU Leuven)
  4. Open session

Submissions on all formally-grounded topics related to security, privacy and trust are welcome. They can either be

  1. an informal submission, consisting of an abstract or a paper that may appear formally elsewhere.
  2. a full submission, to be included in an IEEE Xplore volume accompanying the main IEEE EuroS&P 2020 proceedings.
    See submission instructions below.

Important Dates

Program Committee

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


Submissions are via EasyChair.

For the full submissions to be published in IEEE Xplore, papers must be typeset in LaTeX in A4 format (not "US Letter") using the IEEE conference proceeding template eurosp-2020-template.zip. We suggest you first compile the supplied LaTeX source as is, checking that you obtain the same PDF as the one supplied, and then write your paper into the LaTeX template, replacing the boilerplate text. Please do not use other IEEE templates. Failure to adhere to the page limit and formatting requirements can be grounds for rejection. The page limit for workshop papers is 10 pages.