VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Acquisti, Alessandro	Privacy in the Age of Augmented Reality
Adão, Pedro	Mignis: A semantic based tool for firewall configuration
Akinyele, Joseph Ayo	Certified Synthesis of Efficient Batch Verifiers
Alvim, Mario	Additive and multiplicative notions of leakage, and their capacities
Appel, Andrew	Portable Software Fault Isolation
Askarov, Aslan	Declarative Policies for Capability Control
B
Backes, Michael	TUC: Time-sensitive and Modular Analysis of Anonymous Communication
Barthe, Gilles	Certified Synthesis of Efficient Batch Verifiers New Directions in Computed-Aided Cryptography Proving differential privacy in Hoare logic
Basin, David	Actor Key Compromise: Consequences and Countermeasures
Bauer, Lujo	Panel: Usability
Bogdanov, Dan	From input private to universally composable secure multiparty computation primitives
Bozzato, Claudio	Mignis: A semantic based tool for firewall configuration
Bugliesi, Michele	Provably Sound Browser-Based Enforcement of Web Session Integrity
Buiras, Pablo	On Dynamic Flow-sensitive Floating-Label Systems
C
Calzavara, Stefano	Provably Sound Browser-Based Enforcement of Web Session Integrity
Chase, Melissa	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
Chatzikokolakis, Kostas	Additive and multiplicative notions of leakage, and their capacities
Chen, Liqun	Balancing Societal Security and Individual Privacy: Accountable Escrow System
Chong, Stephen	Declarative Policies for Capability Control
Chudnov, Andrey	Information flow monitoring as abstract interpretation for relational logic
Crampton, Jason	Attribute-based Encryption for Access Control Using Elementary Operations
Cremers, Cas	Actor Key Compromise: Consequences and Countermeasures
Culnane, Chris	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
D
De Groef, Willem	Stateful Declassification Policies for Event-Driven Programs
Dei Rossi, Gian-Luca	Mignis: A semantic based tool for firewall configuration
Devriese, Dominique	Stateful Declassification Policies for Event-Driven Programs
Dimoulas, Christos	Declarative Policies for Capability Control
Dougherty, Daniel	Decidability for Lightweight Diffie-Hellman Protocols
F
Fahl, Sascha	Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness
Focardi, Riccardo	Provably Sound Browser-Based Enforcement of Web Session Integrity
Focardi, Riccardo	Mignis: A semantic based tool for firewall configuration
G
Gaboardi, Marco	Differential Privacy: An Economic Method for Choosing Epsilon Proving differential privacy in Hoare logic
Gallego Arias, Emilio Jesus	Proving differential privacy in Hoare logic
Green, Matthew	Automated Analysis and Synthesis of Block-Cipher Modes of Operation
Gregoire, Benjamin	Certified Synthesis of Efficient Batch Verifiers
Grossklags, Jens	The Complexity of Estimating Systematic Risk in Networks How task familiarity and cognitive predispositions impact behavior in a security game of timing
Guttman, Joshua	Decidability for Lightweight Diffie-Hellman Protocols
H
Haeberlen, Andreas	Differential Privacy: An Economic Method for Choosing Epsilon
Harbach, Marian	Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness
Horvat, Marko	Actor Key Compromise: Consequences and Countermeasures
Hsu, Justin	Differential Privacy: An Economic Method for Choosing Epsilon Proving differential privacy in Hoare logic
J
Jagadeesan, Radha	Certificates for Verifiable Forensics
Johnson, Benjamin	The Complexity of Estimating Systematic Risk in Networks
K
Katsoris, Georgios	A Sound Abstraction of the Parsing Problem
Katz, Jonathan	Automated Analysis and Synthesis of Block-Cipher Modes of Operation
Khan, Wilayat	Provably Sound Browser-Based Enforcement of Web Session Integrity
Khanna, Sanjeev	Differential Privacy: An Economic Method for Choosing Epsilon
Kohlweiss, Markulf	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
Kroll, Joshua	Portable Software Fault Isolation
Kuan, George	Information flow monitoring as abstract interpretation for relational logic
Kunz, Cesar	Proving differential privacy in Hoare logic
L
Laszka, Aron	The Complexity of Estimating Systematic Risk in Networks
Laud, Peeter	From input private to universally composable secure multiparty computation primitives
Laur, Sven	From input private to universally composable secure multiparty computation primitives
Liskov, Moses	Modeling Diffie-Hellman Derivability for Automated Analysis
Liu, Jia	Balancing Societal Security and Individual Privacy: Accountable Escrow System
Lubinski, Cm	Certificates for Verifiable Forensics
Luccio, Flaminia	Mignis: A semantic based tool for firewall configuration
Lysyanskaya, Anna	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
M
Malozemoff, Alex	Automated Analysis and Synthesis of Block-Cipher Modes of Operation
Manoharan, Praveen	TUC: Time-sensitive and Modular Analysis of Anonymous Communication
Mantel, Heiko	Noninterference under Weak Memory Models
Mayer, Jonathan	Surveillance and Privacy
McIver, Annabelle	Additive and multiplicative notions of leakage, and their capacities
Meiklejohn, Sarah	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
Mohammadi, Esfandiar	TUC: Time-sensitive and Modular Analysis of Anonymous Communication
Moore, Scott	Declarative Policies for Capability Control
Morgan, Carroll	Additive and multiplicative notions of leakage, and their capacities
Mödersheim, Sebastian A.	A Sound Abstraction of the Parsing Problem
N
Narayan, Arjun	Differential Privacy: An Economic Method for Choosing Epsilon
Naumann, David	Information flow monitoring as abstract interpretation for relational logic
Nielson, Flemming	Automated Generation of Attack Trees
Nielson, Hanne Riis	Automated Generation of Attack Trees
P
Palamidessi, Catuscia	Additive and multiplicative notions of leakage, and their capacities
Perner, Matthias	Noninterference under Weak Memory Models
Pierce, Benjamin	Differential Privacy: An Economic Method for Choosing Epsilon
Piessens, Frank	Stateful Declassification Policies for Event-Driven Programs Towards a Zero-Software Trusted Computing Base for Extensible Systems
Pinto, Alexandre	Attribute-based Encryption for Access Control Using Elementary Operations
Pitcher, Corin	Certificates for Verifiable Forensics
Pullonen, Pille	From input private to universally composable secure multiparty computation primitives
R
Rafnsson, Willard	Compositional Information-flow Security for Interactive Systems
Reitter, David	How task familiarity and cognitive predispositions impact behavior in a security game of timing
Rezk, Tamara	Stateful Declassification Policies for Event-Driven Programs
Riely, James	Certificates for Verifiable Forensics
Roth, Aaron	Differential Privacy: An Economic Method for Choosing Epsilon
Russo, Alejandro	On Dynamic Flow-sensitive Floating-Label Systems
Ryan, Mark	Balancing Societal Security and Individual Privacy: Accountable Escrow System
S
Sabelfeld, Andrei	Compositional Information-flow Security for Interactive Systems
Sauer, Jens	Noninterference under Weak Memory Models
Schmidt, Benedikt	Certified Synthesis of Efficient Batch Verifiers
Schneider, Steve	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
Smith, Geoffrey	Additive and multiplicative notions of leakage, and their capacities
Smith, Matthew	Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness
Stefan, Deian	On Dynamic Flow-sensitive Floating-Label Systems
Stewart, Gordon	Portable Software Fault Isolation
Strub, Pierre-Yves	Certified Synthesis of Efficient Batch Verifiers Proving differential privacy in Hoare logic
T
Tempesta, Mauro	Provably Sound Browser-Based Enforcement of Web Session Integrity
Thayer, Francisco Javier	Modeling Diffie-Hellman Derivability for Automated Analysis
V
Vanhoef, Mathy	Stateful Declassification Policies for Event-Driven Programs
Vigo, Roberto	Automated Generation of Attack Trees
W
Winebrinner, Charles	Certificates for Verifiable Forensics

Disclaimer | Powered by EasyChair Smart Program