Instructions:
| CSF 2018: Affiliated workshops | Sunday, July 8 | |
| 09:00 - 18:00 | Affiliated workshops:
GraMSec
and
FCS
|
|
| CSF 2018: Day 1 | Monday, July 9 | |
| 09:00 - 10:30 | Plenary Speaker | Maths LT1 |
| 10:30 - 11:00 | coffee break | |
| Session: Security Protocols Chair: Cas Cremers |
Maths LT2 | |
| 11:00 - 11:30 | An extensive formal analysis of multi-factor authentication protocols Charlie Jacomme and Steve Kremer |
|
| 11:30 - 12:00 | Composition Theorems for CryptoVerif and Application to TLS 1.3 Bruno Blanchet |
|
| 12:00 - 12:30 | A Cryptographic Look at Multi-Party Channels Patrick Thomas Eugster, Giorgia Azzurra Marson and Bertram Poettering |
|
| 12:30 - 14:00 | lunch | |
| 14:00 - 15:30 Chair: Steve Chong | ||
| 14:00 - 15:00 | Invited talk: Srini Devadas --
Sanctum: Towards an Open-Source, Formally Verified Secure Processor
Srini Devadas |
|
| 15:00 - 15:30 | Guided design of attack trees: a system-based approach Maxime Audinot, Sophie Pinchinat and Barbara Kordy |
|
| 15:30 - 16:00 | coffee break | |
| 16:00 - 17:30 | Five-minute talks Chair: Mark Ryan |
|
| 18:30 - | Reception | Ashmolean Museum (registration required) |
| CSF 2018: Day 2 | Tuesday, July 10 | |
| Session: Cryptographic primitives Chair: Bruno Blanchet |
Maths LT2 | |
| 09:00 - 09:30 | Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks Marc Fischlin and Sogol Mazaheri |
|
| 09:30 - 10:00 | Formal Security Proof of CMAC and its Variants Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque and Benjamin Grégoire |
|
| 10:00 - 10:30 | Backdoored Hash Functions: Immunizing HMAC and HKDF Marc Fischlin, Christian Janson and Sogol Mazaheri |
|
| 10:30 - 11:00 | coffee break | |
| Session: Secure Computation Chair: Marco Gaboardi |
||
| 11:00 - 11:30 | Computer-aided proofs for multiparty computation with active security Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, and Pierre-Yves Strub |
|
| 11:30 - 12:00 | Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela |
|
| 12:00 - 12:30 |
Symbolic security of garbled circuits
Baiyu Li and Daniele Micciancio |
|
| 12:30 - 14:00 | lunch | |
| Session: Knowledge and Hyperproperties Chair: Pasquale Malacaria |
||
| 14:00 - 14:30 | The Complexity of Monitoring Hyperproperties
Borzoo Bonakdarpour and Bernd Finkbeiner |
|
| 14:30 - 15:00 | Knowledge-based Security of Dynamic Secrets for Reactive Programs
McKenna McCall, Hengruo Zhang and Limin Jia |
|
| 15:00 - 15:30 | Assuming you know: epistemic semantics of relational annotations for expressive flow policies
Andrey Chudnov and David Naumann |
|
| 15:30 - 16:00 | coffee break | |
| 16:00 - 16:30 Chair: Deepak Garg | ||
| 16:00 - 16:30 | KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu |
|
| 17:00 | Public lecture: Stuart Russell | |
| CSF 2018: Day 3 | Wednesday, July 11 | |
| Session: Information Flow Chair: Heiko Mantel |
Maths LT2 | |
| 09:00 - 09:30 | A Permission-Dependent Type System for Secure Information Flow Analysis
Hongxu Chen, Alwen Tiu, Zhiwu Xu and Yang Liu |
|
| 09:30 - 10:00 | Types for Information Flow Control: Labeling Granularity and Semantic Models
Vineet Rajani and Deepak Garg |
|
| 10:00 - 10:30 | Inductive Invariants for Noninterference in Multi-agent Workflows
Christian Müller, Helmut Seidl and Eugen Zalinescu |
|
| 10:30 - 11:00 | coffee break | |
| 11:00 - 12:30 Chair: Stéphanie Delaune | ||
| 11:00 - 12:00 | Invited talk:
Catuscia Palamidessi --
Local Differential Privacy on Metric Spaces: optimizing the trade-off with utility.
Mario S. Alvim, Kostas Chatzikokolakis, Catuscia Palamidessi, and Anna Pazii |
|
| 12:00 - 12:30 |
Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting
Samuel Yeom, Irene Giacomelli, Matt Fredrikson, Somesh Jha |
|
| 12:30 - 14:00 | lunch | |
| 14:00 - 15:30 | Plenary Speaker
|
|
| 15:30 - 16:00 | coffee break | |
| Session: Electronic voting Chair: Limin Jia |
||
| 16:00 - 16:30 | Alethea: A Provably Secure Random Sample Voting Protocol
David Basin, Sasa Radomirovic and Lara Schmid |
|
| 16:30 - 17:00 | Machine-checked proofs for electronic voting: privacy and verifiability for Belenios
Véronique Cortier, Constantin Cătălin Dragan, François Dupressoir and Bogdan Warinschi |
|
| 17:00 - 17:30 | Business meeting | |
| 19:30 | Banquet | |
| CSF 2018: Day 4 | Thursday, July 12 | |
| Session: Side Channels Chair: Catuscia Palamidessi |
(Note different location!) St Luke's Chapel |
|
| 09:30 - 10:00 | Symbolic Side-Channel Analysis for Probabilistic Programs
Pasquale Malacaria, Mhr Khouzani, Corina Pasareanu, Quoc-Sang Phan and Kasper Luckow |
|
| 10:00 - 10:30 | Secure compilation of side-channel countermeasures: the case of cryptographic “constant-time”
Gilles Barthe, Benjamin Grégoire and Vincent Laporte |
|
| 10:30 - 11:00 | coffee break | |
| Session: Security Protocols Chair: Alwen Tiu |
||
| 11:00 - 11:30 | A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif.
Vincent Cheval, Veronique Cortier and Mathieu Turuani |
|
| 11:30 - 12:00 | Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic and Ralf Sasse |
|
| 12:00 - 12:30 | A Typing Result for Stateful Protocols
Andreas Viktor Hess and Sebastian A. Mödersheim |
|
| 12:30 - 14:00 | lunch | |