article Stefan Krüger author Johannes Späth author Karim Ali author Eric Bodden author 592560000-0003-3470-3647 Mira Mezini author 76 department 2019 eng JavaEncryptionStatic analysisToolsCiphersSemanticscryptographydomain-specific languagestatic analysis 2326-388110.1109/TSE.2019.2948910 1-1 @article{Krüger_Späth_Ali_Bodden_Mezini_2019, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, DOI={<a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>}, journal={IEEE Transactions on Software Engineering}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2019}, pages={1–1} } S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1. Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” <i>IEEE Transactions on Software Engineering</i>, 2019, pp. 1–1, doi:<a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>. Krüger, S., Späth, J., Ali, K., Bodden, E., &#38; Mezini, M. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href="https://doi.org/10.1109/TSE.2019.2948910">https://doi.org/10.1109/TSE.2019.2948910</a> S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2019, doi: <a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>. Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” <i>IEEE Transactions on Software Engineering</i>, 2019, 1–1. <a href="https://doi.org/10.1109/TSE.2019.2948910">https://doi.org/10.1109/TSE.2019.2948910</a>. 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> 205332020-11-27T10:48:38Z2022-01-06T06:54:29Z