Alberto Pardo

An abstract machine for integrating heterogeneous web applications

2015

The adoption of Cloud Computing technologies by the organizations has profound consequences on the way software applications are developed and used. The migration to the Cloud may be accompanied by the revision of the business …

Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types

2020 · Electronic Notes in Theoretical Computer Science

The analysis of information flow is a popular technique for ensuring the confidentiality of data. It is in this context that confidentiality policies arise for giving guarantees that private data cannot be inferred by the …

Automating Systematic Mappings: adding Quality to Quantity

2017 · HAL (Le Centre pour la Communication Scientifique Directe)

International audience