Publications

Here is a list of my publications. Most of these papers appear in print and the corresponding copyright is held by the publisher. While the papers may be used for personal use, redistribution or reprinting for commercial purposes is not allowed. A preprint of most of them can be downloaded in PDF or PS format.
You can obtain them also from the SQIG database.

Accepted for Publication

Automatização de Casos de Teste como Processo de Melhoria da Qualidade do Software: o caso da Aplicação de E-Learning ISUPAC3 no ISUTC (joint work with Elton Sixpence and Cameron Smith)
In 6º Congresso Luso-Moçambicano de Engenharia (CLME), pages XXX-XXX, Maputo, Moçambique, August 29--September 2 2011. © Editora.

Articles in Journals

• Soundness and Completeness of Formal Encryption: the Cases of Key-Cycles and Partial Information Leakage (joint work with Gergei Bana, Jonathan Herzog and Andre Scedrov)
  Journal of Computer Security, 17(5):737--797, 2009. © IOS Press.
  

• A Process Algebra for Reasoning About Quantum Security (joint work with Paulo Mateus)
  Electronic Notes in Theoretical Computer Science, 170:3-21, 2007. © Elsevier.
  

• Towards a Quantitative Analysis of Security Protocols (joint work with Paulo Mateus, Tiago Reis and Luca Viganò)
  Electronic Notes in Theoretical Computer Science, 164(3):3-25, 2006. © Elsevier.
  

Articles in Conference Proceedings

• Cryptographically Sound Implementations for Communicating Processes (joint work with Cédric Fournet)
  In M. Bugliesi, B. Preneel, V. Sassone, and I. Wegener, editors, 33rd International Colloquium on Automata, Languages and Programming (ICALP), volume 4052 of LNCS, pages 83-94, Venice, Italy, July 9-16 2006. © Springer.
  

• Soundness of Formal Encryption in the Presence of Key-Cycles (joint work with Gergei Bana, Jonathan Herzog and Andre Scedrov)
  In S. De Capitani di Vimercati, P. Syverson, and D. Gollmann, editors, 10th European Symposium on Research in Computer Security (ESORICS), volume 3679 of LNCS, pages 374-396, Milan, Italy, September 12-14 2005. © Springer.
  

• Computational and Information-Theoretic Soundness and Completeness of Formal Encryption (joint work with Gergei Bana and Andre Scedrov)
  In 18th IEEE Computer Security Foundations Workshop (CSFW), pages 170-184, Aix-en-Provence, France, June 20-22 2005. © IEEE Computer Society Press.
  

Theses

• Formal Methods for the Analysis of Security Protocols (supervised by Paulo Mateus and Andre Scedrov)
  PhD Thesis, IST, Universidade Técnica de Lisboa, December 2006.
  

• Electronic Money within My-Calculus (supervised by Paulo Mateus)
  Diploma Thesis, IST, Universidade Técnica de Lisboa, July 2002.
  

Others

• Logical Proofs of Authentication Protocols and Type-Flaw Attacks (joint work with Gergei Bana)
  Extended Abstract presented at the 6th Workshop on Formal and Computational Cryptography (FCC). Affiliated Workshop of CSF'10, Edinburgh, UK, July 20 2010.
  

• High-Level Programming for E-Cash (joint work with Cédric Fournet, Nataliya Guts, and Francesco Zappa Nardelli)
  Extended Abstract presented at the 1st Computational and Symbolic Proofs of Security Workshop (CosyProofs). Atagawa Heights, Highashi Izu Peninsula, Japan, April 6--9, 2009.
  

• High-Level Programming for E-Cash (joint work with Cédric Fournet, Nataliya Guts, and Francesco Zappa Nardelli)
  Extended Abstract presented at the 4th Workshop on Formal and Computational Cryptography (FCC). Affiliated Workshop of CSF/LICS'08, Pittsburgh, PA, USA, June 26 2008.
  

• Language Design for Computationally Sound Communications Abstractions (joint work with Cédric Fournet)
  Extended Abstract presented at the 2nd Workshop on Formal and Computational Cryptography (FCC). Affiliated Workshop of ICALP'06, Venice, Italy, July 9 2006.
  

• Towards a Quantitative Analysis of Security Protocols (joint work with Paulo Mateus, Tiago Reis and Luca Viganò)
  Extended Abstract presented at the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL). Affiliated Workshop of ETAPS'06, Vienna, Austria, April 1-2 2006.
  

Other Refereed Publication

• Criptologia; Contratos e Dinheiro Virtuais (Cryptology; e-Contracts and e-Money)
  In J. Boavida, A. Cannas da Silva, L. Cruz-Filipe, J. Fachada, and P. Resende, editors, Seminário Diagonal -- Proceedings IST 2000--01, pages 45-68, Lisboa, Portugal, November 2001.
  

Last update: July 2010