Oresund Security Day 2017 - Program

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.