L
Luís Caires
Researcher at Universidade Nova de Lisboa
Publications - 79
Citations - 3186
Luís Caires is an academic researcher from Universidade Nova de Lisboa. The author has contributed to research in topics: Concurrency & Session (computer science). The author has an hindex of 28, co-authored 78 publications receiving 2965 citations. Previous affiliations of Luís Caires include Citigroup & University of Lisbon.
Papers
More filters
Journal ArticleDOI
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho,Luís Caires +1 more
TL;DR: It is proved that generic Dolev-Yao attackers may be mechanically determined for any deterministic finite protocol, and discussed how this result may be used to reason about security properties of open systems.
Proceedings ArticleDOI
Composing Interfering Abstract Protocols
TL;DR: It is shown that the composition procedure is decidable and that it ensures safe interference even when composing abstract protocols, and how this same protocol framework can be used to model safe, typeful message-passing concurrency idioms.
Patent
Systems, methods, and apparatus for model-based security control
Lúcio Ferrão,João Costa Seco,Luís Caires,Gonçalo Filipe Xavier Caleira Borrêga,António Augusto Vieira Melo +4 more
TL;DR: In this paper, an integrated model-driven application development and execution environment enables declaration of a data-role in an application model, which provides for the enforcement of domain-specific security policies with respect to data elements corresponding to the data entity.
Posted Content
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions.
Luís Caires,Jorge A. Pérez +1 more
TL;DR: It is shown that the analysis of multiparty protocols can also be developed within a much simpler type theory for binary protocols, ensuring protocol fidelity and deadlock-freedom.