International Federation for Information Processing |
2007 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS7th International Workshop on Issues in the Theory of Security (WITS'07)March
24 - 25, 2007, Braga, Portugal |
|
Back to WITS'07 Home Page
9:25 - 9:30 |
WELCOME
|
9:30 - 10:30 |
Invited
Talk Véronique
Cortier |
10:30 – 11:00 |
Break |
11:00 – 12:30 |
Computational
Security Laurent
Mazare Ran
Canetti, Ling Cheung, Nancy Lynch and Olivier Pereira Arnab
Roy, Anupam Datta, Ante Derek and John Mitchell |
12:30 - 14:00 |
Lunch |
15:00 – 16:00 |
Information
Flow Gavin
Lowe Catalin
Dima and Constantin Enea |
16:00 – 16:30 |
Break |
16:30 – 17:30 |
Static
Analysis of Authentication Han
Gao, Pierpaolo Degano, Chiara Bodei and Hanne Riis
Nielson Michael
Backes, Agostino Cortesi, Riccardo Focardi and Matteo Maffei |
|
Social Dinner |
9:30 - 10:30 |
Invited
Talk Thomas
Jensen |
10:30 - 11:00 |
Break |
11:00 - 12:30 |
New
Models for Security Protocols Christopher
Dilloway and Gavin Lowe Michael
Backes, Agostino Cortesi and Matteo Maffei Joshua
Guttman, Shaddin Doghmi and F. Javier Thayer |
12:30 - 14:00 |
Lunch |
15:00 – 16:00 |
Protocol
Verification Erik
Poll and Aleksy Schubert Wan
Fokkink, Mohammad Torabi Dashti and Anton Wijs |
16:00 - 16:30 |
Break |
16:30 - 17:30 |
IFIP WG 1.7 Business Meeting |
Back to WITS'07 Home Page