Programme of ARSPA-WITS at ETAPS 2010

(Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security)

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