@TechReport{cryslTR,
  author = 	 {Stefan Kr\"uger and Johannes Sp\"ath and Karim Ali and Eric Bodden and Mira Mezini},
  title = 	 {{CrySL}: Validating Correct Usage of Cryptographic {APIs}},
  institution =  {arXiv.org},
  year = 	 2017,
  number = 	 {arXiv:1710.00564},
  month = 	 oct,
   keywords = {ITSECWEBSITE},
  url = {https://arxiv.org/abs/1710.00564},
}