Ana Almeida Matos

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 5

Top Topics

Information Flow

Top Venues

Proc. ACM Program. Lang.

J. Comput. Secur.

Publications

Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
Sound Atomicity Inference for Data-Centric Synchronization. CoRR (2023)
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
AtomiS: Data-Centric Synchronization Made Practical. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Ana Almeida Matos, Jan Cederquist
Information flow in a distributed security setting. CoRR (2019)
Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk
Mashic compiler: Mashup sandboxing based on inter-frame communication. J. Comput. Secur. 24 (1) (2016)
José Fragoso Santos, Tamara Rezk, Ana Almeida Matos
Modular Monitor Extensions for Information Flow Security in JavaScript. TGC (2015)
Ana Almeida Matos, Jan Cederquist
Distributed Noninterference. PDP (2014)
Ana Almeida Matos, Jan Cederquist
Informative Types and Effects for Hybrid Migration Control. RV (2013)
Ana Almeida Matos, José Fragoso Santos
Typing illegal information flows as program effects. PLAS (2012)
Ana Almeida Matos, Jan Cederquist
Non-disclosure for distributed mobile code. Math. Struct. Comput. Sci. 21 (6) (2011)
Ana Almeida Matos, Gérard Boudol
On declassification and the non-disclosure policy. J. Comput. Secur. 17 (5) (2009)
Ana Almeida Matos
Flow Policy Awareness for Distributed Mobile Code. CONCUR (2009)
Ana Almeida Matos, Gérard Boudol, Ilaria Castellani
Typing noninterference for reactive programs. J. Log. Algebraic Methods Program. 72 (2) (2007)
Ana Almeida Matos
Non-disclosure for Distributed Mobile Code. FSTTCS (2005)
Ana Almeida Matos, Gérard Boudol
On Declassification and the Non-Disclosure Policy. CSFW (2005)