default search action

combined dblp search
author search
venue search
publication search

ask others

TGC 2013: Buenos Aires, Argentina

> Home > Conferences and Workshops > TGC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/2013
Martín Abadi, Alberto Lluch-Lafuente:
Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8358, Springer 2014, ISBN 978-3-319-05118-5

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/AlfaroA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/AlfaroA13
Luca de Alfaro, B. Thomas Adler:
Content-Driven Reputation for Collaborative Systems. 3-13
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Hillston13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Hillston13
Jane Hillston:
Challenges for Quantitative Analysis of Collective Adaptive Systems. 14-21
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/YoshidaHNN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/YoshidaHNN13
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng:
The Scribble Protocol Language. 22-41

Security

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/XuBR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/XuBR13
Shiwei Xu, Ian Batten, Mark Ryan:
Dynamic Measurement and Protected Execution: Model and Analysis. 45-63
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/DugganW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/DugganW13
Dominic Duggan, Ye Wu:
Security Correctness for Secure Nested Transactions - Extended Abstract. 64-79

pi-Calculus

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Huttel13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Huttel13
Hans Hüttel:
Types for Resources in ψ-calculi. 83-102
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BorgstromGPVP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BorgstromGPVP13
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola:
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). 103-118
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/SaeedloeiG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/SaeedloeiG13
Neda Saeedloei, Gopal Gupta:
Timed π-Calculus. 119-135
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/GiuntiR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/GiuntiR13
Marco Giunti, António Ravara:
Towards Static Deadlock Resolution in the π-Calculus. 136-155

Information Flow

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/AttarC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/AttarC13
Pejman Attar, Ilaria Castellani:
Fine-Grained and Coarse-Grained Reactive Noninterference. 159-179
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/LourencoC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/LourencoC13
Luísa Lourenço, Luís Caires:
Information Flow Analysis for Valued-Indexed Data Security Compartments. 180-198
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BuirasLSRM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BuirasLSRM13
Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières:
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. 199-216

Models, Specifications, and Proofs

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/HaddadHM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/HaddadHM13
Serge Haddad, Rolf Hennicker, Mikael H. Møller:
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. 219-234
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/CorradiniRDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/CorradiniRDM13
Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal:
A Formal Model for the Deferred Update Replication Technique. 235-253
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Petri13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Petri13
Gustavo Petri:
Studying Operational Models of Relaxed Concurrency. 254-272
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/NordioCM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/NordioCM13
Martin Nordio, Cristiano Calcagno, Bertrand Meyer:
Certificates and Separation Logic. 273-293

Quantitative Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/LatellaLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/LatellaLM13
Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking. 297-314
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BernardoNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BernardoNL13
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. 315-330

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.