7th Workshop on
Hot Issues in Security Principles
and Trust (HotSpot 2021)
|
Affiliated with
Euro S&P 2021,
6th of September 2021 online.
Organized by the Theory of Security working group IFIP WG 1.7.
Registration is Open
Please follow the registration instructions on this page: Link.
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 that 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, vulnerability discovery
and program verification, 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.
Format
The one-day workshop will be divided into a sequence of four main
sessions. Some sessions will be devoted to a set of talks on related
topics, both with invited talks and submitted papers. We expect the
session topics to be drawn from the following list:
-
Privacy and information flow
-
Properties of voting protocols
-
Machine-learning for (and against) security
-
Hardware basis of security
-
Vulnerability discovery and program verification
-
Distributed ledger technologies
-
Cyber-physical systems
Program
All times are in Central European Daylight Saving Time (GMT+2)
Session 1
-
14:00 Invited Talk:
Annabelle McIver: A New Universally Optimal Mechanism for Metric Differential Privacy
-
14:30 Mukesh Tiwari and Dirk Pattinson: Machine Checked Properties
of the Schulze Method
-
14:45 Invited Talk: Peter Rønne: Extremely (in)secure
Session 2
-
15:30 Invited Talk: Ilya Sergey: Practical Smart Contract Sharding with Ownership
-
16:00 Thomas Chen: Towards Greater Interpretability in Deep Learning Models for Phishing Email Detection
-
16:15: Andreas Lochbihler: Canton: Creating a Virtual Global Shared Ledger
Session 3
-
17:00 Invited Talk: Achim Brucker: When Integers are not What
They Appear to Be: The Impact of Integer Overflows
-
17:30 Gabriele Costa, Pierpaolo Degano, Letterio Galletta and Simone Soderi: Toward Formal Verification of Physical Layer Security Protocols
-
17:45 Invited Talk: N. Asokan: Hardware-assisted run-time protection
Session 4
-
18:30 Invited Talk: Somesh Jha: Trustworthy ML: Past, Present, and Future
-
19:00 Panel of the invited speakers: The role of (mechanised) proof in security
Program Committee
- Catherine Meadows
- Catuscia Palamidessi
- Jan Jürjens
- Jean-Jacques Quisquater
- Joshua Guttman
- Lucca Hirschi
- Mark D. Ryan
- Peter Y. A. Ryan
- Pierpaolo Degano
- Sebastian Mödersheim (co-chair)
- Steve Schneider
- Toby Murray (chair)
This workshop is organised by
IFIP WG 1.7: Theoretical Foundations of Security Analysis and Design.
See also HotSpot 2020