RESECO Workshop, dec 2008, Santiago de Chile

• Ruben Carvajal (U. Santiago, Chile) Invited presentation : "Petri Nets Research @ Departamento de Matemática y Ciencia de la Computación"

• Miguel Andres (RUN, the Netherlands) Invited presentation : "Computing the Leakage of Information-Hiding Systems" (ppt version)

• Ricardo Corin (FaMAF, UNC, Argentina): "Testing cryptographic protocol implementations" (ppt version)

• Ludovic Henrio (INRIA, France) : "Formalism and platform for autonomous distributed components" (ppt version)

• Eric Madelaine and Regis Gascon (INRIA, France) : "Verification of systems communicating via unbounded channels"

• Matias Lee (FaMAF, UNC, Argentina) : "Describing Secure Interface with Interface Automata"

• Alejandro Sanchez (IMDEA, Spain) Invited Presentation : "Towards Formal Verification of Imperative Concurrent Data Structures"

• Gilles Barthe (IMDEA, Spain) Invited Presentation : "CertiCrypt: Formal Proofs for Computational Cryptography"