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
992009
On declassification and the non-disclosure policy
A Almeida Matos, G Boudol
Journal of Computer Security 17 (5), 549-597, 2009
992009
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
62012
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
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
Jouer ou ne pas jouer au Loto, telle est la stratégie
G Berry, JP Delahaye
2017
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20