TY  - RPRT
TI  - CrySL: Validating Correct Usage of Cryptographic APIs
AU  - Stefan Krüger
AU  - Johannes Späth
AU  - Karim Ali
AU  - Eric Bodden
AU  - Mira Mezini
PY  - 2017
UR  - https://arxiv.org/abs/1710.00564
ID  - 1710.00564
ER  -