Publications

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

AuthorKrüger, Stefan; Späth, Johannes; Ali, Karim; Bodden, Eric; Mezini, Mira
Date2019
TypeJournal Article
ISSN1939-3520
InIEEE Transactions on Software Engineering
PublisherInstitute of Electrical and Electronics Engineers
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/118487