2011 IEEE 24th Computer Security Foundations Symposium
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781612846446

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Title Page i

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.1 ◽

2011 ◽

Keyword(s):

Title Page

Security for Key Management Interfaces

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.25 ◽

2011 ◽

Cited By ~ 13

Author(s):

Steve Kremer ◽

Graham Steel ◽

Bogdan Warinschi

Keyword(s):

Key Management

The Complexity of Quantitative Information Flow Problems

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.21 ◽

2011 ◽

Cited By ~ 4

Author(s):

Pavol Cerný ◽

Krishnendu Chatterjee ◽

Thomas A. Henzinger

Keyword(s):

Information Flow ◽

Quantitative Information ◽

Flow Problems ◽

Quantitative Information Flow

Modular Protections against Non-control Data Attacks

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.16 ◽

2011 ◽

Cited By ~ 9

Author(s):

Cole Schlesinger ◽

Karthik Pattabiraman ◽

Nikhil Swamy ◽

David Walker ◽

Benjamin Zorn

Keyword(s):

Control Data

A Formal Framework for Provenance Security

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.26 ◽

2011 ◽

Cited By ~ 29

Author(s):

James Cheney

Keyword(s):

Formal Framework

Author Index

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.29 ◽

2011 ◽

Automated Proofs for Diffie-Hellman-Based Key Exchanges

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.11 ◽

2011 ◽

Cited By ~ 3

Author(s):

Long Ngo ◽

Colin Boyd ◽

Juan Gonz´lez Nieto

Keyword(s):

Diffie Hellman

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

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.28 ◽

2011 ◽

Cited By ~ 10

Author(s):

Jeremiah Blocki ◽

Nicolas Christin ◽

Anupam Datta ◽

Arunesh Sinha

Keyword(s):

Privacy Protection

Local Memory via Layout Randomization

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.18 ◽

2011 ◽

Cited By ~ 27

Author(s):

Radha Jagadeesan ◽

Corin Pitcher ◽

Julian Rathke ◽

James Riely

Keyword(s):

Local Memory

Integrated Specification and Verification of Security Protocols and Policies

2011 IEEE 24th Computer Security Foundations Symposium ◽

10.1109/csf.2011.9 ◽

2011 ◽

Cited By ~ 5

Author(s):

Simone Frau ◽

Mohammad Torabi-Dashti

Keyword(s):

Security Protocols ◽

Specification And Verification

2011 IEEE 24th Computer Security Foundations SymposiumLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Title Page i

Security for Key Management Interfaces

The Complexity of Quantitative Information Flow Problems

Modular Protections against Non-control Data Attacks

A Formal Framework for Provenance Security

Author Index

Automated Proofs for Diffie-Hellman-Based Key Exchanges

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

Local Memory via Layout Randomization

Integrated Specification and Verification of Security Protocols and Policies

2011 IEEE 24th Computer Security Foundations Symposium
Latest Publications