Associated Event TOSCA - Theory of Security and Applications

Programme of TOSCA at ETAPS 2011

Thursday, March 31

Room E 1.4/24

 

14:00-15:00 Plenary Invited Talk.  Michael Backes

 

Small break

 

Session: Protocols and Algebra

Chair: Catuscia Palamidessi

 

15:15 Florent Jacquemard, Ã‰tienne Lozes, Ralf Treinen and Jules Villard. Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

 

15:45 Sreekanth Malladi. Soundness of removing cancellation identities in protocol analysis under Exclusive-OR

 

16:15-16:45 Coffee break

 

Session:  Abstraction Layers

Chair: Sebastian Mödersheim

 

16:45 Invited Talk.  Ueli Maurer. Mathematical Proofs in Cryptography and Information Security

 

17:45 Moez Ben MBarka, Francine Krief and Olivier Ly. Modeling Long Term Signature Validation for Resolution of Dispute

 

Friday, April 1

 

9:00-10:00 Plenary Invited Talk.  Marta Kwiatkowska

 

10:00-10:30 Coffee Break

 

Session: Protocol Composition and Construction

Chair: Pierpaolo Degano

 

10:30 Invited Talk.  Veronique Cortier.   Secure composition of protocols

 

11:30 Joshua Guttman.  Security Goals and Protocol Transformations

 

12:00 Michael Backes, Matteo Maffei, Kim Pecina and Raphael M. Reischuk.  G2C:  Cryptographic Protocols From Goal-Driven Specifications

 

12:30-14:00 Lunch

 

Session:  Information Hiding

Chair: Joshua Guttman

 

14:00 Invited Talk.  David Sands. TBA

 

15:00 Morten Dahl, Stephanie Delaune and Graham Steel.   Formal Analysis of Privacy for Anonymous Location Based Services


15:30 Marieke Huisman and Henri-charles Blondeel.    Model-checking Secure Information Flow for Multi-Threaded Programs


16:00-16:30 Coffee Break


Session:  Applications.

Chair: Catherine Meadows


16:30 Invited Talk.  Sjouke Mauw.  Looking for the needle in a haystack: reverse engineering data dumps.


17:30 Zhengqin Luo, Tamara Rezk and Manuel Serrano.  Automated Code Injection Prevention for Web Applications.


18:00  Joeri de Ruiter and Erik Poll.   Formal analysis of the EMV protocol suite.


 

HOME PAGE:  http://www.avantssar.eu/arspa-wits11/