2011 IEEE 24th Computer Security Foundations Symposium
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By IEEE

9781612846446

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Complexity of Quantitative Information Flow Problems

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.21 ◽

2011 ◽

Author(s):

Pavol Cerný ◽

Krishnendu Chatterjee ◽

Thomas A. Henzinger

Keyword(s):

Information Flow ◽

Quantitative Information ◽

Flow Problems ◽

Quantitative Information Flow

Download Full-text

Modular Protections against Non-control Data Attacks

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.16 ◽

2011 ◽

Author(s):

Cole Schlesinger ◽

Karthik Pattabiraman ◽

Nikhil Swamy ◽

David Walker ◽

Benjamin Zorn

Keyword(s):

Download Full-text

Title Page i

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.1 ◽

2011 ◽

Keyword(s):

Download Full-text

Security for Key Management Interfaces

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.25 ◽

2011 ◽

Author(s):

Steve Kremer ◽

Graham Steel ◽

Bogdan Warinschi

Keyword(s):

Download Full-text

A Formal Framework for Provenance Security

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.26 ◽

2011 ◽

Author(s):

James Cheney

Keyword(s):

Formal Framework

Download Full-text

Local Memory via Layout Randomization

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.18 ◽

2011 ◽

Author(s):

Radha Jagadeesan ◽

Corin Pitcher ◽

Julian Rathke ◽

James Riely

Keyword(s):

Download Full-text

Author Index

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.29 ◽

2011 ◽

Download Full-text

Automated Proofs for Diffie-Hellman-Based Key Exchanges

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.11 ◽

2011 ◽

Author(s):

Long Ngo ◽

Colin Boyd ◽

Juan Gonz´lez Nieto

Keyword(s):

Download Full-text

Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.28 ◽

2011 ◽

Author(s):

Jeremiah Blocki ◽

Nicolas Christin ◽

Anupam Datta ◽

Arunesh Sinha

Keyword(s):

Privacy Protection

Download Full-text

Integrated Specification and Verification of Security Protocols and Policies

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.9 ◽

2011 ◽

Author(s):

Simone Frau ◽

Mohammad Torabi-Dashti

Keyword(s):

Security Protocols ◽

Specification And Verification

Download Full-text