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.
Program
All times are in Central European Daylight Saving Time
Session 1: Privacy and quantitative information flow
-
14:00 Invited Talk: Giovanni Cherubin: Bayes security: a not so average security metric
-
14:30 Contributed Talk: Sebastian Hunt and David
Sands: New Program Abstractions for Privacy video
-
14:45 Invited Talk: Arthur Américo and Pasquale Malacaria: Quantum
Quantitative Information
Flow
video
Session 2: Secure Compilation
-
15:30 Invited Talk: Frank Piessens: Security across
abstraction layers: old and new
examples video
-
16:00 Invited Talk: Cătălin Hrițcu: Journey
Beyond Full Abstraction: Exploring Robust Property Preservation
for Secure Compilation video
-
16:30: Contributed Talk: Marco Patrignani and Marco Guarnieri: Exorcising Spectres
with Secure Compilers video
Session 3: Contributed Talks
-
17:00 Contributed Talk: Andrew Cook and Luca Viganò: A Game
Of Drones: Extending the Dolev-Yao Attacker Model With
Movement video
-
17:15 Contributed Talk: Ioana Boureanu, Tom Chothia, Alexandre
Debant and Stéphanie Delaune: Security Analysis of
Relay-Resistant Contactless Payments
-
17:30 Contributed Talk: Luca Viganò and Daniele Magazzeni:
Explainable Security
Session 4: Voting Protocols
-
18:00 Invited Talk: Steve Kremer: Privacy properties as
behavioral equivalences: modeling and verification video
-
18:30 Contributed Talk: Wojtek Jamroga: Pretty Good Strategies for Benaloh Challenge
-
18:45 Invited Talk: Carsten Schürmann: The Two Natures of Multi-Party Computation
Program Committee
- Catherine Meadows
- Catuscia Palamidessi
- Jan Jürjens
- Jean-Jacques Quisquater
- Joshua Guttman (Co-Chair)
- Luca Viganò
- Peter Y. A. Ryan
- Pierpaolo Degano
- Sebastian Mödersheim (co-chair)
- Steve Schneider
- Veronique Cortier
This workshop is organised by
IFIP WG 1.7: Theoretical Foundations of Security Analysis and Design.