Ana Gualdina Almeida Matos


Publications

DBLP

By topic:
  • Information Flow in a Distributed Security Setting. With J. Cederquist.  Submitted, 2019.  [PDF]

  • From atomic variables to data-centric concurrency control. With H. Paulino, D. Parreira, N. Delgado and A. Ravara.
    • Presented at SAC'16, 2016.  [PDF]
  • Mashic Compiler: Mashup Sandboxing using Inter-frame Communication. With Z. Luo, J. Fragoso Santos, and T. Rezk.
    • Journal of Computer Security, 2016.  [PDF]

  • Modular Monitor Extensions for Information Flow Security in JavaScript. With J. Fragoso Santos, and T. Rezk.
  • An Information Flow Monitor for a Core of DOM - Introducing references and live primitives. With J. Fragoso Santos and T. Rezk.
  • Distributed Noninterference.  With J. Cederquist.
  • Informative Types and Effects for Hybrid Migration Control. With J. Cederquist.
    • Presented at RV'13, 2013.  [PDF]
    • Full version included in Information Flow in a Distributed Security Setting, 2019.

  • Typing Illegal Information Flows as Program Effects. With J. Fragoso Santos.

  • Non-disclosure for distributed mobile code.
    • Full version with J. Cederquist. In special issue of Mathematical Structures in Computer Science on Programming Language Interference and Dependence, 2011.  [PDF]
    • Presented at FST-TCS'05, 2005. [Bookmark] [PDF] [BibTex]

  • Flow policy awareness for distributed mobile code
    • Presented at CONCUR'09, 2009. [Bookmark] [PDF] [Bibtex]
    • Full version with J. Cederquist included in Information Flow in a Distributed Security Setting, 2019.

  • On declassification and the non-disclosure policy. With G. Boudol.
  • Typing noninterference for reactive programs. With G. Boudol and I. Castellani.
    • Journal of Logic and Algebraic Programming, a special issue on Theory and Foundations of Programming Language Interference and Dependence, 2007.  [PDF] [Bibtex]
    • Presented at FCS'04, 2004.  [PDF][BibTeX]

  • Typing secure information flow: declassification and mobility.
  • Lexically scoped distribution: what you see is what you get. With A. Ravara, V. T. Vasconcelos and L. Lopes.
(last update January 2019)