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.

Articles in Journals

• Hybrid Learning of Bayesian Multinet for Binary Classification (joint work with Alexandra M. Carvalho and Paulo Mateus)
  Pattern Recognition, 47(10):3438--3450, 2014. © Elsevier. (PDF).

• Protocol Insecurity with a Finite Number of Sessions and a Cost-Sensitive Guessing Intruder is NP-Complete (joint work with Paulo Mateus and Luca Viganò)
  Theoretical Computer Science, 538:2--15, 2014. © Elsevier. (PDF).

• Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers (joint work with Alexandra M. Carvalho and Paulo Mateus)
  Entropy, 15(7):2716--2735, 2013. MDPI.

• 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

• Mignis: A Semantic Based Tool for Firewall Configuration (joint work with Claudio Bozzato, Gian-Luca Dei Rossi, Riccardo Focardi and Flaminia L. Luccio)
  In 27th IEEE Computer Security Foundations Symposium (CSF), pages 351-365, Vienna, Austria, July 19--22 2014. © IEEE Computer Society Press.

• Type-Based Analysis of Generic Key Management APIs (joint work with Riccardo Focardi and Flaminia L. Luccio)
  In 26th IEEE Computer Security Foundations Symposium (CSF), pages 97-111, New Orleans, LA, USA, June 26--28 2013. © IEEE Computer Society Press.

• Computationally Complete Symbolic Attacker in Action (joint work with Gergei Bana and Hideki Sakurada)
  In 32nd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 18 of LIPIcs, pages 546-560, Hyderabad, India, December 15--17 2012. Leibniz-Zentrum fuer Informatik.

• Trusted Civitas: Client Trust in Civitas Electronic Voting Protocol (joint work with João Mendes)
  In 3º Simpósio de Informática (INForum), Caparica, Portugal, September 6--7 2012.
  

• 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), Maputo, Moçambique, August 29--September 2 2011.

• Cryptographically Sound Implementations for Communicating Processes (joint work with Cédric Fournet)
  In 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 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

• A Semantic Based Tool for Firewall Configuration (Extended Abstract). (joint work with Claudio Bozzato, Gian-Luca Dei Rossi, Riccardo Focardi and Flaminia L. Luccio)
  Extended Abstract presented at the 2nd Workshop on Hot issues in Security Principles and Trust (Hot-Spot). Affiliated Workshop of ETAPS'14, Grenoble, France, April 5 2014.

• A Natural Deduction System for the Computational Complete Symbolic Adversary (joint work with Carlos Caleiro)
  Extended Abstract presented at the 9th Workshop on Formal and Computational Cryptography (FCC). Affiliated Workshop of MFPS-LICS-CSF'13, New Orleans, LA, USA, June 29 2013.

• Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker (joint work with Gergei Bana and Hideki Sakurada)
  Extended Abstract presented at the 8th Workshop on Formal and Computational Cryptography (FCC). Affiliated Workshop of CSF'12, Harvard, CA, USA, June 27--28 2012.

• 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

• Afinal a Criptografia é (Quase) Perfeita
  In Números, Cirurgias e Nós de Gravata: 10 Anos de Seminário Diagonal no IST, pages 283-297, Lisboa, Portugal, November 2012.

• Criptologia; Contratos e Dinheiro Virtuais (Cryptology; e-Contracts and e-Money)
  In Seminário Diagonal -- Proceedings IST 2000--01, pages 45-68, Lisboa, Portugal, November 2001.

Last update: December 2013