@article{AB09,
author = {Ana {Almeida Matos} and G\'erard Boudol},
title = {On Declassification and the Non-Disclosure Policy},
journal = {Journal of Computer Security},
volume = {17},
number = {5},
year = {2009},
pages = {549--597},
publisher = {IOS Press}
}


@inproceedings{Alm09,
author = {A. {Almeida Matos}},
title = {Flow policy awareness for distributed mobile code},
booktitle = {CONCUR 2009: Proceedings of the 20th International Conference on Concurrency Theory},
series = {Lecture Notes in Computer Science},
volume = {5710},
publisher = {Springer-Verlag},
year = {2009},
pages = {53--68},
isbn = {978-3-642-04080-1}
}


@article{ABC07,
author = {A. {Almeida Matos} and Boudol, G. and I. Castellani},
title = {Typing noninterference for reactive programs},
journal = {The Journal of Logic and Algebraic Programming},
volume = 72,
number = 2,
pages = "124--156",
publisher = {Elsevier Science},
note = {Special Issue on Programming Language Interference and Dependence},
year = 2007
}



@PhDThesis{Alm06,
author = {Ana {Almeida Matos}},
title = {Typing secure information flow: declassification and mobility},
school = {\'Ecole Nationale Sup\'erieure des Mines de Paris},
institution = {INRIA Sophia Antipolis},
year = 2006
}



@inproceedings{Alm05,
author = {A. {Almeida Matos}},
title = {Non-disclosure for distributed mobile code.},
booktitle = {Proceedings of the 25th International Conference:
Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3821},
year = {2005},
pages = {177--188},
isbn = {3-540-30495-9}
}



@inproceedings{AB05,
author = {A. {Almeida Matos} and Gerard Boudol},
title = {On declassification and the non-disclosure policy},
booktitle = {Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW'05)},
year = {2005},
isbn = {0-7695-2340-4},
pages = {226--240},
doi = {http://dx.doi.org/10.1109/CSFW.2005.21},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA}
}



@inProceedings{ABC04,
author    = {Ana {Almeida Matos} and G\'erard Boudol and Ilaria Castellani},
title     = {Typing noninterference for reactive programs},
booktitle = {FCS'04: Workshop on Foundations of Computer Security},
editor    = {Sabelfeld, Andrei},
series    = {TUCS General Publications},
volume    = 31,
pages     = {205--222},
year      = 2004,
isbn      = {952-12-1372-8},
publisher = {Turku Center for Computer Science}
}





@InProceedings{RMVL03,
author    = {A. Ravara and A. Matos and V. T. Vasconcelos and L. Lopes},
title     = {Lexically scoping distribution: what you see is what you get},
booktitle = {FGC: Foundations of Global Computing},
year      = 2003,
volume    = 85,
issue     = 1,
publisher = Elsevier,
series    = {Electronic Notes in Theoretical Computer Science}
}