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