POST 2017 accepted papers

Pablo Canones, Boris Köpf and Jan Reineke. Security Analysis of Cache Replacement Policies
Martin Pettai and Peeter Laud. Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows
Zaruhi Aslanyan and Flemming Nielson. Model Checking Exact Cost for Attack Scenarios
Patrick Ah-Fat and Michael Huth. Secure Multi-Party Computation: Information Flow of Outputs and Game Theory
Mário S. Alvim, Piotr Mardziel and Michael Hicks. Quantifying vulnerability of secret generation using hyper-distributions
Willard Rafnsson, Limin Jia and Lujo Bauer. Timing-Sensitive Noninterference through Composition
Arthur Blot, Masaki Yamamoto and Tachio Terauchi. Compositional Synthesis of Leakage Resilient Programs
Ridha Khedri, Owain Jones and Mohammed Alabbad. Defense in Depth Formulation and Usage in Dynamic Access Control
Jannik Dreier, Charles Duménil, Ralf Sasse and Steve Kremer. Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
Kushal Babel, Vincent Cheval and Steve Kremer. On communication models when verifying equivalence properties
Marcos Cramer and Giovanni Casini. Postulates for Revocation Schemes
Daniel Hedin, Alexander Sjösten, Frank Piessens and Andrei Sabelfeld. A Principled Approach to Tracking Information Flow in the Presence of Libraries
Sergiu Bursuc, Christian Johansen and Shiwei Xu. Automated verification of dynamic root of trust protocols
Nicola Atzei, Massimo Bartoletti and Tiziana Cimoli. A survey of attacks on Ethereum smart contracts (Systematization of knowledge paper)