Accepted Papers

The following papers have been accepted to CSF 2021 in the previous submission cycles. Papers are also available here.

• ---

• Dynamic IFC Theorems for Free!
• Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu

• ---

• Automating Audit with Policy Inference
• Abhishek Bichhawat, Matt Fredrikson, Jean Yang

• ---

• Statistical Model Checking for Hyperproperties
• Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic

• ---

• Kachina - Foundations of Private Smart Contracts
• Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss

• ---

• Heuristic Approach for Countermeasure Selection Using Attack Graphs
• Orly Stan, Ron Bitton, Michal Ezrets, Moran Dadon, Masaki Inokuchi, Yoshinobu Ohta, Tomohiko Yagyu, Yuval Elovici, Asaf Shabtai

• ---

• On Compositional Information Flow Aware Refinement
• Christoph Baumann, Mads Dam, Roberto Guanciale, Hamed Nemati

• ---

• Accountability in the Decentralised-Adversary Setting
• Robert Künnemann, Deepak Garg, Michael Backes

• ---

• Resource-Aware Session Types for Digital Contracts
• Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar

• ---

• Concise UC Zero-Knowledge Proofs for Oblivious Updatable Databases
• Jan Camenisch, Maria Dubovitskaya, Alfredo Rial

• ---

• Performing Security Proofs of Stateful Protocols
• Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim Dominik Brucker, Anders Schlichtkrull

• ---