CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Krüger, Stefan Späth, Johannes Ali, Karim Bodden, Eric Mezini, Mira Java Encryption Static analysis Tools Ciphers Semantics cryptography domain-specific language static analysis 2019 info:eu-repo/semantics/article doc-type:article text http://purl.org/coar/resource_type/c_6501 https://ris.uni-paderborn.de/record/20533 Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. <i>IEEE Transactions on Software Engineering</i>. Published online 2019:1-1. doi:<a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a> eng info:eu-repo/semantics/altIdentifier/doi/10.1109/TSE.2019.2948910 info:eu-repo/semantics/altIdentifier/issn/2326-3881 info:eu-repo/semantics/closedAccess