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

Stefan Krger, Johannes Spth, Karim Ali, Eric Bodden, Mira Mezini

Browse the full ECOOP paper archive.