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
ECOOP, 2018.
@inproceedings{ECOOP-2018-KrugerS0BM, author = "Stefan Krüger and Johannes Späth and Karim Ali 0001 and Eric Bodden and Mira Mezini", booktitle = "{Proceedings of the 32nd European Conference on Object-Oriented Programming}", doi = "10.4230/LIPIcs.ECOOP.2018.10", isbn = "978-3-95977-079-8", pages = "27", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}", year = 2018, }