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

Krüger, Stefan; Späth, Johannes; Ali, Karim; Bodden, Eric; Mezini, Mira

doi:10.1109/TSE.2019.2948910

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

@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},
}