Lexically scoped distribution: what you see is what you get. - António Ravara; Ana Gualdina Almeida Matos; Vasco Thudichum Vasconcelos; Luís M. B. Lopes (FGC, 2003)

Non-disclosure for Distributed Mobile Code. - Ana Almeida Matos (FSTTCS, 2005)

Typing noninterference for reactive programs. - Ana Almeida Matos; Gérard Boudol; Ilaria Castellani (J. Log. Algebraic Methods Program., 2007)

Flow Policy Awareness for Distributed Mobile Code. - Ana Almeida Matos (CONCUR, 2009)

On declassification and the non-disclosure policy. - Ana Almeida Matos; Gérard Boudol (J. Comput. Secur., 2009)

Non-disclosure for distributed mobile code. - Ana Almeida Matos; Jan Cederquist (Math. Struct. Comput. Sci., 2011)

Typing illegal information flows as program effects. - Ana Almeida Matos; José Fragoso Santos (PLAS, 2012)

Informative Types and Effects for Hybrid Migration Control. - Ana Almeida Matos; Jan Cederquist (RV, 2013)

Distributed Noninterference. - Ana Almeida Matos; Jan Cederquist (PDP, 2014)

An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives. - Ana Gualdina Almeida Matos; José Fragoso Santos; Tamara Rezk (TGC, 2014)

Modular Monitor Extensions for Information Flow Security in JavaScript. - José Fragoso Santos; Tamara Rezk; Ana Almeida Matos (TGC, 2015)

From atomic variables to data-centric concurrency control. - Hervé Paulino; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos (SAC, 2016)

Mashic compiler: Mashup sandboxing based on inter-frame communication. - Zhengqin Luo; José Fragoso Santos; Ana Almeida Matos; Tamara Rezk (J. Comput. Secur., 2016)

Information flow in a distributed security setting. - Ana Almeida Matos; Jan Cederquist (CoRR, 2019)

Sound Atomicity Inference for Data-Centric Synchronization. - Hervé Paulino; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara (CoRR, 2023)

AtomiS: Data-Centric Synchronization Made Practical. - Hervé Paulino; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara (Proc. ACM Program. Lang., 2023)