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 BackesMatteo 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.



Who's online

We have 99 guests and no members online

Site Hosted by