June 25-26, 2010, Pisa, Italy
[ Aim ] [ Registration ] [ Invited speakers ] [ Organisers ] [ Swap Corner ]
[ Programme ]
Since it is a low-budget organised workshop, we would like to ask you to bring with you an old badge of yours and to meet at the Swap Corner where, if you like, you could exchange your old conference bags and gadgets. |
FRIDAY | June 25 |
9:50 - 10:00 | Breakfast |
10:00 - 10:15 | Opening |
10.15-11.15 |
Invited talk I:
Abstraction by Set-Membership - Verifying Security Protocols and Web Services with Databases
Sebastian Mödersheim |
Session I | Chair: Chiara Bodei |
11:15 - 11:45 |
Cracking bank PINs by playing Mastermind Flaminia Luccio |
11:45 - 12:15 |
Dynamic and static enforcement of security policies Gian Luigi Ferrari |
12:15 - 12:45 |
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures Luca Viganò |
12:45 - 14:30 | Lunch |
14.30-15.30 |
Invited talk II:
Abstractions for Verifying Key Management APIs
Graham Steel |
Session II | Chair: Luca Viganò |
15:30 - 16:00 |
CryptokiX: testing and fixing a software PKCS#11 security token Matteo Centenaro |
16:00 - 16:30 |
A Calculus for the Analysis of Wireless Network Security Protocols Massimo Merro |
16:30 - 17:00 | Coffee break |
17:00 - 18:00 |
|
SATURDAY | June 26 |
9:00 - 10:00 |
Invited talk III:
Contract-based Discovery and Adaptation
of Web Services
Luca Padovani |
10:00 - 10:30 | Coffee break |
Session IV | Chair: Riccardo Focardi |
10:30 - 11:00 |
A calculus of contracting processes Massimo Bartoletti |
11:00 - 12:00 |
|
12:00 - 12:15 | Closing |