Inferring crypto API rules from code changes

Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev. Inferring crypto API rules from code changes. In Jeffrey S. Foster, Dan Grossman, editors, Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018. pages 450-464, ACM, 2018. [doi]

Abstract

Abstract is missing.