 | 2009 |
|---|
| 6 |       | Pedro Adão,
Gergei Bana,
Jonathan Herzog,
Andre Scedrov:
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage.
Journal of Computer Security 17(5): 737-797 (2009) |
| 2007 |
|---|
| 5 | | Pedro Adão,
Paulo Mateus:
A Process Algebra for Reasoning About Quantum Security.
Electr. Notes Theor. Comput. Sci. 170: 3-21 (2007) |
| 2006 |
|---|
| 4 | | Pedro Adão,
Cédric Fournet:
Cryptographically Sound Implementations for Communicating Processes.
ICALP (2) 2006: 83-94 |
| 3 | | 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 | | Pedro Adão,
Gergei Bana,
Andre Scedrov:
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption.
CSFW 2005: 170-184 |
| 1 | | Pedro Adão,
Gergei Bana,
Jonathan Herzog,
Andre Scedrov:
Soundness of Formal Encryption in the Presence of Key-Cycles.
ESORICS 2005: 374-396 |
Data released under the ODC-BY 1.0 license — See also our legal information page