Workshop ''WSOFT_galileo''

June 25-26, 2010, Pisa, Italy

[ Aim ] [ Registration ] [ Invited speakers ] [ Organisers ] [ Swap Corner ]

[ Programme ]


Security of software systems is a critical issue in a world where Information Technology is becoming more and more pervasive. The number of services for everyday life that are provided via electronic networks is rapidly increasing, as witnessed by the longer and longer list of words with the prefix "e", such as e-banking, e-commerce, e-government, where the "e" substantiates their electronic nature. These kinds of services usually require to exchange sensible data and to share computational resources, thus needing strong security requirements because of the relevance of the exchanged information and the very distributed and untrusted environment, the Internet, in which they operate. This workshop aims to provide a platform for researchers and PhD students to take a deeper look in security and web services and to possibly present their research if related to the addressed issues.
The Italian PRIN project "SOFT" (Security Oriented Formal Techniques) together with the School of Graduate Studies Galileo Galilei invite you to participate to the workshop.

Invited speakers



Registration is completely free and allows registered people to participate to the lunch and the coffee breaks, and organisers to know the number of participants.
To register, please click here.

See the list of registered participants.

Swap Corner

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.

Programme (Aula Gerace, Dipartimento di Informatica)

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
  • StPowla: Policy-based Run-time Service Selection and Workflow Reconfiguration
    Stephan Reiff-Marganiec
  • Intrusion-Resilience in Mobile Unattended WSNs
    Gabriele Oligeri

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
  • Secure Service Orchestration in Open Networks
    Gabriele Costa
  • Safer in the clouds
    Dung Dinh
12:00 - 12:15 Closing

Last updated: June 24, 2010