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
Thematic Line: 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

Alternative Personal Web 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
As Supervisor
As Supervisor
As Co-supervisor
As Supervisor
  • 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, Computers and 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, Vol. 85, No. 1, pp. 61 - 79, September, 2003 | BibTex
  • H. P. Paulino, A. Matos, J.C. Cederquist, M. Giunti, J. R. Matos, A.R. Ravara, AtomiS: Data-Centric Synchronization Made Practical, ACM Object-Oriented Programming, Systems, Languages & Applications OOPSLA, Cascais, Portugal, October, 2023 | BibTex
  • B. D. Dias, A. Matos, M. Souto, Algorithm to support the definition of Portugal’s continental shelf delineation, Inforum - Simpósio de Informática, Porto, Portugal, September, 2023,
    | Abstract
    | BibTex
  • V. Cabral, A. Matos, P. Borges, L. Borda ed Agua, E. Azevedo, Modeling the distribution of invasive species in small islands under future climates, Inforum - Simpósio de Informática, Porto, Portugal, September, 2023 | BibTex
  • T. Mamouros, A. Matos, S. Salvatore, A. Rito Silva, Platform for Collaborative Waste Management in an Academic Campus, Inforum - Simpósio de Informática, Porto, Portugal, September, 2023 | BibTex
  • D. Miranda, A. Matos, J.C. Cederquist, Information Flow Security For a Concurrent Language With Lock-based Synchronization, Inforum - Simpósio de Informática, Porto, Portugal, September, 2023 | BibTex
  • A. Matos, A.R. Ravara, H. P. Paulino, J.C. Cederquist, J. R. Matos, M. Giunti, Type qualifier inference and code synthesis, Interaction and Concurrency Experience ICE, Lisbon, Portugal, June, 2023 | BibTex
  • B. A. Ferreira, J.C. Cederquist, A. Matos, H. P. Paulino, A.R. Ravara, Mechanization of a Type System for Atomicity Analysis and its Type Safety, Inforum - Simpósio de Informática, Guimarães, Portugal, September, 2019 | BibTex
  • F. M. Marques, J.C. Cederquist, A. Matos, Integrating paper-based voting and Belenios -- a hybrid voting protocol for an academic organization. To appear in the proceedings of INFORUM 2017., Inforum - Simpósio de Informática, Aveiro, Portugal, October, 2017 | 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 - 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

Closed 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);