Ana Gualdina Almeida Matos

According to our database, Ana Gualdina Almeida Matos authored at least 16 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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., October, 2023

Sound Atomicity Inference for Data-Centric Synchronization.

Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara

CoRR, 2023

2019

Information flow in a distributed security setting.

Ana Almeida Matos, Jan Cederquist

CoRR, 2019

2016

Mashic compiler: Mashup sandboxing based on inter-frame communication.

Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk

J. Comput. Secur., 2016

From atomic variables to data-centric concurrency control.

Hervé Paulino, Daniel Parreira, Nuno Delgado, António Ravara, Ana Gualdina Almeida Matos

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Modular Monitor Extensions for Information Flow Security in JavaScript.

José Fragoso Santos, Tamara Rezk, Ana Almeida Matos

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

2014

An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives.

Ana Gualdina Almeida Matos, José Fragoso Santos, Tamara Rezk

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Distributed Noninterference.

Ana Almeida Matos, Jan Cederquist

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

Informative Types and Effects for Hybrid Migration Control.

Ana Almeida Matos, Jan Cederquist

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

Typing illegal information flows as program effects.

Ana Almeida Matos, José Fragoso Santos

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

2011

Non-disclosure for distributed mobile code.

Ana Almeida Matos, Jan Cederquist

Math. Struct. Comput. Sci., 2011

2009

On declassification and the non-disclosure policy.

Ana Almeida Matos, Gérard Boudol

J. Comput. Secur., 2009

Flow Policy Awareness for Distributed Mobile Code.

Ana Almeida Matos

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2007

Typing noninterference for reactive programs.

Ana Almeida Matos, Gérard Boudol, Ilaria Castellani

J. Log. Algebraic Methods Program., 2007

2005

Non-disclosure for Distributed Mobile Code.

Ana Almeida Matos

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2003

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

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003