CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs | IEEE Journals & Magazine | IEEE Xplore