Type-Based Analysis of Generic Key Management APIs | IEEE Conference Publication | IEEE Xplore