CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs

Stefan Krüger, Johannes Späth, Karim Ali 0001, Eric Bodden, Mira Mezini. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In Todd D. Millstein, editor, 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands. Volume 109 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Stefan Krüger

This author has not been identified. Look up 'Stefan Krüger' in Google

Johannes Späth

This author has not been identified. Look up 'Johannes Späth' in Google

Karim Ali 0001

This author has not been identified. Look up 'Karim Ali 0001' in Google

Eric Bodden

This author has not been identified. It may be one of the following persons: Look up 'Eric Bodden' in Google

Mira Mezini

This author has not been identified. Look up 'Mira Mezini' in Google