Languages
Barthe, Gilles.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Foundations of security analysis and design VFOSAD 2007/2008/2009 tutorial lectures /
by:
Aldini, Alessandro.; Barthe, Gilles.; Gorrieri, Roberto.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(1998 :); Barthe, Gilles.; Pardo, Alberto.; Schneider, Gerardo.; SpringerLink (Online service)
(Electronic resources)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
by:
(1998 :); Barthe, Gilles.; SpringerLink (Online service)
(Electronic resources)
Security and trust management12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings /
by:
(1998 :); Barthe, Gilles.; Markatos, Evangelos.; Samarati, Pierangela.; SpringerLink (Online service)
(Electronic resources)
Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesInternational Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by:
(1998 :); Barthe, Gilles.; SpringerLink (Online service)
(Electronic resources)
Verification, model checking, and abstract interpretation11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
(1998 :); Barthe, Gilles.; Hermenegildo, Manuel.; SpringerLink (Online service)
(Electronic resources)
Engineering secure software and systems4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(1998 :); Barthe, Gilles.; Livshits, Benjamin.; Scandariato, Riccardo.; SpringerLink (Online service)
(Electronic resources)
Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
(1998 :); Barthe, Gilles.; Datta, Anupam.; Etalle, Sandro.; SpringerLink (Online service)
(Electronic resources)
Programming languages and systems20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
by:
(1998 :); Barthe, Gilles.; SpringerLink (Online service)
(Electronic resources)
Trustworthy Global ComputingThird Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(1998 :); Barthe, Gilles.; Fournet, Cedric.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Computer storage devices
Software engineering
Data Structures, Cryptology and Information Theory.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Data protection
Computer software
Programming Techniques.
Operating Systems.
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer programming
Programming languages (Electronic computers)
Formal methods (Computer science)
Data encryption (Computer science)
Information Storage and Retrieval.
Models and Principles.
Computer security
Data Encryption.
Computer programs
Computer Science.
Computer Communication Networks.
Systems and Data Security.
Computer networks
Math Applications in Computer Science.
Computers and Society.
Smart cards
Data transmission systems