| CSF 2019 Workshops |
Monday, June 22 |
| 10:00-16:15 (16:00-22:15) |
Foundations of Computer Security (FCS) Workshop - Videos on YouTube |
| 9:00-15:00 (15:00-21:00) |
Workshop on Graphical Models for Security (GraMSec) |
|
| CSF 2019: Day 1 |
Tuesday, June 23 |
| 9:15-9:20 (15:15-15:20) |
Opening remarks |
| 9:20-10:40 (15:20-16:40) |
Session 1: E-Voting (session chair: Sebastian Mödersheim)
- Dispute Resolution in Voting - David Basin, Sasa Radomirovic, and Lara Schmid
- Fifty Shades of Ballot Privacy: Privacy against a Malicious Board (distinguished paper) - Véronique Cortier, Joseph Lallemand, and Bogdan Warinschi
- (Universal) Unconditional Verifiability in E-Voting without Trusted Parties - Vincenzo Iovino, Alfredo Rial, Peter Roenne, and Peter Ryan
- SoK: Techniques for Verifiable Mix Nets - Thomas Haines and Johannes Müller
|
| 10:40-11:00 (16:40-17:00) |
Coffee break |
| 11:00-12:00 (17:00-18:00) |
Invited Talk 1 (session chair: Limin Jia)
Michael Hicks - Contesting Secure Software Development |
| 12:00-13:00 (18:00-19:00) |
Lunch/dinner break |
| 13:00-14:00 (19:00-20:00) |
Session 2: Information Flow I (session chair: Piotr Mardziel)
- Transparent IFC Enforcement: Possibility and (In)Efficiency Results (distinguished paper) - Maximilian Algehed and Cormac Flanagan
- VERONICA: Expressive and Precise Concurrent Information Flow Security - Daniel Schoepe, Toby Murray, and Andrei Sabelfeld
- Reconciling progress-insensitive noninterference and declassification - Johan Bay and Aslan Askarov
|
| 14:00-14:20 (20:00-20:20) |
Coffee break |
| 14:20-15:20 (20:20-21:20) |
Session 3: Language-based Security (session chair: Andrei Sabelfeld)
- Language-Based Web Session Integrity - Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, and Mauro Tempesta
- First-Order Logic for Flow-Limited Authorization - Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, and Owen Arden
- Types and Abstract Interpretation for Authorization Hook Advice - Christian Skalka, David Darais, Trent Jaeger, and Frank Capobianco
|
15:20-15:40 (21:20-21:40) |
Coffee break |
| 15:40-16:20 (21:40-22:20) |
Session 4: Privacy (session chair: Olya Ohrimenko)
- Optimal Obfuscation Mechanisms via Machine Learning and Applications to Location Privacy - Marco Romanelli, Konstantinos Chatzikokolakis, and Catuscia Palamidessi
- A Method for Proving Unlinkability of Stateful Protocols (distinguished paper) - David Baelde, Stéphanie Delaune, and Solène Moreau
|
| 16:20-17:00 (22:20-23:00) |
Coffee break |
| 17:00-18:00 (23:00-00:00) |
PhD mentoring session I |
|
| CSF 2019: Day 2 |
Wednesday, June 24 |
| 9:00-10:20 (15:00-16:20) |
Session 5: Information Flow II (session chair: Musard Balliu)
- Abstracting Faceted Execution - Kristopher Micinski, David Darais, and Thomas Gilray
- Clockwork: Tracking Remote Timing Attacks - Iulia Bastys, Musard Balliu, Tamara Rezk, and Andrei Sabelfeld
- Securing Asynchronous Exceptions - Carlos Tomé Cortiñas, Marco Vassena, and Alejandro Russo
- Controller Synthesis for Hyperproperties - Borzoo Bonakdarpour and Bernd Finkbeiner
|
| 10:20-10:40 (16:20-16:40) |
Coffee break |
| 10:40-11:40 (16:40-17:40) |
Session 6: Secure Systems (session chair: Marco Guarnieri)
- PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage - Andreas Fischer, Jonas Janneck, Jörn Kussmaul, Nikolas Krätzschmar, Florian Kerschbaum, and Eric Bodden
- Runtime Enforcement for Control System Security - Ruggero Lanotte, Massimo Merro, and Andrei Munteau
- Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors - Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, and Frank Piessens
|
| 11:40-12:00 (17:40-18:00) |
Coffee break |
| 12:00-13:00 (18:00-19:00) |
Lunch/dinner break |
| 13:00-14:00 (19:00-20:00) |
Invited Talk 2 (session chair: Ralf Kuesters)
Dan Boneh - New opportunities for formal verification in cryptography |
| 14:00-15:00 (20:00-21:00) |
Session 7: Applied Cryptography and Protocol Analysis (session chair: Ran Canetti)
- Limiting the impact of unreliable randomness in deployed security protocols - Liliya Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, and Nick Sullivan
- Authentication in Key-Exchange: Definitions, Relations and Composition - Cyprien Delpech de Saint Guilhem, Marc Fischlin, and Bogdan Warinschi
- Automated Analysis of PUF-based Protocols - Riccardo Focardi and Flaminia Luccio
|
| 15:00-15:20 (21:00-21:20) |
Coffee break |
| 15:20-16:00 (21:20-22:00) |
Session 8: Blockchain (session chair: Steve Kremer)
- Anonymous Lottery In the Proof-of-Stake setting - Varun Rajeev Madathil, Alessandra Scafuro, Foteini Baldimtsi, and Linfeng Zhou
- A Composable Security Treatment of the Lightning Network - Aggelos Kiayias and Orfeas Stefanos Thyfronitis
|
| 16:00-16:20 (22:00-22:20) |
Coffee break |
| 16:20-17:20 (22:20-23:20) |
PhD mentoring session II |
|
| CSF 2019: Day 3 |
Thursday, June 25 |
| 9:00-9:40 (15:00-15:40) |
Session 9: Information Flow III (session chair: Alejandro Russo)
- Nontransitive Security Types for Coarse-grained Information Flow Control - Yi Lu and Chenyi Zhang
- Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms - Nicholas Coughlin and Graeme Smith
|
| 9:40-10:00 (15:40-16:00) |
Coffee break |
| 10:00-10:40 (16:00-16:40) |
Session 10: Attack modeling (session chair: Catuscia Palamidessi)
- Exploiting attack-defense trees to find an optimal set of countermeasures - Barbara Fila and Wojciech Widel
- Provably Robust Decisions based on Potentially Malicious Sources of Information - Tim Muller, Dongxia Wang, and Jun Sun
|
| 10:40-11:00 (16:40-17:00) |
Coffee break |
| 11:00-12:00 (17:00-18:00) |
Invited Talk 3 (session chair: Mayank Varia)
Amal Ahmed - Secure Compilation: Challenges for the Next Decade |
| 12:00-13:00 (18:00-19:00) |
Lunch/dinner break |
| 13:00-14:00 (19:00-20:00) |
Five minute talks (session chair: Marco Gaboardi) |
| 14:00-15:00 (20:00-21:00) |
Business meeting |
| 15:00-16:00 (21:00-22:00) |
Virtual social hangout (bring your own favorite drink) |
