2012 IEEE 25th Computer Security Foundations Symposium
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By IEEE

9781467319188, 9780769547183
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Title Page i

2012 ◽  
Keyword(s):  
Title Page

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

2012 ◽  
Author(s):  
Benedikt Schmidt ◽  
Simon Meier ◽  
Cas Cremers ◽  
David Basin
Keyword(s):  
Automated Analysis ◽  
Diffie Hellman ◽  
Security Properties

scholarly journals Measuring Information Leakage Using Generalized Gain Functions

2012 ◽  
Author(s):  
M'rio S. Alvim ◽  
Kostas Chatzikokolakis ◽  
Catuscia Palamidessi ◽  
Geoffrey Smith
Keyword(s):  
Information Leakage

scholarly journals The Thermodynamics of Confidentiality

2012 ◽  
Author(s):  
Pasquale Malacaria ◽  
Fabrizio Smeraldi

scholarly journals Verifying Privacy-Type Properties in a Modular Way

2012 ◽  
Author(s):  
Myrto Arapinis ◽  
Vincent Cheval ◽  
Stephanie Delaune

scholarly journals Information-Flow Control for Programming on Encrypted Data

2012 ◽  
Author(s):  
John C. Mitchell ◽  
Rahul Sharma ◽  
Deian Stefan ◽  
Joe Zimmerman
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Information Flow Control ◽  
Encrypted Data

scholarly journals A Framework for the Cryptographic Verification of Java-Like Programs

2012 ◽  
Author(s):  
Ralf Kusters ◽  
Tomasz Truderung ◽  
Jurgen Graf

scholarly journals Secure Compilation to Modern Processors

2012 ◽  
Author(s):  
Pieter Agten ◽  
Raoul Strackx ◽  
Bart Jacobs ◽  
Frank Piessens

scholarly journals Constructing Optimistic Multi-party Contract Signing Protocols

2012 ◽  
Author(s):  
Barbara Kordy ◽  
Saa Radomirovic
Keyword(s):  
Contract Signing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document