Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pierre Ganty, Michele Loreti (eds.) |
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers |
TGC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergiu Bursuc |
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Wang 0020, Simon Bliudze |
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Fragoso Santos, Tamara Rezk, Ana Almeida Matos |
Modular Monitor Extensions for Information Flow Security in JavaScript. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shota Nakagawa, Ichiro Hasuo |
Near-Optimal Scheduling for LTL with Future Discounting. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Hernán C. Melgratti |
Multiparty Testing Preorders. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt |
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ximeng Li 0001, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng 0001 |
Disjunctive Information Flow for Communicating Processes. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lenore D. Zuck, Sanjiva Prasad |
A Switch, in Time. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno |
Data Tracking in Parameterized Systems. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Gößler, Jean-Bernard Stefani |
Fault Ascription in Concurrent Systems. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Hayman |
Interaction and Causality in Digital Signature Exchange Protocols. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bernardi 0001, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas |
On Duality Relations for Session Types. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Session Types with Gradual Typing. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Davide Basile 0001, Pierpaolo Degano, Gian-Luigi Ferrari 0002 |
Automata for Analysing Service Contracts. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Toninho, Luís Caires, Frank Pfenning |
Corecursion and Non-divergence in Session-Typed Processes. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Cheval, Stéphanie Delaune, Mark Ryan 0001 |
Tests for Establishing Security Properties. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ana Gualdina Almeida Matos, José Fragoso Santos, Tamara Rezk |
An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Maffei, Emilio Tuosto (eds.) |
Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Alberto Lluch-Lafuente (eds.) |
Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Cerone, Matthew Hennessy |
Characterising Testing Preorders for Broadcasting Distributed Systems. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Fossati, Raymond Hu, Nobuko Yoshida |
Multiparty Session Nets. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Vigo, Alessandro Celestini, Francesco Tiezzi 0001, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson |
Trust-Based Enforcement of Security Policies. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Matteo Sammartino |
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Marino Miculan, Romeo Rizzi |
Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems. |
TGC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jane Hillston |
Challenges for Quantitative Analysis of Collective Adaptive Systems. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Duggan, Ye Wu 0006 |
Security Correctness for Secure Nested Transactions - Extended Abstract. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca de Alfaro, B. Thomas Adler |
Content-Driven Reputation for Collaborative Systems. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luísa Lourenço, Luís Caires |
Information Flow Analysis for Valued-Indexed Data Security Compartments. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shiwei Xu, Ian Batten, Mark Ryan 0001 |
Dynamic Measurement and Protected Execution: Model and Analysis. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pejman Attar, Ilaria Castellani |
Fine-Grained and Coarse-Grained Reactive Noninterference. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Giunti, António Ravara |
Towards Static Deadlock Resolution in the π-Calculus. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières |
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Gopal Gupta 0001 |
Timed π-Calculus. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Serge Haddad, Rolf Hennicker, Mikael H. Møller |
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Leila Ribeiro 0001, Fernando Luís Dotti, Odorico Machado Mendizabal |
A Formal Model for the Deferred Update Replication Technique. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng |
The Scribble Protocol Language. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Nordio, Cristiano Calcagno, Bertrand Meyer 0001 |
Certificates and Separation Logic. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hans Hüttel |
Types for Resources in ψ-calculi. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Michele Loreti, Mieke Massink |
On-the-fly Fast Mean-Field Model-Checking. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi, Mark Dermot Ryan (eds.) |
Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Petri |
Studying Operational Models of Relaxed Concurrency. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Rocco De Nicola, Michele Loreti |
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola |
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). |
TGC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Vladimiro Sassone (eds.) |
Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olle Fredriksson, Dan R. Ghica |
Seamless Distributed Computing from the Geometry of Interaction. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mayla Brusò, Konstantinos Chatzikokolakis 0001, Sandro Etalle, Jerry den Hartog |
Linking Unlinkability. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elena Giachino, Cosimo Laneve |
A Beginner's Guide to the DeadLock Analysis Model. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira |
A Type System for Flexible Role Assignment in Multiparty Communicating Systems. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lili Xu |
Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy W. Bryans, Maciej Koutny, Chunyan Mu |
Towards Quantitative Analysis of Opacity. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei |
Affine Refinement Types for Authentication and Authorization. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Dougherty, Joshua D. Guttman |
An Algebra for Symbolic Diffie-Hellman Protocol Analysis. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse, Robin Morisset, David Naccache, Pablo Rauzy |
From Rational Number Reconstruction to Set Reconciliation and File Synchronization. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Anne Kersten Kauer |
LTS Semantics for Compensation-Based Processes. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Romain Demangeon, Nobuko Yoshida |
A Multiparty Multi-session Logic. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Silvia S. Pelozo, Pedro R. D'Argenio |
Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Gabriele Costa 0001, Alessio Merlo |
Formal Modeling and Reasoning about the Android Security Framework. |
TGC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Werther, Nicklas Hoch |
E-Mobility as a Challenge for New ICT Solutions in the Car Industry. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari |
Constraints for Service Contracts. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carme Àlvarez, Amalia Duch, Maria J. Serna, Dimitrios M. Thilikos |
On the Existence of Nash Equilibria in Strategic Search Games. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chenyi Zhang |
Conditional Information Flow Policies and Unwinding Relations. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Andrea Margheri, Francesco Tiezzi 0001 |
Orchestrating Tuple-Based Languages. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Duggan, Ye Wu 0006 |
Transactional Correctness for Secure Nested Transactions - (Extended Abstract). |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda 0001, Nobuko Yoshida |
Asynchronous Distributed Monitoring for Multiparty Session Enforcement. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joaquim Gabarró, Maria J. Serna, Alan Stewart |
Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini |
A Reputation System for Multirole Sessions. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Exequiel Rivas |
Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liqun Chen 0002, Ming-Feng Lee, Bogdan Warinschi |
Security of the Enhanced TCG Privacy-CA Solution. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liliana D'Errico, Michele Loreti |
Context Aware Specification and Verification of Distributed Systems. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hernán C. Melgratti, Christian Roldán |
On Correlation Sets and Correlation Exceptions in ActiveBPEL. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Evi Papaioannou |
The Impact of Altruism on the Efficiency of Atomic Congestion Games. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Igor Cappello, Paola Quaglia |
A Tool for Checking Probabilistic Properties of COWS Services. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Persiano |
Predicate Encryption for Secure Remote Storage. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi |
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Rocco De Nicola, Michele Loreti |
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou |
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Liliana D'Errico, Michele Loreti |
Property-Preserving Refinement of Concurrent Systems. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | César Kunz |
Certificate Translation for the Verification of Concurrent Programs. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Bertasi, Alberto Pettarin, Michele Scquizzato, Francesco Silvestri 0001 |
A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin |
Certified Result Checking for Polyhedral Analysis of Bytecode Programs. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Montesi, Davide Sangiorgi |
A Model of Evolvable Components. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente |
An Algebra of Hierarchical Graphs. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi |
A Framework for Rule-Based Dynamic Adaptation. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
Refactoring Long Running Transactions: A Case Study. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni |
CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, César Kunz |
Perspectives in Certificate Translation. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Gamboni, António Ravara |
Responsive Choice in Mobile Processes. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joaquim Gabarró, Peter Kilpatrick, Maria J. Serna, Alan Stewart |
Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Emilio Tuosto |
A Java Inspired Semantics for Transactions in SOC. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Aspinall 0001, Robert Atkey, Kenneth MacKenzie, Donald Sannella |
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paola Quaglia, Stefano Schivo |
Approximate Model Checking of Stochastic COWS. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin, Flemming Nielson, Hanne Riis Nielson |
Probabilistic Aspects: Checking Security in an Imperfect World. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja |
Toward a Game-Theoretic Model of Grid Systems. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jakubuv, J. B. Wells |
Expressiveness of Generic Process Shape Types. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wirsing, Martin Hofmann 0001, Axel Rauschmayer (eds.) |
Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christos Kaklamanis, Flemming Nielson (eds.) |
Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers |
TGC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Gorla |
On the Relative Expressive Power of Ambient-Based Calculi. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cátia Vaz, Carla Ferreira 0001, António Ravara |
Dynamic Recovering of Long Running Transactions. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|