Ana Gualdina Almeida Matos


AuthID: R-000-HT3

Publicações Confirmadas: 16



1
TÍTULO: Information flow in a distributed security setting
AUTORES: Ana Almeida Matos ; Jan Cederquist;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1901.01111
INDEXADO EM: DBLP
2
TÍTULO: From atomic variables to data-centric concurrency control  Full Text
AUTORES: Hervé Paulino ; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos ;
PUBLICAÇÃO: 2016, FONTE: SAC, VOLUME: 04-08-April-2016
INDEXADO EM: Scopus DBLP CrossRef: 2 Unpaywall
NO MEU: ORCID
3
TÍTULO: Mashic compiler: Mashup sandboxing based on inter-frame communication  Full Text
AUTORES: Luo, ZQ; Santos, JF; Matos, AA ; Rezk, T;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF COMPUTER SECURITY, VOLUME: 24, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
4
TÍTULO: Modular Monitor Extensions for Information Flow Security in JavaScript
AUTORES: José Fragoso Santos; Tamara Rezk; Ana Almeida Matos ;
PUBLICAÇÃO: 2015, FONTE: TGC, VOLUME: 9533
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
5
TÍTULO: An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives
AUTORES: Ana Gualdina Almeida Matos ; José Fragoso Santos; Tamara Rezk;
PUBLICAÇÃO: 2014, FONTE: TGC, VOLUME: 8902
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
6
TÍTULO: An Information Flow Monitor for a Core of DOM
AUTORES: Ana Almeida-Matos ; José Fragoso Santos; Tamara Rezk;
PUBLICAÇÃO: 2014, FONTE: Trustworthy Global Computing - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: Distributed Noninterference
AUTORES: Matos, AA ; Cederquist, J;
PUBLICAÇÃO: 2014, FONTE: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
8
TÍTULO: Informative Types and Effects for Hybrid Migration Control
AUTORES: Matos, AA ; Cederquist, J ;
PUBLICAÇÃO: 2013, FONTE: 4th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2013, VOLUME: 8174
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
9
TÍTULO: Typing illegal information flows as program effects
AUTORES: Ana Almeida Matos ; José Fragoso Santos;
PUBLICAÇÃO: 2012, FONTE: PLAS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
10
TÍTULO: Non-disclosure for distributed mobile code
AUTORES: Matos, AA ; Cederquist, J ;
PUBLICAÇÃO: 2011, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 21, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
Página 1 de 2. Total de resultados: 16.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service