Technical Program

Encryption as an Abstract Data Type   [Abstract]
Dale Miller (INRIA - France)

A 3-Valued Logic for the Specification and the Verification of Security Properties   [Abstract]
Béchir Ktari (Laval University - Canada)
 

Domain Separation by Construction   [Abstract]
William Harrison, Mark Tullsen, and James Hook (OGI - USA)

How to prevent type-flaw guessing attacks on password protocols   [Abstract]
Sreekanth Malladi and Jim Alves-Foss (University of Idaho - USA)

Secure Protocols for Secrecy   [Abstract]
Hanane Houmani and Mohamed Mejri (Laval University - Canada)
 

Privacy in Today's World: Solutions and Challenges   [Abstract]
Rebecca Wright (Stevens Institute - USA)
 

Oblivious Comparator and its Application to Secure Auction Protocol   [Abstract]
Hiroaki Kikuchi (Tokai University - Japan)

On the Symbolic Analysis of Low-Level Cryptographic Primitives: Modular Exponentiation and the Diffie-Hellman Protocol   [Abstract]
Michele Boreale (University of Firenze - Italy) and Maria Grazia Buscemi (University of Pisa - Italy)
 

Language-Based Information Security   [Abstract]
Andrei Sabelfeld (Cornell University - USA)
 

An Implementation of Abstraction-carrying Code   [Abstract]
Songtao Xia and James Hook (OGI - USA)

Symbolic Approach to the Analysis of Security Protocols   [Abstract]
Stéphane Lafrance and John Mullins (École Politechnique Montreal - Canada)