CSF 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D F G H J K L M N P R S T V W

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