Type-Based Analysis of Generic Key Management APIs

No ratings

Presented at CSF 2013 by

Riccardo Focardi

Pedro Ad\xc3\xa3o

Flaminia Luccio

N/A