Programme of WITS at ETAPS 2007
Saturday, March 24, room: CP2-102
09:25 - 10:30 SESSION 1
- Welcome
- Riccardo Focardi (University of Venice)
- Invited Talk
- On the use of formal models for proving
cryptographic security notions
- Véronique Cortier
10:30 - 11:00 Coffee Break
11:00 - 12:30 SESSION 2
- Computational Security
- Computationally Sound Analysis of Protocols
using Bilinear Pairings
- Laurent Mazare
- On the Role of Scheduling in Simulation-Based
Security
- Ran Canetti, Ling Cheung, Nancy Lynch and
Olivier Pereira
- Inductive Trace Properties Imply Computational
Security
- Arnab Roy, Anupam Datta, Ante Derek and John
Mitchell
12:30 - 14:00 Lunch
15:00 - 16:00 SESSION 3
- Information Flow
- On information flow and refinement-closure
- Gavin Lowe
- Nondeduciblity on strategies in the temporal
logic of knowledge
- Catalin Dima and Constantin Enea
16:00 - 16:30 Coffee Break
16:30 - 17:30 SESSION 4
- Static Analysis of Authentication
- Detecting Replay Attacks by Freshness Annotations
- Han Gao, Pierpaolo Degano, Chiara Bodei and
Hanne Riis Nielson
- A Calculus of Challanges and Responses
- Michael Backes, Agostino Cortesi, Riccardo
Focardi and Matteo Maffei
Sunday, March 25, room: CP2-102
09:30 - 10:30 SESSION 1
- Invited Talk
- Certified access control on mobile interactive
devices
- Thomas Jensen
(Saitama University, Japan)
10:30 - 11:00 Coffee Break
11:00 - 12:30 SESSION 2
- New Models for Security Protocols
- On the Specification of Secure Channels
- Christopher Dilloway and Gavin Lowe
- Causality-based Abstraction of Multiplicity in
Security Protocols
- Michael Backes, Agostino Cortesi and Matteo
Maffei
- Skeletons and the Shapes of Bundles
- Joshua Guttman, Shaddin Doghmi and F. Javier
Thayer
12:30 - 14:00 Lunch
15:00 - 16:00 SESSION 3
- Protocol Verification
- Verifying an implementation of SSH
- Erik Poll and Aleksy Schubert
- Partial Order Reduction for Branching Security
Protocols
- Wan Fokkink, Mohammad Torabi Dashti and Anton Wijs
16:00 - 16:30 Coffee Break
16:30 - 17:30 IFIP WG 1.7 Business Meeting
18:45 SOCIAL EVENT
- Joint Workshops
Pre-Conference Dinner (tickets needed)
- Dinner at Bom Jesus, Braga
- Shuttle departure from University Campus, Gualtar
Further ETAPS 2007 Programme Information:
- Programme Overview, Social Programme
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
Bytecode,
COCV,
FESCA,
FinCo,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
MOMPES,
OpenCert,
QAPL,
SC,
SLA++P,
TERMGRAPH
- Tutorials:
Stratego/XT,
SoftwGen,
Mobius
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-13