CSFW 2009 - PDF Preprint Papers

CSFW 2009 IEEE Computer Security Foundations Workshop

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSFW-2009 Paper

click to vote

CSFW
2009
IEEE

191views Security Privacy» more CSFW 2009»

Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code

14 years 4 months ago

Download www.cs.ucdavis.edu

Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...

Phillip Rogaway, Till Stegers

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	191	Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code	claim
2	189	ASPIER: An Automated Framework for Verifying Security Protocol Implementations	claim
3	189	Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation	claim
4	161	More Anonymous Onion Routing Through Trust	claim
5	160	Cryptographic Protocol Synthesis and Verification for Multiparty Sessions	claim
6	147	Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists	claim
7	139	Tight Enforcement of Information-Release Policies for Dynamic Languages	claim
8	137	Achieving Security Despite Compromise Using Zero-knowledge	claim
9	132	Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks	claim
10	128	Universally Composable Symmetric Encryption	claim
11	119	Specification and Analysis of Dynamic Authorisation Policies	claim
12	118	Policy Compliance in Collaborative Systems	claim
13	114	Expressive Power of Definite Clauses for Verifying Authenticity	claim
14	112	Language-Based Isolation of Untrusted JavaScript	claim
15	103	A Secure Cryptographic Token Interface	claim
16	101	A Method for Proving Observational Equivalence	claim
17	101	Securing Timeout Instructions in Web Applications	claim
18	100	Minimal Message Complexity of Asynchronous Multi-party Contract Signing	claim
19	100	A Provably Secure and Efficient Countermeasure against Timing Attacks	claim
20	96	Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities	claim
21	90	Updatable Security Views	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers