Ana Gualdina Almeida Matos


AuthID: R-000-HT3

Publicações Confirmadas: 15



1
TÍTULO: Information flow in a distributed security setting PDF
AUTORES: Ana Almeida Matos ; Jan Cederquist;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1901.01111
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
2
TÍTULO: From atomic variables to data-centric concurrency control
AUTORES: Hervé Paulino ; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos ;
PUBLICAÇÃO: 2016, FONTE: 31st Annual ACM Symposium on Applied Computing, SAC 2016 in Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, VOLUME: 04-08-April-2016
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
3
TÍTULO: Mashic compiler: Mashup sandboxing based on inter-frame communication
AUTORES: Zhengqin Q Luo; Jose Fragoso Santos; Ana Almeida Matos ; Tamara Rezk;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF COMPUTER SECURITY, VOLUME: 24, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
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: 10th International Symposium on Trustworthy Global Computing, TGC 2015 in Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, VOLUME: 9533
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
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: Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, VOLUME: 8902
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
6
TÍTULO: Distributed Noninterference
AUTORES: Ana Almeida Matos ; Jan Cederquist;
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 | DBLP
7
TÍTULO: Informative Types and Effects for Hybrid Migration Control
AUTORES: Ana Almeida Matos ; Jan Cederquist ;
PUBLICAÇÃO: 2013, FONTE: 4th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2013, VOLUME: 8174
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
8
TÍTULO: Typing illegal information flows as program effects
AUTORES: Matos, AA ; Santos, JF;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN 7th Workshop on Programming Languages and Analysis for Security, PLAS'12 in PLAS'12 - Proceedings of Programming Languages and Analysis for Security
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
9
TÍTULO: Non-disclosure for distributed mobile code
AUTORES: Ana Almeida Matos ; Jan Cederquist ;
PUBLICAÇÃO: 2011, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 21, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
10
TÍTULO: Flow Policy Awareness for Distributed Mobile Code
AUTORES: Ana Almeida Matos ;
PUBLICAÇÃO: 2009, FONTE: 30th International Conference on Concurrency Theory in CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 5710
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 1 de 2. Total de resultados: 15.

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

Links Úteis

Ajuda

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