Ana Gualdina Almeida Matos

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

Events

• Seminal Seminars - Wide-audience scientific seminars at IST-Tagus, Lisbon.  Care for a pastel de nata?  [Co-organizer]
  
• Lunch meetings of the Security "special interest group" in Tagus (SFS@Tagus).
  
• Information Security Seminars at IST, Lisbon.  [Co-organizer]
  
• Might also be found attending the Logic and Computation Seminars, Encontros de Quarta-feira.
  

• 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

• 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.

Publications

• On Extracting Security Policies From Program Invariants.  With J. Faustino Fragoso.
  
  • Technical report (draft), 2011. [PDF]
    
  
  
• Flow policy awareness for distributed mobile code. 
  
  • Presented at CONCUR'09, 2009. [Bookmark] [PDF] [Bibtex]
    
  • Technical Report, 2008.  [PDF]
  
  
• Typing secure information flow:  declassification and mobility.
• PhD thesis, 2006.  [PDF] [Bibtex]
  
  
• Non-disclosure for distributed mobile code.
• Full version with J. Cederquist.  To appear in the special issue of Mathematical Structures in Computer Science on Programming Language Interference and Dependence, 2011.  [PDF]
  
• Presented at FST-TCS'05. [Bookmark] [PDF] [BibTex]
  
  
• On declassification and the non-disclosure policy.  With G. Boudol.
• Journal of Computer Security, 2009.  [PDF] [BibTex]
  
• Presented at CSFW'05.  [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]
  
• Full version.  In INRIA Research Report RR-5594, 2005.  [Bookmark] [PDF]
  
• Presented at FCS'04.  [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.  [PDF] [BibTeX]