2010 23rd IEEE Computer Security Foundations Symposium
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424475100

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Required Information Release

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.22 ◽

2010 ◽

Cited By ~ 6

Author(s):

Stephen Chong

Keyword(s):

Information Release

Download Full-text

Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.15 ◽

2010 ◽

Cited By ~ 56

Author(s):

Myrto Arapinis ◽

Tom Chothia ◽

Eike Ritter ◽

Mark Ryan

Keyword(s):

Pi Calculus

Download Full-text

Information Flow in Credential Systems

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.19 ◽

2010 ◽

Cited By ~ 7

Author(s):

Moritz Y. Becker

Keyword(s):

Information Flow

Download Full-text

A Game-Based Definition of Coercion-Resistance and Its Applications

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.16 ◽

2010 ◽

Cited By ~ 26

Author(s):

Ralf Küsters ◽

Tomasz Truderung ◽

Andreas Vogt

Keyword(s):

Definition Of

Download Full-text

Approximation and Randomization for Quantitative Information-Flow Analysis

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.8 ◽

2010 ◽

Cited By ~ 31

Author(s):

Boris Köpf ◽

Andrey Rybalchenko

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Quantitative Information ◽

Information Flow Analysis ◽

Quantitative Information Flow

Download Full-text

Formal Verification of Privacy for RFID Systems

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.13 ◽

2010 ◽

Cited By ~ 28

Author(s):

Mayla Bruso ◽

Konstantinos Chatzikokolakis ◽

Jerry den Hartog

Keyword(s):

Formal Verification ◽

Rfid Systems

Download Full-text

Automating Open Bisimulation Checking for the Spi Calculus

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.28 ◽

2010 ◽

Cited By ~ 31

Author(s):

Alwen Tiu ◽

Jeremy Dawson

Download Full-text

Title Page iii

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.2 ◽

2010 ◽

Keyword(s):

Title Page

Download Full-text

Author Index

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.31 ◽

2010 ◽

Download Full-text

Quantification of Integrity

2010 23rd IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2010.10 ◽

2010 ◽

Cited By ~ 17

Author(s):

Michael R. Clarkson ◽

Fred B. Schneider

Download Full-text

2010 23rd IEEE Computer Security Foundations SymposiumLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Required Information Release

Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

Information Flow in Credential Systems

A Game-Based Definition of Coercion-Resistance and Its Applications

Approximation and Randomization for Quantitative Information-Flow Analysis

Formal Verification of Privacy for RFID Systems

Automating Open Bisimulation Checking for the Spi Calculus

Title Page iii

Author Index

Quantification of Integrity

2010 23rd IEEE Computer Security Foundations Symposium
Latest Publications