Program

The program of CSF is also available on the webpages of VSL (with more details, such as abstracts).

Saturday, July 19th
8:45-10:15Session 106A: FLoC Panel (joint with 9 other meetings)
Chair: Helmut Veith
Location: FH, Hörsaal 1
Fahiem Bacchus, Armin Biere, Byron Cook, Joel Ouaknine, Karem Sakallah and Mirek Truszczynski FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments
10:15-10:45Coffee Break
10:45-12:45Session 109D: FLoC Inter-Conference Topic: Security. Software Security (joint with CAV)
Chair: Andrei Sabelfeld
Location: FH, Hörsaal 6
10:45-11:15Christos Dimoulas, Scott Moore, Aslan Askarov and Stephen Chong. Declarative Policies for Capability Control
11:15-11:45Joshua Kroll, Gordon Stewart and Andrew Appel. Portable Software Fault Isolation
11:45-12:15Radha Jagadeesan, Cm Lubinski, Corin Pitcher, James Riely and Charles Winebrinner. Certificates for Verifiable Forensics
12:15-12:45Andrey Chudnov, George Kuan and David Naumann. Information flow monitoring as abstract interpretation for relational logic
13:00-14:30Lunch Break
14:30-16:00Session 113A: FLoC Inter-Conference Topic: Security (joint with CAV)
Chair: Somesh Jha
Location: FH, Hörsaal 1
14:30-16:00Hassan Eldib and Chao Wang. Synthesis of Masking Countermeasures against Side Channel Attacks
14:50-15:10Omar Chowdhury, Limin Jia, Deepak Garg and Anupam Datta. Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
15:10-15:30Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp Reummer and Jari Stenman. Program Verification through String Rewriting
15:30-15:50Sudeep Kanav, Peter Lammich and Andrei Popescu. A Conference Management System with Verified Document Confidentiality
15:50-16:00Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen and Gennaro Parlato. VAC - Verifier of Administrative Role-based Access Control Policies
16:00-16:30Coffee Break
16:30-17:30Session 116E: Invited Talk
Chair: Anupam Datta
Frank Piessens. Towards a Zero-Software Trusted Computing Base for Extensible Systems
17:30-18:30Session 120: FLoC Inter-Conference Topic: Security. Information Flow 1 (joint with CAV)
Chair: Stephen Chong
Location: FH, Hörsaal 6
17:30-18:00Pablo Buiras, Deian Stefan and Alejandro Russo. On Dynamic Flow-sensitive Floating-Label Systems
18:00-18:30Heiko Mantel, Matthias Perner and Jens Sauer. Noninterference under Weak Memory Models
19:00-21:30Session 123: VSL Reception 2
Location: University of Vienna, Arkadenhof
22:00-23:59Session 124: VSL Student Reception 2
Location: Säulenhalle (Volksgarten)
Sunday, July 20th
08:45-10:15Session 123: FLoC Plenary Talk (joint with 9 other meetings)
Chair: Andrei Voronkov
Location: FH, Hörsaal 1
08:45-10:15Véronique Cortier FLoC Plenary Talk: Electronic voting: how logic can help?
10:15-10:45Coffee Break
10:45-12:45Session 127F: Usable Security
Chair: Lujo Bauer
Location: FH, Hörsaal 6
10:45-11:15Marian Harbach, Sascha Fahl and Matthew Smith. Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness
11:15-11:45Jens Grossklags and David Reitter. How task familiarity and cognitive predispositions impact behavior in a security game of timing
11:45-12:45Lujo Bauer. Panel: Usability
13:00-14:30Lunch Break
14:30-16:00Session 129F: Cryptography 1
Chair: Cedric Fournet
Location: FH, Hörsaal 6
14:30-15:00Jason Crampton and Alexandre Pinto. Attribute-based Encryption for Access Control Using Elementary Operations
15:00-15:30Alex Malozemoff, Jonathan Katz and Matthew Green. Automated Analysis and Synthesis of Block-Cipher Modes of Operation
15:30-16:00Joseph Ayo Akinyele, Gilles Barthe, Benjamin Gregoire, Benedikt Schmidt andPierre-Yves Strub. Certified Synthesis of Efficient Batch Verifiers
16:00-16:30Coffee Break
16:30-18:00Session 130F: Cryptography 2
Chair: Mark Ryan
Location: FH, Hörsaal 6
16:30-17:00Chris Culnane and Steve Schneider. A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
17:00-17:30Dan Bogdanov, Peeter Laud, Sven Laur and Pille Pullonen. From input private to universally composable secure multiparty computation primitives
17:30-18:00Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya and Sarah Meiklejohn. Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
Monday, July 21st
08:45-10:15Session 145A: VSL Keynote Talk
Chair: Thomas Eiter
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45-10:15Franz Baader VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems
10:15-10:45Coffee Break
10:45-12:45Session 138F: Protocol Verification
Chair: Riccardo Focardi
Location: FH, Hörsaal 6
10:45-11:15Daniel Dougherty and Joshua Guttman. Decidability for Lightweight Diffie-Hellman Protocols
11:15-11:45Moses Liskov and Francisco Javier Thayer. Modeling Diffie-Hellman Derivability for Automated Analysis
11:45-12:15David Basin, Cas Cremers and Marko Horvat. Actor Key Compromise: Consequences and Countermeasures
12:15-12:45Sebastian A. Mödersheim and Georgios Katsoris. A Sound Abstraction of the Parsing Problem
13:00-14:30Lunch Break
14:30-16:00Session 140F: Information Flow 2
Chair: Deepak Garg
Location: FH, Hörsaal 6
14:30-15:00Willard Rafnsson and Andrei Sabelfeld. Compositional Information-flow Security for Interactive Systems
15:00-15:30Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens andTamara Rezk. Stateful Declassification Policies for Event-Driven Programs
15:30-16:00Mario Alvim, Kostas Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi and Geoffrey Smith. Additive and multiplicative notions of leakage, and their capacities
16:30-17:30Session 143C: Invited Talk
Chair: Cedric Fournet
Location: FH, Hörsaal 6
16:30-17:30Gilles Barthe. New Directions in Computed-Aided Cryptography
17:30-19:00Session 145: 5' Talks
Chair: Joshua Guttman
Location: FH, Hörsaal 6
19:00-19:30Business Meeting
Tuesday, July 22nd
08:45-10:15Session 157: VSL Keynote Talk
Chair: Helmut Veith
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45-10:15Edmund Clarke VSL Keynote Talk: Verification of Computer Systems with Model Checking
10:15-10:45Coffee Break
10:45-12:45Session 149F: Network Security
Chair: Boris Kopf
Location: FH, Hörsaal 6
10:45-11:15Benjamin Johnson, Aron Laszka and Jens Grossklags. The Complexity of Estimating Systematic Risk in Networks
11:15-11:45Roberto Vigo, Flemming Nielson and Hanne Riis Nielson. Automated Generation of Attack Trees
11:45-12:15Pedro Adão, Claudio Bozzato, Gian-Luca Dei Rossi, Riccardo Focardi and Flaminia Luccio. Mignis: A semantic based tool for firewall configuration
12:15-12:45Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan and Mauro Tempesta. Provably Sound Browser-Based Enforcement of Web Session Integrity
13:00-14:30Lunch Break
14:30-15:30Session 151F: Invited Talk
Chair: Vitaly Shmatikov
Location: FH, Hörsaal 6
Alessandro Acquisti. Privacy in the Age of Augmented Reality
15:30-16:00Session 152: Privacy 1
Chair: Vitaly Shmatikov
Location: FH, Hörsaal 6
Jia Liu, Mark Ryan and Liqun Chen. Balancing Societal Security and Individual Privacy: Accountable Escrow System
16:00-16:30Coffee Break
16:30-18:30Session 153C: Privacy 2
Chair: Anupam Datta
Location: FH, Hörsaal 6
16:30-17:00Michael Backes, Praveen Manoharan and Esfandiar Mohammadi. TUC: Time-sensitive and Modular Analysis of Anonymous Communication
17:00-17:30Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin Pierce and Aaron Roth. Differential Privacy: An Economic Method for Choosing Epsilon
17:30-18:00Gilles Barthe, Marco Gaboardi, Emilio Jesus Gallego Arias, Justin Hsu, Cesar Kunz and Pierre-Yves Strub. Proving differential privacy in Hoare logic
18:00-18:30Jonathan Mayer Surveillance and Privacy