VSL 2014: VIENNA SUMMER OF LOGIC 2014

CSF ON TUESDAY, JULY 22ND: TALK VIEW

Days:
previous day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
10:45-11:15
The Complexity of Estimating Systematic Risk in Networks
Benjamin Johnson, Aron Laszka, Jens Grossklags
11:15-11:45
Automated Generation of Attack Trees
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
11:45-12:15
Mignis: A semantic based tool for firewall configuration
P. Adão, C. Bozzato, G.-L. Dei Rossi, R. Focardi, F. Luccio
12:15-12:45
Provably Sound Browser-Based Enforcement of Web Session Integrity
M. Bugliesi, S. Calzavara, R. Focardi, W. Khan, M. Tempesta
14:30-15:30
Privacy in the Age of Augmented Reality
Alessandro Acquisti
15:30-16:00
Balancing Societal Security and Individual Privacy: Accountable Escrow System
Jia Liu, Mark Ryan, Liqun Chen
16:30-17:00
TUC: Time-sensitive and Modular Analysis of Anonymous Communication
Michael Backes, Praveen Manoharan, Esfandiar Mohammadi
17:00-17:30
Differential Privacy: An Economic Method for Choosing Epsilon
J. Hsu, M. Gaboardi, A. Haeberlen, S. Khanna, A. Narayan, B. Pierce, A. Roth
17:30-18:00
Proving differential privacy in Hoare logic
G. Barthe, M. Gaboardi, E.J. Gallego Arias, J. Hsu, C. Kunz, P.-Y. Strub
18:00-18:30
Surveillance and Privacy
Jonathan Mayer
08:45-09:45
VSL Keynote Talk: Verification of Computer Systems with Model Checking
Edmund Clarke
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program