| 2007 |
|---|
| 5 | EE | Pedro Adão,
Paulo Mateus:
A Process Algebra for Reasoning About Quantum Security.
Electr. Notes Theor. Comput. Sci. 170: 3-21 (2007) |
| 2006 |
|---|
| 4 | EE | Pedro Adão,
Cédric Fournet:
Cryptographically Sound Implementations for Communicating Processes.
ICALP (2) 2006: 83-94 |
| 3 | EE | Pedro Adão,
Paulo Mateus,
Tiago Reis,
Luca Viganò:
Towards a Quantitative Analysis of Security Protocols.
Electr. Notes Theor. Comput. Sci. 164(3): 3-25 (2006) |
| 2005 |
|---|
| 2 | EE | Pedro Adão,
Gergei Bana,
Andre Scedrov:
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption.
CSFW 2005: 170-184 |
| 1 | EE | Pedro Adão,
Gergei Bana,
Jonathan Herzog,
Andre Scedrov:
Soundness of Formal Encryption in the Presence of Key-Cycles.
ESORICS 2005: 374-396 |
