FCS-FCC 2014 INFORMAL PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Author Index Keyword Index

Shortcuts: A B C D F G H K M N O R S T

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