Ana Gualdina Almeida Matos

• Language based security (information flow, declassification).
• Concurrency, distribution and mobility (network models, reactive programming).
• Semantics, type systems, coalgebras.
  

Events

• PLAS'13 (ACM SIGPLAN 8th Workshop on Programming Languages and Analysis for Security). [PC member]
  
• Might be found attending the Information Security Seminars, Logic and Computation Seminars, Encontros de Quarta-feira.
  

• Seminal Seminars - Wide-audience scientific seminars at IST-Tagus, Lisbon.  Care for a pastel de nata?  [Co-organizer]
• EVTSIC’10 (Track on Specification, Verification, and Testing of Critical Systems) of INForum’10 (The Second Portuguese Symposium on Informatics).  [PC member]
  9-10 September 2010, Universidade do Minho, Braga, Portugal.
  
• ACM SAC 2010 SVT (Software Verification and Testing Track of the 25th Annual ACM Symposium on Applied Computing).  [PC member]
  22-26 March 2010, Sierre, Switzerland.
• DisCoTec'09 (4th IFIP International Federated Event on Distributed Computing Techniques) in Lisbon, Portugal. [Co-organizer]
• ACM SAC 2009 SVT (Software Verification and Testing Track of the 24th Annual ACM Symposium on Applied Computing) in Hawaii, USA. [PC member]
• Coalgebra Day 2006 workshop, October 2006, Nijmegen, Netherlands. [Co-organizer]
  

Background

• 2013 - Visiting the Indes team at INRIA Sophia Antipolis.

• 2006 - Visited the Security of Systems group in the University of Nijmegen, Netherlands.  I worked mainly with Ana Sokolova and Bart Jacobs.
  
  
• 2002-2006 - PhD from École des Mines de Paris.  I was supervised by Gérard Boudol and Ilaria Castellani, integrated in the MIMOSA group INRIA Sophia Antipolis.
  
  
• 2000 - Socrates student at the Mathematics Department of the University of Manchester, United Kingdom.  Undergraduate project:  The Development of the Notion of Type:  from Foundations of Mathematics to Programming languages.
  
  
• 1996-2000 - Licenciatura in Computer Science, at the Computer Science Department in the Faculty of Sciences of the University of Porto, Portugal.

Selected Publications

• Typing Illegal Information Flows as Program Effects.  With J. Faustino Fragoso.
  
  • Presented at PLAS'12, 2012. [PDF]
  
  
• 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]
    


• On declassification and the non-disclosure policy.  With G. Boudol.
• Journal of Computer Security, 2009.  [PDF] [BibTex]
  
• Presented at CSFW'05, 2005  [Bookmark] [PDF] [BibTeX]
  
  
• 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.
• PhD thesis, 2006.  [PDF] [Bibtex]
  
  
• Lexically scoped distribution: what you see is what you get.  With A. Ravara, V. T. Vasconcelos and L. Lopes.
• Presented at FGC'03, 2003.  [PDF] [BibTeX]