Proceedings of the 8th Symposium on Trustworthy Global Computing (TGC 2013)

Martín Abadi (Editor), Alberto Lluch Lafuente (Editor)

Research output: Book/ReportBook

Abstract

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, π-calculus, information flow, models, specifications and proofs and quantitative analysis.
Original languageEnglish
Number of pages331
ISBN (Print)978-3-319-05118-5
ISBN (Electronic)978-3-319-05119-2
Publication statusPublished - 2014
Externally publishedYes
Event8th International Symposium on Trustworthy Global Computing - Buenos Aires, Argentina
Duration: 30 Aug 201331 Aug 2013
Conference number: 8
SeriesLecture Notes in Computer Science
Volume8358
ISSN0302-9743

Conference

Conference8th International Symposium on Trustworthy Global Computing
Number8
CountryArgentina
CityBuenos Aires
Period30/08/201331/08/2013

Cite this

Abadi, M., & Lluch Lafuente, A. (Eds.) (2014). Proceedings of the 8th Symposium on Trustworthy Global Computing (TGC 2013). Lecture Notes in Computer Science, Vol.. 8358