Ana Gualdina Almeida Matos

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

https://www.orcid.org/0000-0001-5252-0399

Scientific Achievements

Degrees

PhD, École Nationale Supérieure des Mines de Paris, 01-01-2006
Licenciatura, Faculdade de Ciências da Universidade do Porto, 01-01-2001

Expertise Topics

Information Flow
Type Systems
Security

Academic Activities

1Lecture courses

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

1PhD Student

Enforcing Secure Information Flow in Client-Side Web Applications, PhD Student, José Faustino Santos, Defended 12-2014

4MSc Student

Information Flow Analysis for Logic Programs, MSc Student, João Ricardo Sares Teles de Matos, Expected conclusion 11-2019
Verification of the back-end of an i-voting system, MSc Student, João de Araujo Correia Neto Lopes, Concluded 07-2019
Static analysis tool for JavaScript, MSc Student, André Baptista Neves Ribeiro, Concluded 06-2019
E-voting, on Fenix, MSc Student, Fernando Mário Machado Marques, Concluded 09-2017

1Research Grant

Extracting Security Policies From Program Invariants , Research Grant, José Santos, Concluded 08-2010

Co-Supervision of theses

2MSc Student

Extension and deployment of an i-voting system, MSc Student, Daniel José Nazaré Madruga, Expected conclusion 12-2019
Resource-Centered Concurrency Control - Proving Type Safety, MSc Student, Beatriz Abecasis Gomes Ferreira, Concluded 07-2018

Publications

5Books Chapters

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

5Papers in Journals

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, Theoretical Computer Science, Vol. 85, No. 1, pp. 61 - 79, September, 2003 | BibTex

5Papers in Conferences

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

Projects

Currently running projects1

Acronym	Name	Funding Agency	Start date	Ending date
DeDuCe	Distributed Data Centric Concurrency Control	EU/H2020	01-01-2018	31-12-2020

Closed Projects1

Acronym	Name	Funding Agency	Start date	Ending date
Elven	Elven - Expressive Logics for VErifying the Net	EU/H2020	01-07-2016	30-06-2019

Other Contributions

1Conference Committees

International Conf. on Systems and Networks Communications, Technical Programme Committee, 2006

1Refereeing Journals

Computers and Security
2006, 1 review(s);

3Refereeing Conferences

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

IT Member Profile