LICS'03 Satellite Workshop on
Foundations of Computer Security - FCS'03
June 26-27, 2003
Ottawa, Canada


Technical Program

THURSDAY June 26, 2003   (SITE Building, room A0150)

9:00 - 9:10 WELCOME
Iliano Cervesato (ITT Industries - USA), Program Chair
9:10 - 10:30 Logical Foundations
Session Chair: Andrei Sabelfeld

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)

10:30 - 11:00 Break
11:00 - 13:00 Security by Construction
Session Chair: Ralf Kuesters

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)

13:00 - 14:30 Lunch
14:30 - 15:30 Invited talk
Session Chair: Iliano Cervesato

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

15:30 - 16:00 Break
16:00 - 17:20 Low-Level Primitives
Session Chair: Vitaly Shmatikov

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)

FRIDAY June 27, 2003   (SITE Building, room A0150)

9:30 - 10:30 Invited Talk
Session Chair: Andre Scedrov

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

10:30 - 11:00 Break
11:00 - 12:20 Language-Based Security
Session Chair: Dale Miller

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)

12:20 - 12:30 Closing remarks
Iliano Cervesato (ITT Industries - USA), Program Chair
12:30 - 14:00 Lunch