RESECO Workshop, nov 2007, Montevideo

• Ricardo Dahab, U. de Campinas (Brasil) : "Security proofs of certificateless signature schemes"

• Alejandro Hevia, U. de Chile (Chile): "Una Caracterizacion de Comunicacion Anónima basada en indistinguibilidad"

• Wissam Mallouli, GET/INT (France) : "A formal approach for testing security rules"

• Pablo E. Martínez López, U. de Quilmes (Argentina) : "Detection of vulnerabilities through static analysis in web applications"

• Tamara Rezk, INRIA Sophia-Antipolis (France) : "Cryptographically Sound Implementations for Type Information-Flow Security"

• Alfredo Viola, U. de la República (Uruguay) : "Equivalence classes of boolean functions for first-order correlation"

• Maximiliano Cristiá, U. de Rosario (Argentina) and Flowgate Consulting : "Enforcing Noninterference by Running one Version of the Program per Level"

• Ludovic Henrio, INRIA Sophia-Antipolis (France) : "ASPfun: A Distributed Object Calculus and its Formalization in Isabelle"

• Gustavo Betarte, U. de la República (Uruguay) : "Formalizing the J2ME Security Architecture"

• Eric Madelaine, INRIA Sophia-Antipolis (France) : "Generation of Safe GCM Components"

• Felipe Zipitria, U. de la República (Uruguay) : "A PCR Infrastructure for Distributed Computations in an ML-like Language"

• Luis Sierra, U. de la República (Uruguay) : "Static analysis for permissions"

• Damián Barsotti, U. de Córdoba (Argentina) : "Generación de invariantes para implementar eficientemente Regiones Críticas Condicionales"

• Pablo Mata, Flowgate Consulting (Argentina) : "Implementing Non-interference in the Linux Kernel"