FCS-FCC 2014 INFORMAL PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Author Index Keyword Index

Shortcuts: A C D E F G I L M P Q R S T V

A
Accountability	Actual Causes of Security Violations (Short Paper) (PDF, talk)
applicative bisimulation	Towards a Coinductive Characterization of Computational Indistinguishability (PDF, talk)
Audit	Actual Causes of Security Violations (Short Paper) (PDF, talk)
automated verification	Protocol Indistinguishability and the Computationally Complete Symbolic Attacker (PDF, talk)
automation	A tool for automating the computationally complete symbolic attacker (PDF, talk)
C
Causality	On Well-Founded Security Protocols (Extended Abstract) (PDF, talk)
causation	Actual Causes of Security Violations (Short Paper) (PDF, talk)
coinduction	Towards a Coinductive Characterization of Computational Indistinguishability (PDF, talk)
computational indistinguishability	Towards a Coinductive Characterization of Computational Indistinguishability (PDF, talk)
computational semantics	Fitting's Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (PDF, talk)
computational soundness	Protocol Indistinguishability and the Computationally Complete Symbolic Attacker (PDF, talk) A tool for automating the computationally complete symbolic attacker (PDF, talk)
Continuous Time	Towards Timed Models for Cyber-Physical Security Protocols (PDF, talk)
cryptographic protocols	A Hybrid Analysis for Security Protocols with State (PDF, talk)
cyber-physical security protocols	Towards Timed Models for Cyber-Physical Security Protocols (PDF, talk)
D
decidability	On Well-Founded Security Protocols (Extended Abstract) (PDF, talk)
Dynamic information flow control	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis (PDF, talk)
dynamic security enforcement mechanisms	Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) (PDF, talk)
E
equivalence properties	Protocol Indistinguishability and the Computationally Complete Symbolic Attacker (PDF, talk)
F
first order logic	Fitting's Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (PDF, talk)
Formal Verification	Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) (PDF, talk)
G
gain function	Adversary Gain vs. Defender Loss in Quantified Information Flow (PDF, talk)
I
implicit computational complexity	Towards a Coinductive Characterization of Computational Indistinguishability (PDF, talk)
L
low-level code	Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) (PDF, talk)
M
metadata	Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) (PDF, talk)
modal logic	Fitting's Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (PDF, talk)
Multiset Rewriting	Towards Timed Models for Cyber-Physical Security Protocols (PDF, talk)
mutable state	A Hybrid Analysis for Security Protocols with State (PDF, talk)
P
Permissive-upgrade	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis (PDF, talk)
policy composition	Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) (PDF, talk)
probabilistic models	Adversary Gain vs. Defender Loss in Quantified Information Flow (PDF, talk)
program logics	Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) (PDF, talk)
Protocol Security	Towards Timed Models for Cyber-Physical Security Protocols (PDF, talk)
Q
quantitative information flow	Adversary Gain vs. Defender Loss in Quantified Information Flow (PDF, talk)
R
refinement	Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) (PDF, talk)
S
Security	A tool for automating the computationally complete symbolic attacker (PDF, talk)
Security lattice	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis (PDF, talk)
security protocols	Fitting's Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (PDF, talk) On Well-Founded Security Protocols (Extended Abstract) (PDF, talk) Actual Causes of Security Violations (Short Paper) (PDF, talk)
Short Paper	Actual Causes of Security Violations (Short Paper) (PDF, talk)
strand spaces	A Hybrid Analysis for Security Protocols with State (PDF, talk)
structured code generators	Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) (PDF, talk)
T
tagged hardware	Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) (PDF, talk)
theorem proving	A Hybrid Analysis for Security Protocols with State (PDF, talk)
Tool	A tool for automating the computationally complete symbolic attacker (PDF, talk)
V
vulnerability	Adversary Gain vs. Defender Loss in Quantified Information Flow (PDF, talk)