@ARTICLE{tse19CrySL, author={Stefan Kr\"uger and Johannes Sp\"ath and Karim Ali and Eric Bodden and Mira Mezini}, journal={IEEE Transactions on Software Engineering}, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, year={2019}, volume={}, number={}, pages={1-1}, keywords={Java;Encryption;Static analysis;Tools;Ciphers;Semantics;cryptography;domain-specific language;static analysis}, doi={10.1109/TSE.2019.2948910}, ISSN={2326-3881}, month={}, url = {https://www.bodden.de/pubs/tse19CrySL.pdf}, }