May 30, 2017
Venue: IT University of Copenhagen, Rued Langgaards Vej 7, Copenhagen.
Room 5A60
| 9:00 – 9:02 |
Opening Remarks Rosario Giustolisi and Carsten Schürmann |
| 9:02 – 9:10 |
Welcome Peter Sestoft - Head of Computer Science Department, IT Univerisity of Copenhagen |
| 9:10 – 10:00 | Invited Talk |
|
Verified Secure Routing: The Verified Scion Project
David Basin - ETH Zurich |
|
| 10:00 – 10:40 | Session I |
|
Model Checking Exact Cost for Attack Scenarios
Flemming Nielson and Zaruhi Aslanyan |
|
|
Connecting Galois with Stateful Protocol Verification
Alessandro Bruni and Sebastian A. Mödersheim |
|
| 10:40 – 11:00 | Coffee break |
| 11:00 – 12:20 | Session II |
|
Resolution of Intuitionistic Linear Logic
Alessandro Bruni, Eike Ritter and Carsten Schürmann |
|
|
Inference Attacks on Searchable Encrypted Relational Databases
Mohamed Ahmed Abdelraheem, Tobias Andersson and Christian Gehrmann |
|
|
(Universal) Unconditional Verifiability in E-Voting without Trusted Parties
Gina Gallegos-Garcia, Vincenzo Iovino, Alfredo Rial, Peter Roenne and P. Y. A. Ryan |
|
|
The ``Simplest Protocol for Oblivious Transfer'' of Chou and Orlandi, Revisited
Ziya Genc, Vincenzo Iovino and Alfredo Rial |
|
| 12:20 – 13:40 | Lunch |
| 13:40 – 14:30 | Invited Talk |
|
IoT key management challenges and some solutions
Christian Gehrmann - Lund Institute of Technology |
|
| 14:30 – 15:10 | Session III |
|
Towards securing the Internet of Things with OAuth 2.0
Ludwig Seitz |
|
|
Lightweight Cryptography for the Internet of Things
Stefan Kölbl |
|
| 15:10 – 15:30 | Coffee break |
| 15:30 – 16:50 | Session IV |
|
Safeguarding Secrets in Containers with Intel SGX
Nicolae Paladi |
|
|
Many-to-Many Information Flow Policies
Paolo Baldan and Alberto Lluch Lafuente |
|
|
Practical Experiences with Offensive Security
Alessandro Bruni and Carsten Schürmann |
|
|
In the Nick of Time: Proactive Prevention of Obligation Violations
David Basin, Søren Debois, and Thomas Hildebrandt |
If you have any enquiries about the workshop, please contact Rosario Giustolisi or Carsten Schuermann.