Ana Almeida Matos

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