CSF Program

10:45	Christos Dimoulas, Scott Moore, Aslan Askarov and Stephen Chong Declarative Policies for Capability Control (abstract)
11:15	Joshua Kroll, Gordon Stewart and Andrew Appel Portable Software Fault Isolation (abstract)
11:45	Radha Jagadeesan, Cm Lubinski, Corin Pitcher, James Riely and Charles Winebrinner Certificates for Verifiable Forensics (abstract)
12:15	Andrey Chudnov, George Kuan and David Naumann Information flow monitoring as abstract interpretation for relational logic (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 113A: FLoC Inter-Conference Topic: Security (joint with CAV)

Chair:

Somesh Jha

Location: FH, Hörsaal 1

14:30	Hassan Eldib and Chao Wang Synthesis of Masking Countermeasures against Side Channel Attacks (abstract)
14:50	Omar Chowdhury, Limin Jia, Deepak Garg and Anupam Datta Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (abstract)
15:10	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp Reummer and Jari Stenman Program Verification through String Rewriting (abstract)
15:30	Sudeep Kanav, Peter Lammich and Andrei Popescu A Conference Management System with Verified Document Confidentiality (abstract)
15:50	Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen and Gennaro Parlato VAC - Verifier of Administrative Role-based Access Control Policies (abstract)

16:00-16:30Coffee Break

16:30-17:30 Session 116E: Invited Talk

Location: FH, Hörsaal 6

16:30

Frank Piessens

Towards a Zero-Software Trusted Computing Base for Extensible Systems (abstract)

17:30-18:30 Session 120: FLoC Inter-Conference Topic: Security. Information Flow 1 (joint with CAV)

Location: FH, Hörsaal 6

17:30	Pablo Buiras, Deian Stefan and Alejandro Russo On Dynamic Flow-sensitive Floating-Label Systems (abstract)
18:00	Heiko Mantel, Matthias Perner and Jens Sauer Noninterference under Weak Memory Models (abstract)

19:00-21:30 Session 122: VSL Reception 2

Location: University of Vienna, Arkadenhof

Sunday, July 20th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

08:45-10:15 Session 123: FLoC Plenary Talk (joint with 9 other meetings)

Chair:

Andrei Voronkov

Location: FH, Hörsaal 1

08:45

Véronique Cortier

FLoC Plenary Talk: Electronic voting: how logic can help? (abstract)

Saturday, July 19th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

22:00-23:59 Session 123: VSL Student Reception 2

Location: Säulenhalle (Volksgarten)

Sunday, July 20th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:15-10:45Coffee Break

10:15-18:00 Session 126A: FLoC Olympic Games Big Screen: CASC Automated Theorem Proving System Competition (CASC-J7) (joint with 9 other meetings)

Location: FH, 2nd floor

10:15

Geoff Sutcliffe

FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7) (abstract)

10:15-18:00 Session 126B: FLoC Olympic Games Big Screen: Termination Competition (termComp) (joint with 9 other meetings)

Location: FH, 2nd floor

10:15

Jürgen Giesl, Stefan von der Krone, Frederic Mesnard, Albert Rubio, René Thiemann and Johannes Waldmann

FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014) (abstract)

10:45-12:45 Session 127F: Usable Security

Location: FH, Hörsaal 6

10:45	Marian Harbach, Sascha Fahl and Matthew Smith Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness (abstract)
11:15	Jens Grossklags and David Reitter How task familiarity and cognitive predispositions impact behavior in a security game of timing (abstract)
11:45	Lujo Bauer Panel: Usability (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 129F: Cryptography 1

Location: FH, Hörsaal 6

14:30	Jason Crampton and Alexandre Pinto Attribute-based Encryption for Access Control Using Elementary Operations (abstract)
15:00	Alex Malozemoff, Jonathan Katz and Matthew Green Automated Analysis and Synthesis of Block-Cipher Modes of Operation (abstract)
15:30	Joseph Ayo Akinyele, Gilles Barthe, Benjamin Gregoire, Benedikt Schmidt and Pierre-Yves Strub Certified Synthesis of Efficient Batch Verifiers (abstract)

14:30-16:00 Session 129G: FLoC Olympic Games: Answer Set Programming Modeling Competition 2014 (joint with 9 other meetings)

Location: FH, Hörsaal 2

14:30

Francesco Calimeri, Martin Gebser, Marco Maratea and Francesco Ricca

FLoC Olympic Games: Answer Set Programming Modeling Competition 2014 (abstract)

16:00-16:30Coffee Break

16:30-18:00 Session 130F: Cryptography 2

Location: FH, Hörsaal 6

16:30	Chris Culnane and Steve Schneider A Peered Bulletin Board for Robust Use in Verifiable Voting Systems (abstract)
17:00	Dan Bogdanov, Peeter Laud, Sven Laur and Pille Pullonen From input private to universally composable secure multiparty computation primitives (abstract)
17:30	Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya and Sarah Meiklejohn Malleable Signatures: New Definitions and Delegatable Anonymous Credentials (abstract)

18:00-19:00 Session 133: Business Meeting

Location: FH, Hörsaal 6

Monday, July 21st, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:45-12:45 Session 138F: Protocol Verification

Location: FH, Hörsaal 6

10:45	Daniel Dougherty and Joshua Guttman Decidability for Lightweight Diffie-Hellman Protocols (abstract)
11:15	Moses Liskov and Francisco Javier Thayer Modeling Diffie-Hellman Derivability for Automated Analysis (abstract)
11:45	David Basin, Cas Cremers and Marko Horvat Actor Key Compromise: Consequences and Countermeasures (abstract)
12:15	Sebastian A. Mödersheim and Georgios Katsoris A Sound Abstraction of the Parsing Problem (abstract)

14:30-16:00 Session 140F: Information Flow 2

Location: FH, Hörsaal 6

14:30	Willard Rafnsson and Andrei Sabelfeld Compositional Information-flow Security for Interactive Systems (abstract)
15:00	Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens and Tamara Rezk Stateful Declassification Policies for Event-Driven Programs (abstract)
15:30	Mario Alvim, Kostas Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi and Geoffrey Smith Additive and multiplicative notions of leakage, and their capacities (abstract)

Sunday, July 20th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

19:00-21:30 Session 142: VSL Banquet 2

Location: Schönbrunn

Monday, July 21st, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

16:30-17:30 Session 143C: Invited Talk

Location: FH, Hörsaal 6

16:30

Gilles Barthe

New Directions in Computed-Aided Cryptography (abstract)

08:45-10:15 Session 144A: VSL Keynote Talk

Chair:

Thomas Eiter

Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1

08:45

Franz Baader

VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems (abstract)

10:15-10:45Coffee Break

13:00-14:30Lunch Break

16:00-16:30Coffee Break

17:30-18:30 Session 146: 5' Talks

Location: FH, Hörsaal 6

19:00-20:00 Session 149A: VSL Public Lecture 2

Location: MB, Kuppelsaal

19:00

Friedrich Stadler

VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract)

Tuesday, July 22nd, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:45-12:45 Session 149F: Network Security

Location: FH, Hörsaal 6

10:45	Benjamin Johnson, Aron Laszka and Jens Grossklags The Complexity of Estimating Systematic Risk in Networks (abstract)
11:15	Roberto Vigo, Flemming Nielson and Hanne Riis Nielson Automated Generation of Attack Trees (abstract)
11:45	Pedro Adão, Claudio Bozzato, Gian-Luca Dei Rossi, Riccardo Focardi and Flaminia Luccio Mignis: A semantic based tool for firewall configuration (abstract)
12:15	Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan and Mauro Tempesta Provably Sound Browser-Based Enforcement of Web Session Integrity (abstract)

Monday, July 21st, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

16:30-19:00 Session 151A: VSL Joint Award Ceremony 2

Chair:

Helmut Veith

Location: MB, Kuppelsaal

16:30	Floc Olympic Games FLoC Olympic Games Award Ceremony 2 (abstract)
18:00	Werner Depauli-Schimanovich Lifetime Achievement Award (abstract)
18:10	Mingyi Zhang Lifetime Achievement Award (abstract)
18:20	European Masters Program In Computational Logic EMCL Distinguished Alumni Award (abstract)
18:30	Helmut Veith FLoC Closing Week 2 (abstract)

Tuesday, July 22nd, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

14:30-15:30 Session 151F: Invited Talk

Location: FH, Hörsaal 6

14:30

Alessandro Acquisti

Privacy in the Age of Augmented Reality (abstract)

15:30-16:00 Session 152: Privacy 1

Location: FH, Hörsaal 6

15:30

Jia Liu, Mark Ryan and Liqun Chen

Balancing Societal Security and Individual Privacy: Accountable Escrow System (abstract)

16:30-18:30 Session 153C: Privacy 2

Location: FH, Hörsaal 6

16:30	Michael Backes, Praveen Manoharan and Esfandiar Mohammadi TUC: Time-sensitive and Modular Analysis of Anonymous Communication (abstract)
17:00	Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin Pierce and Aaron Roth Differential Privacy: An Economic Method for Choosing Epsilon (abstract)
17:30	Gilles Barthe, Marco Gaboardi, Emilio Jesus Gallego Arias, Justin Hsu, Cesar Kunz and Pierre-Yves Strub Proving differential privacy in Hoare logic (abstract)
18:00	Jonathan Mayer Surveillance and Privacy (abstract)

08:45-10:15 Session 156: VSL Keynote Talk

Chair:

Helmut Veith

Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1

08:45

Edmund Clarke

VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract)

10:15-10:45Coffee Break

13:00-14:30Lunch Break

16:00-16:30Coffee Break