Ana Gualdina Almeida Matos


AuthID: R-000-HT3

Confirmed Publications: 15



1
TITLE: Information flow in a distributed security setting PDF
AUTHORS: Ana Almeida Matos ; Jan Cederquist;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1901.01111
INDEXED IN: DBLP arXiv
IN MY: DBLP
2
TITLE: From atomic variables to data-centric concurrency control
AUTHORS: Hervé Paulino ; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: DBLP
3
TITLE: Mashic compiler: Mashup sandboxing based on inter-frame communication
AUTHORS: Zhengqin Q Luo; Jose Fragoso Santos; Ana Almeida Matos ; Tamara Rezk;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPUTER SECURITY, VOLUME: 24, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
4
TITLE: Modular Monitor Extensions for Information Flow Security in JavaScript
AUTHORS: José Fragoso Santos; Tamara Rezk; Ana Almeida Matos ;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
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: Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, VOLUME: 8902
INDEXED IN: Scopus DBLP
IN MY: DBLP
6
TITLE: Distributed Noninterference
AUTHORS: Ana Almeida Matos ; Jan Cederquist;
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: DBLP
7
TITLE: Informative Types and Effects for Hybrid Migration Control
AUTHORS: Ana Almeida Matos ; Jan Cederquist ;
PUBLISHED: 2013, SOURCE: 4th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2013, VOLUME: 8174
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: Typing illegal information flows as program effects
AUTHORS: Matos, AA ; Santos, JF;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN 7th Workshop on Programming Languages and Analysis for Security, PLAS'12 in PLAS'12 - Proceedings of Programming Languages and Analysis for Security
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: Non-disclosure for distributed mobile code
AUTHORS: Ana Almeida Matos ; Jan Cederquist ;
PUBLISHED: 2011, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 21, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: Flow Policy Awareness for Distributed Mobile Code
AUTHORS: Ana Almeida Matos ;
PUBLISHED: 2009, SOURCE: 30th International Conference on Concurrency Theory in CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 5710
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 2. Total results: 15.

A place for researchers and their institutions

Useful Links

Get Help

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