|
Monday, November 3 |
| 14:45-15:00 |
Introduction (R. Gorrieri) |
| 15:00-15:35 |
Security Boundaries in Mobile Ambients (C. Braghin) |
| 15:35-16:10 |
A precise analysis of pi-calculus in cubic time (G. File') |
| 16:10-16:30 |
Coffee Break |
| 16:30-17:05 |
Verifying Persistent Security Properties (C. Piazza) |
| 17:05-17:40 |
A logical approach to Security in the context of Ambient Calculus (R.
Mardare, C. Priami) |
| 17:40-18:25 |
Compositional Analysis of Entity Authentication Protocols
(M. Maffei) |
|
Tuesday,
November 4 |
| 09:00-10:00 |
Invited Talk:
Towards a Hierarchy of Cryptographic Protocol Models (Catherine A.
Meadows) |
| 10:00-10:35 |
Tools Overview -
FHP-Murphy (E. Tronci, I. Melatti) |
| 10:35-10:55 |
Coffee Break |
| 10:55-11:30 |
A quantitative approach to noninterference for
probabilistic systems (A. Aldini, A. Di Pierro) |
| 11:30-12:05 |
A note on the perfect encryption assumption in a process
calculus (P. Degano, R. Zunino) |
| 12:05-12:40 |
Fault Tolerant and Distributed Broadcast Encryption (P.
D'Arco) |
| 12:40-14:20 |
Lunch |
| 14:20-14:55 |
Timed CryptoSPA (R. Gorrieri, F. Martinelli) |
| 14:55-15:30 |
Analysis of mu-tesla (R. Gorrieri, F. Martinelli, M.
Petrocchi, A. Vaccarelli) |
| 15:30-16:05 |
Model-Checking the secure release of a
timed-locked secret over a network (S. La Torre, A. Murano, M. Parente) |
| 16:05-16:30 |
Coffee Break |
| 16:30-17:05 |
Automatic Analysis of the NRL Pump (R. Lanotte, A.
Maggiolo-Schettini, S. Tini, A. Troina, E. Tronci) |
| 17:05-17:40 |
Stochastic analysis of the NRL pump (A. Aldini, M.
Bernardo) |
| 17:40-18:25 |
Information flow analysis of an e-commerce processing system
(Venezia Team) |
| 20:30 |
Social Dinner |
|
Wednesday, November 5 |
| 09:00-09:35 |
Static analysis of stack inspection and program
transformations (M. Bartoletti, P. Degano e G. Ferrari) |
| 09:35-10:10 |
Security in Coordination Languages (M. Bravetti, R.
Gorrieri, R. Lucchi, G. Zavattaro) |
| 10:10-10:45 |
Discussion |
| 10:45-11:00 |
Coffee Break |
| 11:00-12:30 |
Reviewers & Business Meetings |
| 12:30-13:00 |
Discussion |
| 13:00-14:30 |
Lunch |
|