Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Barthe, Gilles.

Overview
Works: 1 works in 4 publications in 1 languages
Titles
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / by: Fournet, Cedric.; Barthe, Gilles.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service) (Language materials, printed)
Formal aspects of security and trust = 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers / by: Datta, Anupam.; Workshop on the Preservation of Stability under Discretization ((2001 :); Barthe, Gilles.; Etalle, Sandro.; SpringerLink (Online service) (Language materials, printed)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Pardo, Alberto.; Barthe, Gilles.; Schneider, Gerardo. (Language materials, printed)
Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings / by: SpringerLink (Online service); Boer, Frank S.; Barthe, Gilles.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Security and trust management = 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Markatos, Evangelos.; Barthe, Gilles.; SpringerLink (Online service); Samarati, Pierangela. (Language materials, printed)
Security and Trust Management = 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / by: Markatos, Evangelos.; Barthe, Gilles.; SpringerLink (Online service); Samarati, Pierangela. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Livshits, Benjamin.; Barthe, Gilles.; Scandariato, Riccardo.; SpringerLink (Online service) (Language materials, printed)
Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures / by: Barthe, Gilles.; Aldini, Alessandro.; SpringerLink (Online service); Gorrieri, Roberto. (Language materials, printed)
 
 
Change password
Login