Creating and sharing knowledge for telecommunications
... Ana Gualdina Almeida Matos

Researcher

Ana Matos

Academic position: Assistant Professor
Joining date: 31-12-2006
Roles in IT: Researcher
Scientific Area: Basic Sciences and Enabling Technologies
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Personal page


Scientific Achievements

  • PhD, École Nationale Supérieure des Mines de Paris, 01-01-2006
  • Licenciatura, Faculdade de Ciências da Universidade do Porto, 01-01-2001
  • Information Flow
  • Type Systems
  • Security
  • Fundamentos da Programação, Instituto Superior Técnico, Licenciatura em Engenharia de Redes de Comunicações, Licenciatura em Engenharia Informática e de Computadores, Licenciatura em Engenharia Electrónica
Supervision of theses
  • Enforcing Secure Information Flow in Client-Side Web Applications, PhD Student, José Faustino Santos, 12-2014
  • Information Flow Analysis for Logic Programs, MSc Student, João Ricardo Sares Teles de Matos, 11-2019
  • Verification of the back-end of an i-voting system, MSc Student, João de Araujo Correia Neto Lopes, 07-2019
  • Static analysis tool for JavaScript, MSc Student, André Baptista Neves Ribeiro, 06-2019
  • E-voting, on Fenix, MSc Student, Fernando Mário Machado Marques, 09-2017
  • Extracting Security Policies From Program Invariants , Research Grant, José Santos, 08-2010
Co-Supervision of theses
  • Extension and deployment of an i-voting system, MSc Student, Daniel José Nazaré Madruga, 12-2019
  • Resource-Centered Concurrency Control - Proving Type Safety, MSc Student, Beatriz Abecasis Gomes Ferreira, 07-2018
  • J. F. Santos, T. Rezk, A. Matos, Modular Monitor Extensions for Information Flow Security in JavaScript, Chapter in, Trustworthy Global Computing - 10th International Symposium, {TGC} 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, Springer, Madrid, 2015
  • J. F. Santos, T. Rezk, A. Matos, An Information Flow Monitor for a Core of DOM, Chapter in, Trustworthy Global Computing, Springer International Publishing, Madrid, 2014
  • A. Matos, J.C. Cederquist, Informative Types and Effects for Hybrid Migration Control, Chapter in, Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, Axel Legay and Saddek Bensalem, Springer, -, 2013
  • A. Matos, Flow Policy Awareness for Distributed Mobile Code, Chapter in, CONCUR 2009 - Concurrency Theory, Springer Berlin Heidelberg, Berlin Heidelberg, 2009
  • A. Matos, Non-disclosure for distributed mobile code, Chapter in, FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, volume 3821 of Lecture Notes in Computer Science, pages 177-188, R. Ramanujam and Sandeep Sen, Springer, -, 2005
  • Z. L. Luo, J. F. Santos, A. Matos, T. Rezk, Mashic compiler: Mashup sandboxing based on inter-frame communication, Journal of Computer Security, Vol. 24, No. 1, pp. 91 - 136, March, 2016 | BibTex
  • A. Matos, J.C. Cederquist, Non-disclosure for distributed mobile code, Mathematical Structures in Computer Science, Vol. 21, No. 6, pp. 1111 - 1181, June, 2011 | BibTex
  • A. Matos, G. Boudol, On declassification and the non-disclosure policy, Computers and Security, Vol. 17, No. 5, pp. 549 - 597, January, 2009 | BibTex
  • A. Matos, G. Boudol, I. Castellani, Typing Noninterference for Reactive Programs, Journal of Logic and Algebraic Programming, Vol. 72, No. 2, pp. 124 - 156, July, 2007 | BibTex
  • A. Matos, Lexically scoped distribution: what you see is what you get, Electronic Notes in Theoretical Computer Science, Vol. 85, No. 1, pp. 61 - 79, September, 2003 | BibTex
  • H. P. Paulino, D. P. Parreira, N. Delgado, A.R. Ravara, A. Matos, From atomic variables to data-centric concurrency control, ACM/SIGAPP Symposium on Applied Computing SAC, Pisa, Italy, Vol. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pp. 1806 - 1811, April, 2016 | BibTex
  • A. Matos, J.C. Cederquist, Distributed Noninterference, Euromicro International Conf. on Parallel, Distributed and network-based Processing - PDP, Turin, Italy, Vol. -, pp. - - -, February, 2014 | BibTex
  • A. Matos, J. F. Santos, Typing illegal information flows as program effects, ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security - PLAS, Beijing, China, Vol. 1, pp. 1 - 12, June, 2012 | BibTex
  • A. Matos, G. Boudol, On declassification and the non-disclosure policy, IEEE Computer Security Foundations Workshop - CSFW, Aix-en-Provence, France, Vol. 00, pp. 226 - 240, June, 2005 | BibTex
  • A. Matos, G. Boudol, I. Castellani, Typing Noninterference for Reactive Programs, Workshop on Foundations of Computer Security, Turku, Finland, Vol. 31, pp. 205 - 222, June, 2004 | BibTex

Currently running projects2

Acronym Name Funding Agency Start date Ending date
DeDuCe Distributed Data Centric Concurrency Control EU/H2020 01-01-2018 31-12-2020
Elven Elven - Expressive Logics for VErifying the Net EU/H2020 01-07-2016 30-06-2019
  • International Conf. on Systems and Networks Communications, Technical Programme Committee, 2006
  • Computers and Security
    2006, 1 review(s);
  • European Symp. on Research in Computer Security - ESORICS
    2006, 1 review(s);
  • ACM Symp. on Appl. Computing
    2008, 1 review(s);
  • International Conf. on Systems and Networks Communications
    2007, 1 review(s);