Registration is now open!

Instructions:

  1. Visit the FLoC registration page.
  2. Select Registration Category “Conferences & Workshops (including LICS/CSF)” at the top of the drop-down list.
  3. Registration Items: click “FLoc Block 1 conferences (CSF, FSCD, ITP, LICS, SAT) + workshop selection” (or click “Blocks 1 and 2” if you want both).
  4. Select CSF as your Block 1 Conference, and add any workshops or social events you would like to attend.

CSF 2018 Program (Tentative)


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
10:30 - 11:00 coffee break
Session: Security Protocols
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: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
CSF 2018: Day 2 Tuesday, July 10
Session: Cryptographic primitives
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
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
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 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
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: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
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
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
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