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