20th IEEE Computer Security Foundations Symposium (CSF'07)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769528198

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing STV securely in Pret a Voter

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.22 ◽

2007 ◽

Cited By ~ 13

Author(s):

James Heather

Download Full-text

Reasoning about Concurrency for Security Tunnels

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.28 ◽

2007 ◽

Cited By ~ 1

Author(s):

Alwyn E. Goodloe ◽

Carl A. Gunter

Download Full-text

A Library for Secure Multi-threaded Information Flow in Haskell

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.6 ◽

2007 ◽

Cited By ~ 24

Author(s):

Ta-chung Tsai ◽

Alejandro Russo ◽

John Hughes

Keyword(s):

Information Flow

Download Full-text

Causality-based Abstraction of Multiplicity in Security Protocols

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.11 ◽

2007 ◽

Cited By ~ 10

Author(s):

Michael Backes ◽

Agostino Cortesi ◽

Matteo Maffei

Keyword(s):

Security Protocols

Download Full-text

Security Analysis of Voice-over-IP Protocols

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.31 ◽

2007 ◽

Cited By ~ 34

Author(s):

Prateek Gupta ◽

Vitaly Shmatikov

Keyword(s):

Security Analysis ◽

Voice Over Ip

Download Full-text

Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.14 ◽

2007 ◽

Cited By ~ 9

Author(s):

Heiko Mantel ◽

Henning Sudbrock

Keyword(s):

Covert Channels ◽

Information Theoretic

Download Full-text

Preface

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.25 ◽

2007 ◽

Download Full-text

Creating Vulnerability Signatures Using Weakest Preconditions

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.17 ◽

2007 ◽

Cited By ~ 45

Author(s):

David Brumley ◽

Hao Wang ◽

Somesh Jha ◽

Dawn Song

Keyword(s):

Weakest Preconditions

Download Full-text

Probability of Error in Information-Hiding Protocols

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.27 ◽

2007 ◽

Cited By ~ 12

Author(s):

Konstantinos Chatzikokolakis ◽

Catuscia Palamidessi ◽

Prakash Panangaden

Keyword(s):

Information Hiding ◽

Probability Of Error

Download Full-text

A Formal Theory of Key Conjuring

20th IEEE Computer Security Foundations Symposium (CSF'07) ◽

10.1109/csf.2007.5 ◽

2007 ◽

Cited By ~ 5

Author(s):

Veronique Cortier ◽

Stephanie Delaune ◽

Graham Steel

Keyword(s):

Formal Theory

Download Full-text

20th IEEE Computer Security Foundations Symposium (CSF'07)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Implementing STV securely in Pret a Voter

Reasoning about Concurrency for Security Tunnels

A Library for Secure Multi-threaded Information Flow in Haskell

Causality-based Abstraction of Multiplicity in Security Protocols

Security Analysis of Voice-over-IP Protocols

Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework

Preface

Creating Vulnerability Signatures Using Weakest Preconditions

Probability of Error in Information-Hiding Protocols

A Formal Theory of Key Conjuring

20th IEEE Computer Security Foundations Symposium (CSF'07)
Latest Publications