Upcoming Talks

Previous Talks

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

• Mignis: A semantic based tool for firewall configuration (joint work with Claudio Bozzato, Gian-Luca Dei Rossi, Riccardo Focardi, and Flaminia L. Luccio)
  April 25, 2014. Prosecco Seminar, INRIA, Paris, France.

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

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

• A Quantum Digital Signature Scheme (joint work with Paulo Mateus and André Souto)
  May 15-17, 2013. Workshop on Quantum Telecommunications, Instituto de Telecomunicações, Lisboa, Portugal.

• Verification of Security Protocols. How much can we trust our proofs? (joint work with Gergei Bana and Hideki Sakurada)
  March 22, 2013. Università Ca' Foscari de Venezia, Venice, Italy.

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

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

• STRAP---Security APIs for Transportation Privacy
  October 13, 2010. NET-SCIP Workshop on Security, Porto, Portugal.

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

• High-Level Programming for Offline E-Cash (joint work with Cédric Fournet and Nataliya Guts)
  May 13, 2009. MSR-INRIA Joint Centre Seminar, Paris, France.

• High-Level Programming for E-Cash with Transferable Identification (joint work with Cédric Fournet and Nataliya Guts)
  May 12, 2009. Séminaire du Laboratoire Spécification et Vérification, École Normale Supérieure de Cachan, Paris, France.

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

• High-Level Programming for E-Cash (joint work with Cédric Fournet, Nataliya Guts, and Francesco Zappa Nardelli)
  November 28, 2008. 4ª Workshop em Segurança da Informação, Aveiro, Portugal.

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

• Quantum Security via Process Calculus (joint work with Simon Gay and Paulo Mateus)
  December 20, 2007. 3ª Workshop em Segurança da Informação, Universidade do Porto, Porto, Portugal.

• A Calculus for High-Level Cryptography and its Computational Implementation (joint work with Cédric Fournet)
  July 6-8, 2007. CSF 2007 - 20th IEEE Computer Security Foundations Symposium (Rump Session), San Servolo, Venice, Italy.

• Cryptographic Sound Implementations of Symbolic Cryptography
  February 23, 2007. Workshop em Segurança da Informação, Universidade do Minho, Braga, Portugal.

• Cryptographically Sound Implementations for Communicating Processes (joint work with Cédric Fournet)
  July 9-16, 2006. ICALP 2006 - 33rd International Colloquium on Automata, Languages and Programming, San Servolo, Venice, Italy.

• Towards a Quantitative Analysis of Security Protocols (joint work with Paulo Mateus, Tiago Reis and Luca Viganò)
  July 5-7, 2006. CSFW 2006 - 19th IEEE Computer Security Foundations Workshop (Rump Session), San Servolo, Venice, Italy.

• Lógicas de Indistinguibilidade para Verificação de Protocolos Criptográficos (joint work with Gergei Bana and Andre Scedrov)
  June 23, 2006. ENspm 2006 - Encontro Nacional da Sociedade Portuguesa de Matemática, Lisboa, Portugal.

• Soundness of Formal Encryption: the Case of Key-Cycles (joint work with Gergei Bana, Jonathan Herzog and Andre Scedrov)
  March 7, 2006. Séminaire du Laboratoire Spécification et Vérification , École Normale Supérieure de Cachan, Paris, France.

• Cryptographically Sound Implementations for Communicating Processes (joint work with Cédric Fournet)
  January 20, 2006. Logic and Computation Seminar, Instituto Superior Técnico, Lisboa, Portugal.

• Cryptographically Sound Implementations for Communicating Processes (joint work with Cédric Fournet)
  November 23, 2005. Microsoft Research Cambridge, Cambridge, UK.

• How Concrete is the Dolev-Yao Model? (joint work with Gergei Bana and Andre Scedrov)
  October 28, 2005. University of Cambridge Computer Laboratory Security Group Meeting, University of Cambridge, Cambridge, UK.

• Soundness of Formal Encryption in the Presence of Key-Cycles (joint work with Gergei Bana, Jonathan Herzog and Andre Scedrov)
  September 12-14, 2005. ESORICS 2005 - 10th European Symposium on Research in Computer Security, Milan, Italy.

• A Process Algebra for Reasoning About Quantum Security (joint work with Paulo Mateus)
  June 30-July 1, 2005. QPL 2005 - 3rd International Workshop on Quantum Programming Languages (Affiliated Workshop of LICS 2005), Chicago, IL, USA.

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

• Soundness of Formal Encryption (joint work with Gergei Bana, Jonathan Herzog and Andre Scedrov)
  April 29, 2005. Logic and Computation Seminar, Instituto Superior Técnico, Lisboa, Portugal.

• Soundness of Formal Encryption in the Presence of Key Cycles (joint work with Gergei Bana, Jonathan Herzog and Andre Scedrov)
  February 10-12, 2005. TCC 2005 - Second Theory of Cryptography Conference (Rump Session), MIT, Cambridge, MA, USA.

• Key Cycles and Formal Encryption (joint work with Gergei Bana, Jonathan Herzog and Andre Scedrov)
  February 1-2, 2005. Protocol eXchange Seminar, Naval Postgraduate School, Monterey, CA, USA.

• A Brief Introduction to Quantum Computation
  December 3, 2004. Graduate Student Pizza Seminar, Department of Mathematics, University of Pennsylvania, Philadelphia, PA, USA.

• Expanded Logics of Formal Encryption (joint work with Gergei Bana and Andre Scedrov)
  May 21, 2004. Logic and Computation Seminar, Instituto Superior Técnico, Lisboa, Portugal.

• Why Cryptosystems Fail (exploring Ross Anderson's paper)
  March 23, 2004. Security Vulnerabilities Seminar, University of Pennsylvania, Philadelphia, PA, USA.

• Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS and Other Systems (exploring Paul C. Kosher's paper)
  February 23, 2004. Security Vulnerabilities Seminar, University of Pennsylvania, Philadelphia, PA, USA.

• An Attack on the Needham-Schroeder Public-Key Authentication Protocol (exploring Gavin Lowe's paper)
  February 10, 2004. Security Vulnerabilities Seminar, University of Pennsylvania, Philadelphia, PA, USA.

• Electronic Money within My-Calculus
  July 5, 2002. Theory of Computation Seminar, Instituto Superior Técnico, Lisboa, Portugal.

• Cripto Quê? (Crypto What? A Brief Introduction to Cryptography and Digital Signatures)
  May 8, 2001. Seminário Diagonal, Instituto Superior Técnico, Lisboa, Portugal.

Last update: 23-Jun-2006