VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
abstract interpretation	Information flow monitoring as abstract interpretation for relational logic
access control	Declarative Policies for Capability Control Attribute-based Encryption for Access Control Using Elementary Operations
Accountable escrow	Balancing Societal Security and Individual Privacy: Accountable Escrow System
Accountable-escrowed encryption	Balancing Societal Security and Individual Privacy: Accountable Escrow System
adversary models	Actor Key Compromise: Consequences and Countermeasures
Algebraic Message Model	A Sound Abstraction of the Parsing Problem
Anonymity Guarantees	TUC: Time-sensitive and Modular Analysis of Anonymous Communication
Anonymous Communication Protocols	TUC: Time-sensitive and Modular Analysis of Anonymous Communication
Attack trees	Automated Generation of Attack Trees
attribute-based encryption	Attribute-based Encryption for Access Control Using Elementary Operations
authentication	Actor Key Compromise: Consequences and Countermeasures
B
Batch verification	Certified Synthesis of Efficient Batch Verifiers
Bilinear Pairing	Certified Synthesis of Efficient Batch Verifiers
block-ciphers	Automated Analysis and Synthesis of Block-Cipher Modes of Operation
C
capabilities	Declarative Policies for Capability Control
channel capacity	Additive and multiplicative notions of leakage, and their capacities
Cognitive Science	How task familiarity and cognitive predispositions impact behavior in a security game of timing
compositionality	Compositional Information-flow Security for Interactive Systems
Computer-Aided Cryptography	Certified Synthesis of Efficient Batch Verifiers
Consequences	Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness
contracts	Declarative Policies for Capability Control
Coq	Certificates for Verifiable Forensics
cryptographic definitions	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
Cryptographic protocol analysis	Decidability for Lightweight Diffie-Hellman Protocols
cyber-insurance	The Complexity of Estimating Systematic Risk in Networks
D
Decidability results	Decidability for Lightweight Diffie-Hellman Protocols
declassification	Stateful Declassification Policies for Event-Driven Programs
delegatable anonymous credentials	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
Differential Privacy	Differential Privacy: An Economic Method for Choosing Epsilon Proving differential privacy in Hoare logic
Diffie-Hellman	Balancing Societal Security and Individual Privacy: Accountable Escrow System Modeling Diffie-Hellman Derivability for Automated Analysis
Diffie-Hellman key exchange	Decidability for Lightweight Diffie-Hellman Protocols
digital forensics	Certificates for Verifiable Forensics
Distributed Algorithm	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
E
economics of security	The Complexity of Estimating Systematic Risk in Networks
Efficient protocols	From input private to universally composable secure multiparty computation primitives
Epsilon	Differential Privacy: An Economic Method for Choosing Epsilon
Escrowed public key	Balancing Societal Security and Individual Privacy: Accountable Escrow System
Event-B	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
execution monitoring	Information flow monitoring as abstract interpretation for relational logic
Execution monitors	On Dynamic Flow-sensitive Floating-Label Systems
Experiment	How task familiarity and cognitive predispositions impact behavior in a security game of timing
F
Firewall	Mignis: A semantic based tool for firewall configuration
Floating-label systems	On Dynamic Flow-sensitive Floating-Label Systems
Flow-sensitive references	On Dynamic Flow-sensitive Floating-Label Systems
formal methods	Mignis: A semantic based tool for firewall configuration Provably Sound Browser-Based Enforcement of Web Session Integrity
Formal verification	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems A Sound Abstraction of the Parsing Problem
G
generalised entropy measurements	Additive and multiplicative notions of leakage, and their capacities
H
Haskell	On Dynamic Flow-sensitive Floating-Label Systems
Hoare logic	Proving differential privacy in Hoare logic
Human Behavior	How task familiarity and cognitive predispositions impact behavior in a security game of timing
I
information flow	Stateful Declassification Policies for Event-Driven Programs Declarative Policies for Capability Control Compositional Information-flow Security for Interactive Systems
information flow control	Information flow monitoring as abstract interpretation for relational logic
Information Flow Security	Noninterference under Weak Memory Models
interactive systems	Compositional Information-flow Security for Interactive Systems
K
Key Compromise Impersonation	Actor Key Compromise: Consequences and Countermeasures
L
LIO	On Dynamic Flow-sensitive Floating-Label Systems
M
malleable signatures	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
Memory Safety	Portable Software Fault Isolation
Message Formats	A Sound Abstraction of the Parsing Problem
modeling	Differential Privacy: An Economic Method for Choosing Epsilon
modes of operation	Automated Analysis and Synthesis of Block-Cipher Modes of Operation
N
Need for Cognition	How task familiarity and cognitive predispositions impact behavior in a security game of timing
Network security	Mignis: A semantic based tool for firewall configuration
networks	The Complexity of Estimating Systematic Risk in Networks
non-interference	On Dynamic Flow-sensitive Floating-Label Systems
non-standard analysis	Modeling Diffie-Hellman Derivability for Automated Analysis
P
Privacy	Balancing Societal Security and Individual Privacy: Accountable Escrow System
privacy foundation	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
Process Calculi	Automated Generation of Attack Trees
Product Programs	Proving differential privacy in Hoare logic
protocol analysis	Modeling Diffie-Hellman Derivability for Automated Analysis
Protocol Suite	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
Public key crypto	Balancing Societal Security and Individual Privacy: Accountable Escrow System
Q
quantitative information flow	Additive and multiplicative notions of leakage, and their capacities
Quantitative security	Automated Generation of Attack Trees
R
reactive systems	Provably Sound Browser-Based Enforcement of Web Session Integrity
relational logic	Information flow monitoring as abstract interpretation for relational logic
Rewriting system	Balancing Societal Security and Individual Privacy: Accountable Escrow System
Risk Awareness	Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness
risk mitigation	The Complexity of Estimating Systematic Risk in Networks
Risk Propensity	How task familiarity and cognitive predispositions impact behavior in a security game of timing
S
Satisfiability Modulo Theories	Automated Generation of Attack Trees
scale-free networks	The Complexity of Estimating Systematic Risk in Networks
secrecy	Actor Key Compromise: Consequences and Countermeasures
secret-sharing	Attribute-based Encryption for Access Control Using Elementary Operations
Secure Electronic Voting	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
secure multi-execution	Stateful Declassification Policies for Event-Driven Programs
Secure multiparty computation	From input private to universally composable secure multiparty computation primitives
Secure Web Bulletin Board	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
Security	The Complexity of Estimating Systematic Risk in Networks How task familiarity and cognitive predispositions impact behavior in a security game of timing
Security models	Mignis: A semantic based tool for firewall configuration
security properties	Actor Key Compromise: Consequences and Countermeasures
security protocols	Actor Key Compromise: Consequences and Countermeasures A Sound Abstraction of the Parsing Problem
Security Type Systems	Noninterference under Weak Memory Models
Session integrity	Provably Sound Browser-Based Enforcement of Web Session Integrity
Software Fault Isolation	Portable Software Fault Isolation
Sound Abstraction	A Sound Abstraction of the Parsing Problem
SSH	Actor Key Compromise: Consequences and Countermeasures
Static Analysis	Automated Generation of Attack Trees
strand spaces	Decidability for Lightweight Diffie-Hellman Protocols
Surveillance	Balancing Societal Security and Individual Privacy: Accountable Escrow System
Symbolic model	Decidability for Lightweight Diffie-Hellman Protocols
symmetric encryption	Automated Analysis and Synthesis of Block-Cipher Modes of Operation
synthesis	Automated Analysis and Synthesis of Block-Cipher Modes of Operation
T
Technology Adoption	Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness
theorem proving	Certificates for Verifiable Forensics
Timing Attacks	TUC: Time-sensitive and Modular Analysis of Anonymous Communication
Timing of Security Decisions	How task familiarity and cognitive predispositions impact behavior in a security game of timing
TLS	Actor Key Compromise: Consequences and Countermeasures
topology	The Complexity of Estimating Systematic Risk in Networks
Tor	TUC: Time-sensitive and Modular Analysis of Anonymous Communication
U
Unification	Modeling Diffie-Hellman Derivability for Automated Analysis
Universal composability	From input private to universally composable secure multiparty computation primitives
Usable Security	How task familiarity and cognitive predispositions impact behavior in a security game of timing Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness
V
verification	Certificates for Verifiable Forensics
Verified Software	Portable Software Fault Isolation
W
Weak Memory Models	Noninterference under Weak Memory Models
Web authentication	Provably Sound Browser-Based Enforcement of Web Session Integrity
web scripts	Stateful Declassification Policies for Event-Driven Programs
Website Fingerprinting	TUC: Time-sensitive and Modular Analysis of Anonymous Communication
Z
zero-knowledge proofs	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials

Disclaimer | Powered by EasyChair Smart Program