External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Rumen Paletov

This author has not been identified. Look up 'Rumen Paletov' in Google

Petar Tsankov

This author has not been identified. Look up 'Petar Tsankov' in Google

Veselin Raychev

This author has not been identified. Look up 'Veselin Raychev' in Google

Martin T. Vechev

This author has not been identified. Look up 'Martin T. Vechev' in Google
runs on