Links Venue SecReT series

SecReT 2010

5th International Workshop on Security and Rewriting Techniques

Valencia (Spain), June 18-20

9:00 Session 1 (Invited speaker + 1 regular talk)
Chair: Steve Kremer

Michaël Rusinowitch
Protocol Analysis for WS Security
Sergiu Bursuc, Hubert Comon-Lundh and Stephanie Delaune
Deducibility constraints

10:45 Coffee break

11:30 Session 2 (2 talks)
Chair: Christopher Lynch

Santiago Escobar, Catherine Meadows and Jose Meseguer
Maude-NPA Tool Demo
Santiago Escobar, Catherine Meadows, Jose Meseguer and Sonia Santiago
Sequential Protocol Composition in Maude-NPA

13:00 Lunch

15:00 Session 3 (Invited speaker + 1 regular talk)
Chair: Paliath Narendran

16:45 Coffee break

17:30 Session 4 (2 regular talks)
Chair: Daniel Dougherty

9:00 Session 1 (Invited speaker + 1 regular talk)
Chair: Hubert Comon-Lundh

10:45 Coffee break

11:30 Session 2 (2 talks)
Chair: Ralf Kuesters

Vincent Cheval, Hubert Comon-Lundh and Stephanie Delaune
Automating security analysis: symbolic equivalence of constraint systems
Yannick Chevalier and Mounira Kourjieh
Finitary Deduction Systems

13:00 Lunch

18:00 Visit to the city of Valencia

21:00 Social dinner: Restaurant La Sucursal (rated with one Michelin Star)

9:00 Session 1 (Invited speaker + 1 regular talk)
Chair: Santiago Escobar

10:45 Coffee break

11:30 Session 2 (2 talks)
Chair: Catherine Meadows

13:00 Lunch

Last modified: Tuesday Jun 15 06:33:15 CEST 2010