|
|
|
Instituto de Telecomunicações
Lisboa, Portugal
Ana
Gualdina
Almeida Matos
|
|
|
|
|
|
Top
Events
Background
Publications
|
|
I am integrated in the Security and Quantum
Information group (SQIG)
of IT. I am also part
of a local "special interest group" in security (SFS@Tagus).
My
current research interests include:
- Language based security (information flow,
declassification).
- Concurrency, distribution and mobility (network
models, reactive programming).
- Semantics, type systems, coalgebras.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Top
Events
Background
Publications
|
|
Events
Ongoing:
Past:
- 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]
|
|
|
|
|
|
Top
Events
Background
Publications
|
|
Background
|
|
|
|
|
|
Top
Events
Background
Publications
|
|
Selected Publications
- Typing Illegal
Information Flows as Program Effects.
With J. Faustino Fragoso.
- 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.
- On
declassification and the non-disclosure policy.
With G. Boudol.
- 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.
- Lexically
scoped
distribution: what you see is what you get.
With A. Ravara, V. T. Vasconcelos
and L. Lopes.
|
|
|
|
|
|
|
|
last update:
2013/03/03 |