TGC

Keyphrases

Publications

volume 9533, 2016

Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers TGC 9533 (2016)

2015

José Fragoso Santos, Tamara Rezk, Ana Almeida Matos
Modular Monitor Extensions for Information Flow Security in JavaScript. TGC (2015)
Sergiu Bursuc
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification. TGC (2015)
Giorgio Delzanno
Data Tracking in Parameterized Systems. TGC (2015)
Rocco De Nicola, Hernán C. Melgratti
Multiparty Testing Preorders. TGC (2015)
Qiang Wang, Simon Bliudze
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. TGC (2015)
Gregor Gößler, Jean-Bernard Stefani
Fault Ascription in Concurrent Systems. TGC (2015)
Lenore D. Zuck, Sanjiva Prasad
A Switch, in Time. TGC (2015)
José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language. TGC (2015)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng
Disjunctive Information Flow for Communicating Processes. TGC (2015)
Shota Nakagawa, Ichiro Hasuo
Near-Optimal Scheduling for LTL with Future Discounting. TGC (2015)

2014

volume 8902, 2014

Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers TGC 8902 (2014)

volume 8358, 2014

Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers TGC 8358 (2014)

2013

volume 8191, 2013

Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers TGC 8191 (2013)

2012

volume 7173, 2012

Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers TGC 7173 (2012)