Lilian Burdy
AuthID: R-00K-T72
1
TÃTULO: JACK - A Tool for Validation of Security and Behaviour of Java Applications
AUTORES: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLICAÇÃO: 2006, FONTE: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, VOLUME: 4709
AUTORES: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLICAÇÃO: 2006, FONTE: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, VOLUME: 4709
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
AUTORES: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLICAÇÃO: 2005, FONTE: CASSIS, VOLUME: 3362
AUTORES: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLICAÇÃO: 2005, FONTE: CASSIS, VOLUME: 3362
INDEXADO EM: DBLP
DBLP3
TÃTULO: Enforcing High-Level Security Properties for Applets
AUTORES: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2004, FONTE: Smart Card Research and Advanced Applications VI, IFIP 18th World Computer Congress, TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS), 22-27 August 2004, Toulouse, France, VOLUME: 153
AUTORES: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2004, FONTE: Smart Card Research and Advanced Applications VI, IFIP 18th World Computer Congress, TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS), 22-27 August 2004, Toulouse, France, VOLUME: 153
INDEXADO EM: DBLP
DBLP