Cryptology ePrint Archive: Report 2013/237
Available versions in chronological order
20130429:113252 (posted 29-Apr-2013 11:32:52 UTC)
Type-Based Analysis of Generic Key Management APIs (Long Version)
Pedro Adão and Riccardo Focardi and Flaminia L. Luccio
Publication Info: Full Version of CSF2013
20130501:181051 (posted 01-May-2013 18:10:51 UTC)
Type-Based Analysis of Generic Key Management APIs (Long Version)
Pedro Adão and Riccardo Focardi and Flaminia L. Luccio
Publication Info: Full Version of CSF2013
[
Cryptology ePrint archive
]