VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Alvim, Mario	Adversary Gain vs. Defender Loss in Quantified Information Flow
B
Ban Kirigin, Tajana	Towards Timed Models for Cyber-Physical Security Protocols
Bana, Gergei	Protocol Indistinguishability and the Computationally Complete Symbolic Attacker Fitting's Embedding of Classical Logic in S4 and Trace Properties in the Computational Model
Bichhawat, Abhishek	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
C
Cappai, Alberto	Towards a Coinductive Characterization of Computational Indistinguishability
Comon-Lundh, Hubert	A tool for automating the computationally complete symbolic attacker Protocol Indistinguishability and the Computationally Complete Symbolic Attacker
Cortier, Veronique	A tool for automating the computationally complete symbolic attacker
D
Dal Lago, Ugo	Towards a Coinductive Characterization of Computational Indistinguishability
Datta, Anupam	Actual Causes of Security Violations
Dougherty, Daniel	A Hybrid Analysis for Security Protocols with State
F
Froeschle, Sibylle	On Well-Founded Security Protocols
G
Garg, Deepak	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Guttman, Joshua	A Hybrid Analysis for Security Protocols with State
H
Hammer, Christian	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Hicks, Michael	Adversary Gain vs. Defender Loss in Quantified Information Flow
Hritcu, Catalin	Micro-Policies: Formally Verified Low-Level Tagging Schemes for Safety and Security (Short Paper)
K
Kanovich, Max	Towards Timed Models for Cyber-Physical Security Protocols
Kaynar, Dilsun	Actual Causes of Security Violations
M
Mardziel, Piotr	Adversary Gain vs. Defender Loss in Quantified Information Flow
Maurer, Ueli	Constructive Cryptography and Security Proofs
N
Nigam, Vivek	Towards Timed Models for Cyber-Physical Security Protocols
O
Okada, Mitsuhiro	Fitting's Embedding of Classical Logic in S4 and Trace Properties in the Computational Model
R
Rajani, Vineet	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Ramsdell, John D	A Hybrid Analysis for Security Protocols with State
Rowe, Paul D	A Hybrid Analysis for Security Protocols with State
S
Scedrov, Andre	Towards Timed Models for Cyber-Physical Security Protocols
Scerri, Guillaume	A tool for automating the computationally complete symbolic attacker
Sharma, Divya	Actual Causes of Security Violations
Sinha, Arunesh	Actual Causes of Security Violations
T
Talcott, Carolyn	Towards Timed Models for Cyber-Physical Security Protocols

Disclaimer | Powered by EasyChair Smart Program