Ca' Foscari logo SecReT 2006
1st International Workshop on Security and Rewriting Techniques

July 15, 2006
S. Servolo, Venice - Italy

SecReT 2006 Programme

Saturday 15th July 2006

Time Event
09:00-09:05 Welcome
09:05-10:00 Invited Talk: Deciding Protocol Insecurity with Rewriting Techniques
Michael Rusinowitch
10:00-10:30 Coffee Break
10:30-11:00 Access control and rewrite systems
T. Hardin, M. Jaume, C. Morisset
11:00-11:30 Rewriting-based access control policies
A. Santana de Oliveira
11:30-12:00 An End-to-End Approach to Distributed Policy Language Implementation
T. Chothia, D. Duggan, Y. Wu
12:00-12:30 Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption
P. Lafourcade
12:30-14:30 Lunch
14:30-15:00 Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
S. Escobar, C. Meadows, J. Meseguer
15:00-15:30 Specification and Analysis of security Protocols by Rewriting
M. Nesi
15:30-16:00 Security Protocols Verification with Implicit Induction and Explicit Destructors
A. Bouhoula, F. Jacquemard
16:00-16:30 Coffee Break
16:30-17:00 Language primitives and type discipline for structured communication-based programming revisited
V. Vasconcelos, N. Yoshida
17:00-17:30 Discussion and future SecReT directions
TBA Workshop Dinner


For further information consult the ICALP 2006 web site: http://icalp06.dsi.unive.it/