VSL 2014: VIENNA SUMMER OF LOGIC 2014
CSF PROGRAM

Days: Saturday, July 19th Sunday, July 20th Monday, July 21st Tuesday, July 22nd

Tuesday, July 15th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 44: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract)
Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 62A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract)
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-18:00 Session 87E: FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (joint with 9 other meetings)
Location: FH, 2nd floor
09:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract)
Saturday, July 19th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 106A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 109D: FLoC Inter-Conference Topic: Security. Software Security (joint with CAV)
Location: FH, Hörsaal 6
10:45
Declarative Policies for Capability Control (abstract)
11:15
Portable Software Fault Isolation (abstract)
11:45
Certificates for Verifiable Forensics (abstract)
12:15
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:
Location: FH, Hörsaal 1
14:30
Synthesis of Masking Countermeasures against Side Channel Attacks (abstract)
14:50
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (abstract)
15:10
Program Verification through String Rewriting (abstract)
15:30
A Conference Management System with Verified Document Confidentiality (abstract)
15:50
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
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
On Dynamic Flow-sensitive Floating-Label Systems (abstract)
18:00
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 abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 123: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: Electronic voting: how logic can help? (abstract)
Saturday, July 19th, 2014

View this program: with abstractssession overviewtalk overviewside 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 abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-12:45 Session 127F: Usable Security
Location: FH, Hörsaal 6
10:45
Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness (abstract)
11:15
How task familiarity and cognitive predispositions impact behavior in a security game of timing (abstract)
11:45
Panel: Usability (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 129F: Cryptography 1
Location: FH, Hörsaal 6
14:30
Attribute-based Encryption for Access Control Using Elementary Operations (abstract)
15:00
Automated Analysis and Synthesis of Block-Cipher Modes of Operation (abstract)
15:30
Certified Synthesis of Efficient Batch Verifiers (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 130F: Cryptography 2
Location: FH, Hörsaal 6
16:30
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems (abstract)
17:00
From input private to universally composable secure multiparty computation primitives (abstract)
17:30
Malleable Signatures: New Definitions and Delegatable Anonymous Credentials (abstract)
Monday, July 21st, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:45-12:45 Session 138F: Protocol Verification
Location: FH, Hörsaal 6
10:45
Decidability for Lightweight Diffie-Hellman Protocols (abstract)
11:15
Modeling Diffie-Hellman Derivability for Automated Analysis (abstract)
11:45
Actor Key Compromise: Consequences and Countermeasures (abstract)
12:15
A Sound Abstraction of the Parsing Problem (abstract)
14:30-16:00 Session 140F: Information Flow 2
Location: FH, Hörsaal 6
14:30
Compositional Information-flow Security for Interactive Systems (abstract)
15:00
Stateful Declassification Policies for Event-Driven Programs (abstract)
15:30
Additive and multiplicative notions of leakage, and their capacities (abstract)
Sunday, July 20th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

Monday, July 21st, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

16:30-17:30 Session 143C: Invited Talk
Location: FH, Hörsaal 6
16:30
New Directions in Computed-Aided Cryptography (abstract)
08:45-10:15 Session 144A: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
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
VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract)
Tuesday, July 22nd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:45-12:45 Session 149F: Network Security
Location: FH, Hörsaal 6
10:45
The Complexity of Estimating Systematic Risk in Networks (abstract)
11:15
Automated Generation of Attack Trees (abstract)
11:45
Mignis: A semantic based tool for firewall configuration (abstract)
12:15
Provably Sound Browser-Based Enforcement of Web Session Integrity (abstract)
Monday, July 21st, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

16:30-19:00 Session 151A: VSL Joint Award Ceremony 2
Location: MB, Kuppelsaal
16:30
FLoC Olympic Games Award Ceremony 2 (abstract)
18:00
Lifetime Achievement Award (abstract)
18:10
Lifetime Achievement Award (abstract)
18:20
EMCL Distinguished Alumni Award (abstract)
18:30
FLoC Closing Week 2 (abstract)
Tuesday, July 22nd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

14:30-15:30 Session 151F: Invited Talk
Location: FH, Hörsaal 6
14:30
Privacy in the Age of Augmented Reality (abstract)
15:30-16:00 Session 152: Privacy 1
Location: FH, Hörsaal 6
15:30
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
TUC: Time-sensitive and Modular Analysis of Anonymous Communication (abstract)
17:00
Differential Privacy: An Economic Method for Choosing Epsilon (abstract)
17:30
Proving differential privacy in Hoare logic (abstract)
18:00
Surveillance and Privacy (abstract)
08:45-10:15 Session 156: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
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