Checking cryptographic API usage with composable annotations (short paper).

Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder.

PEPM ’18: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, December 2017, 53–59. 2018