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 Devdas
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
15: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
Vitor Pereira, José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco and 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
David Naumann and Andrey Chudnov
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, Daejun Park, Yi Zhang, Brandon Moore and 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 Type Systems for Information Flow Control: 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
12:00 - 12:30 Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting
Samuel Yeom, Matt Fredrikson, Irene Giacomelli and 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
Constantin Cătălin Dragan, Véronique Cortier, 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