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

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

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

@inproceedings{ecoop18crysl,
	author = {Stefan Kr\"uger and
             Johannes Sp\"ath and
             Karim Ali and
             Eric Bodden and
             Mira Mezini},
	title = {{CrySL: An Extensible Approach to Validating the Correct Usage
             of Cryptographic APIs}},
  	year = 2018,
  	booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
 keywords = {ITSECWEBSITE,CROSSING},
  awarded = {Artifact Evaluation Award},
  url = {https://bodden.de/pubs/ksa+18crysl.pdf},   
	pages = {10:1--10:27}
}