2010 23rd IEEE Computer Security Foundations Symposium
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By IEEE

9781424475100
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Required Information Release

2010 ◽  
Author(s):  
Stephen Chong
Keyword(s):  
Information Release

scholarly journals Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

2010 ◽  
Author(s):  
Myrto Arapinis ◽  
Tom Chothia ◽  
Eike Ritter ◽  
Mark Ryan
Keyword(s):  
Pi Calculus

Information Flow in Credential Systems

2010 ◽  
Author(s):  
Moritz Y. Becker
Keyword(s):  
Information Flow

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

2010 ◽  
Author(s):  
Ralf Küsters ◽  
Tomasz Truderung ◽  
Andreas Vogt
Keyword(s):  
Definition Of

scholarly journals Formal Verification of Privacy for RFID Systems

2010 ◽  
Author(s):  
Mayla Bruso ◽  
Konstantinos Chatzikokolakis ◽  
Jerry den Hartog
Keyword(s):  
Formal Verification ◽  
Rfid Systems

Automating Open Bisimulation Checking for the Spi Calculus

2010 ◽  
Author(s):  
Alwen Tiu ◽  
Jeremy Dawson

scholarly journals Quantification of Integrity

2010 ◽  
Author(s):  
Michael R. Clarkson ◽  
Fred B. Schneider
Load More ...
Sign in / Sign up

Export Citation Format

Share Document