Programme of ARSPA-WITS at ETAPS 2010
Saturday, March 27
09:20 - 10:30 SESSION 1
- 9.20: Welcome
- 9.30: Invited talk: Flemming Nielson. The CaPiTo Approach to Protocol
Validation.
10:30 - 11:00 Coffee
11:00 - 12:20 SESSION 2: Protocols 1
- 11.00: Reasoning About Probabilistic Security Using Task-PIOAs
- Aaron D. Jaggard, Catherine Meadows, Michael Mislove and Roberto
Segala.
- 11.40: Secrecy and
Authenticity Types for Distributed Messaging
- Michele Bugliesi, Stefano Calzavara and Damiano Macedonio.
-
12:30 - 14:00 Lunch
14:00 - 16:00 SESSION 3: Secure Programs
- 14.00: Modular Plans
for Secure Service Composition
- Gabriele Costa, Pierpaolo Degano and Fabio Martinelli.
- 14.40: Towards
Practical Enforcement Theories
- Nataliia Bielova, Fabio Massacci and Andrea Micheletti.
- 15.20: A Type System for Access Control Views in
Object-Oriented Languages
- Mário Pires and Luís Caires.
-
-
16:00 - 16:30 Coffee
16:30 - 17:50 SESSION 4: Security APIs
- 16.30: Formal Analysis of Key Integrity
in PKCS#11
- Andrea Falcone and Riccardo Focardi.
- 17.10: Secure upgrade of hardware
security modules in bank networks
- Riccardo Focardi and Flaminia Luccio.
- [17.50-18.30: IFIP WG1.6 business meeting (closed meeting)]
ETAPS 2010 |
Top |
Last Update: 2010-02-04