Type-Based Analysis of Generic Key Management APIs presented at CSF 2013

by Riccardo Focardi, Pedro Ad\xc3\xa3o, Flaminia l. Luccio,

Summary : N/A