Ana Almeida Matos
Ana Almeida Matos
Instituto Superior Técnico, Universidade de Lisboa
Verified email at ist.utl.pt - Homepage
Title
Cited by
Cited by
Year
On declassification and the non-disclosure policy
A Almeida Matos, G Boudol
Journal of Computer Security 17 (5), 549-597, 2009
1102009
Typing noninterference for reactive programs
AA Matos, G Boudol, I Castellani
The Journal of Logic and Algebraic Programming 72 (2), 124-156, 2007
342007
Typing secure information flow: declassification and mobility
AA Matos
École Nationale Supérieure des Mines de Paris, 2006
142006
Typing secure information flow: declassification and mobility
A Almeida Matos
Ph. D. thesis, Ecole Nationale Supérieure des Mines de Paris, 2006
82006
Non-disclosure for distributed mobile code
AA Matos
International Conference on Foundations of Software Technology and …, 2005
82005
An information flow monitor for a core of dom
A Almeida-Matos, JF Santos, T Rezk
International Symposium on Trustworthy Global Computing, 1-16, 2014
72014
An Information Flow Monitor for a Core of DOM Introducing references and live primitives
AA Matos, JF Santos, T Rezk
72014
Flow policy awareness for distributed mobile code
AA Matos
International Conference on Concurrency Theory, 53-68, 2009
72009
A Lexically Scoped Distributed -Calculus
A Ravara, A Matos, VT Vasconcelos, L Lopes
Department of Informatics, University of Lisbon, 2002
72002
Typing illegal information flows as program effects
AA Matos, JF Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
62012
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
52016
Non-disclosure for distributed mobile code
AA Matos, J Cederquist
Mathematical Structures in Computer Science 21 (6), 1111, 2011
52011
Informative types and effects for hybrid migration control
AA Matos, J Cederquist
International Conference on Runtime Verification, 21-39, 2013
42013
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
32020
Distributed noninterference
AA Matos, J Cederquist
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
32014
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
22020
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
22020
Plant Cyanotoxins: Molecular Methods and Current Applications
C Moreira, A Matos, R Mendes, A Antunes
Plant Toxins. Dordrecht: Springer Netherlands, 339-360, 2017
22017
Using JavaScript Monitoring to Prevent Device Fingerprinting
N Bielova, F Besson, T Jensen
ERCIM News, 2016
22016
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
12020
The system can't perform the operation now. Try again later.
Articles 1–20