Ana Almeida Matos
Ana Almeida Matos
Instituto Superior Técnico, Universidade de Lisboa
Verified email at - Homepage
Cited by
Cited by
On declassification and the non-disclosure policy
AA Matos, G Boudol
18th IEEE Computer Security Foundations Workshop (CSFW'05), 226-240, 2005
On declassification and the non-disclosure policy
A Almeida Matos, G Boudol
Journal of Computer Security 17 (5), 549-597, 2009
Typing noninterference for reactive programs
AA Matos, G Boudol, I Castellani
The Journal of Logic and Algebraic Programming 72 (2), 124-156, 2007
Typing secure information flow: declassification and mobility
AA Matos
École Nationale Supérieure des Mines de Paris, 2006
An Information Flow Monitor for a Core of DOM-Introducing References and Live Primitives.
AGA Matos, JF Santos, T Rezk
TGC, 1-16, 2014
Medusozoans reported in Portugal and its ecological and economical relevance
T Rodrigues, D Domínguez-Pérez, D Almeida, A Matos, A Antunes
Regional Studies in Marine Science 35, 101230, 2020
An Information Flow Monitor for a Core of DOM: Introducing References and Live Primitives
A Almeida-Matos, J Fragoso Santos, T Rezk
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
Non-disclosure for distributed mobile code
AA Matos
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
Putative Antimicrobial Peptides of the Posterior Salivary Glands from the Cephalopod Octopus vulgaris Revealed by Exploring a Composite Protein Database
D Almeida, D Domínguez-Pérez, A Matos, G Agüero-Chapin, H Osório, ...
Antibiotics 9 (11), 757, 2020
Shotgun Proteomics of Ascidians Tunic Gives New Insights on Host–Microbe Interactions by Revealing Diverse Antimicrobial Peptides
A Matos, D Domínguez-Pérez, D Almeida, G Agüero-Chapin, A Campos, ...
Marine Drugs 18 (7), 362, 2020
From atomic variables to data-centric concurrency control
H Paulino, D Parreira, N Delgado, A Ravara, A Matos
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1806-1811, 2016
Flow policy awareness for distributed mobile code
A Almeida Matos
CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009
A Lexically Scoped Distributed -Calculus
A Ravara, A Matos, VT Vasconcelos, L Lopes
Department of Informatics, University of Lisbon, 2002
Typing illegal information flows as program effects
AA Matos, JF Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
Non-disclosure for distributed mobile code
AA Matos, J Cederquist
Mathematical Structures in Computer Science 21 (6), 1111-1181, 2011
Symbiotic associations in ascidians: relevance for functional innovation and bioactive potential
A Matos, A Antunes
Marine Drugs 19 (7), 370, 2021
Informative types and effects for hybrid migration control
A Almeida Matos, J Cederquist
Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013
Distributed noninterference
AA Matos, J Cederquist
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
Data employed in the construction of a composite protein database for proteogenomic analyses of cephalopods salivary apparatus
D Almeida, D Domínguez-Pérez, A Matos, G Agüero-Chapin, Y Castaño, ...
Data 5 (4), 110, 2020
Information flow in a distributed security setting
AA Matos, J Cederquist
arXiv preprint arXiv:1901.01111, 2019
The system can't perform the operation now. Try again later.
Articles 1–20