Travelled to:1 × Italy
Collaborated with:C.Fournet P.Mateus T.Reis L.Viganò
Talks about:cryptograph (1) implement (1) protocol (1) communic (1) quantit (1) process (1) analysi (1) toward (1) sound (1) secur (1)
Person: Pedro Adão
DBLP: Ad=atilde=o:Pedro
Contributed to:
2006
2006Wrote 2 papers:
- ICALP-v2-2006-AdaoF #communication #encryption #implementation #process
- Cryptographically Sound Implementations for Communicating Processes (PA, CF), pp. 83–94.
- QAPL-2006-AdaoMRV #analysis #protocol #security #towards
- Towards a Quantitative Analysis of Security Protocols (PA, PM, TR, LV), pp. 3–25.