Ana Gualdina Almeida Matos


AuthID: R-000-HT3

Confirmed Publications: 16



1
TITLE: Information flow in a distributed security setting
AUTHORS: Ana Almeida Matos ; Jan Cederquist;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1901.01111
INDEXED IN: DBLP
2
TITLE: From atomic variables to data-centric concurrency control  Full Text
AUTHORS: Hervé Paulino ; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos ;
PUBLISHED: 2016, SOURCE: SAC, VOLUME: 04-08-April-2016
INDEXED IN: Scopus DBLP CrossRef: 2 Unpaywall
IN MY: ORCID
3
TITLE: Mashic compiler: Mashup sandboxing based on inter-frame communication  Full Text
AUTHORS: Luo, ZQ; Santos, JF; Matos, AA ; Rezk, T;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPUTER SECURITY, VOLUME: 24, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
4
TITLE: Modular Monitor Extensions for Information Flow Security in JavaScript
AUTHORS: José Fragoso Santos; Tamara Rezk; Ana Almeida Matos ;
PUBLISHED: 2015, SOURCE: TGC, VOLUME: 9533
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
5
TITLE: An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives
AUTHORS: Ana Gualdina Almeida Matos ; José Fragoso Santos; Tamara Rezk;
PUBLISHED: 2014, SOURCE: TGC, VOLUME: 8902
INDEXED IN: Scopus DBLP
IN MY: ORCID
6
TITLE: An Information Flow Monitor for a Core of DOM
AUTHORS: Ana Almeida-Matos ; José Fragoso Santos; Tamara Rezk;
PUBLISHED: 2014, SOURCE: Trustworthy Global Computing - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: Distributed Noninterference
AUTHORS: Matos, AA ; Cederquist, J;
PUBLISHED: 2014, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
8
TITLE: Informative Types and Effects for Hybrid Migration Control
AUTHORS: Matos, AA ; Cederquist, J ;
PUBLISHED: 2013, SOURCE: 4th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2013, VOLUME: 8174
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
9
TITLE: Typing illegal information flows as program effects
AUTHORS: Ana Almeida Matos ; José Fragoso Santos;
PUBLISHED: 2012, SOURCE: PLAS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
10
TITLE: Non-disclosure for distributed mobile code
AUTHORS: Matos, AA ; Cederquist, J ;
PUBLISHED: 2011, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 21, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 1 of 2. Total results: 16.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service