Ana Almeida Matos
Ana Almeida Matos
Instituto Superior Técnico, Universidade de Lisboa
Dirección de correo verificada de ist.utl.pt - Página principal
TítuloCitado porAño
On declassification and the non-disclosure policy
A Almeida Matos, G Boudol
Journal of Computer Security 17 (5), 549-597, 2009
1012009
Typing noninterference for reactive programs
AA Matos, G Boudol, I Castellani
The Journal of Logic and Algebraic Programming 72 (2), 124-156, 2007
312007
Typing secure information flow: declassification and mobility
AA Matos
132006
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
Flow policy awareness for distributed mobile code
AA Matos
International Conference on Concurrency Theory, 53-68, 2009
72009
Typing secure information flow: declassification and mobility
A Almeida Matos
Ph. D. thesis, Ecole Nationale Supérieure des Mines de Paris, 2006
72006
An Information Flow Monitor for a Core of DOM Introducing references and live primitives
AA Matos, JF Santos, T Rezk
62014
Typing illegal information flows as program effects
AA Matos, JF Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
52012
Non-disclosure for distributed mobile code
AA Matos, J Cederquist
Mathematical Structures in Computer Science 21 (6), 1111-1181, 2011
42011
Distributed noninterference
AA Matos, J Cederquist
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
32014
Informative types and effects for hybrid migration control
AA Matos, J Cederquist
International Conference on Runtime Verification, 21-39, 2013
32013
Using JavaScript Monitoring to Prevent Device Fingerprinting
N Bielova, F Besson, T Jensen
12016
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
12016
Mashic compiler: Mashup sandboxing based on inter-frame communication
Z Luo, J Fragoso Santos, A Almeida Matos, T Rezk
Journal of Computer Security 24 (1), 91-136, 2016
12016
Information flow in a distributed security setting
AA Matos, J Cederquist
arXiv preprint arXiv:1901.01111, 2019
2019
Modular Monitor Extensions for Information Flow Security in JavaScript
JF Santos, T Rezk, AA Matos
Trustworthy Global Computing, 47-62, 2015
2015
An Information Flow Monitor for a Core of DOM
AA Matos, JF Santos, T Rezk
2014
On Extracting Security Policies From Program Invariants
JF Fragoso, AA Matos
2011
Flow-policy awareness for distributed mobile code (proofs) Draft
AA Matos
2008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20