Hugo Torres Vieira

dblp:48/6550 · DBLP profile ↗
← Back
14ranked-venue papers
2as first author
3since 2021 · last 2023
0000-0001-7461-6156ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 10 · 1 first-author · 3 since 2021Theory of computation · 2Computer networks · 1
YearPublicationVenuePosition
2023 Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021
Giorgio Audrito, Omar Inverso, Hugo Torres Vieira
Sci. Comput. Program.3
2021 The Cπ-calculus: A model for confidential name passing
Ivan Prokic, Hugo Torres Vieira
J. Log. Algebraic Methods Program.2
2021 Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019
Omar Inverso, Hugo Torres Vieira
Sci. Comput. Program.2
2019 A coordination protocol language for power grid operation control
Yehia Abd Alrahman, Hugo Torres Vieira
J. Log. Algebraic Methods Program.2
2019 A calculus for modeling floating authorizations
Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira
J. Log. Algebraic Methods Program.3
2018 A Calculus for Modeling Floating Authorizations
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
FORTE3
2016 Dynamic role authorization in multiparty conversations
abstract
Abstract Protocols in distributed settings usually rely on the interaction of several parties and often identify therolesinvolved in communications. Roles may have a behavioral interpretation, as they do not necessarily correspond to sites or physical devices. Notions ofrole authorizationthus become necessary to consider settings in which, e.g., different sites may be authorized to act on behalf of a single role, or in which one site may be authorized to act on behalf of different roles. This flexibility must be equipped with ways of controlling the roles that the different parties are authorized to represent, including the challenging case in which role authorizations are determined only at runtime. We present a typed framework for the analysis of multiparty interaction with dynamic role authorization and delegation. Building on previous work on conversation types with role assignment, our formal model is based on an extension of the π -calculus in which the basic resources are pairs channel-role, which denote the access right of interacting along a given channel representing the given role. To specify dynamic authorization control, our process model includes (1) a novel scoping construct for authorization domains, and (2) communication primitives for authorizations, which allow to pass around authorizations to act on a given channel. An authorization error then corresponds to an action involving a channel and a role not enclosed by an appropriate authorization scope. We introduce a typing discipline that ensures that processes never reduce to authorization errors, including when parties dynamically acquire authorizations.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez 0001, Hugo Torres Vieira
Formal Aspects Comput.5
2014 Typing Liveness in Multiparty Communicating Systems
Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
COORDINATION3
2013 Typing Progress in Communication-Centred Systems
Hugo Torres Vieira, Vasco Thudichum Vasconcelos
COORDINATION1
2012 SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
Luís Caires, Hugo Torres Vieira
TACAS2
2011 Type-Based Access Control in Data-Centric Systems
Luís Caires, Jorge A. Pérez 0001, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
ESOP4
2010 Conversation types
Luís Caires, Hugo Torres Vieira
Theor. Comput. Sci.2
2009 Conversation Types
Luís Caires, Hugo Torres Vieira
ESOP2
2008 The Conversation Calculus: A Model of Service-Oriented Computation
Hugo Torres Vieira, Luís Caires, João Costa Seco
ESOP1