Inproceedings,

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

, , , , and .
ECOOP, volume 109 of LIPIcs, page 10:1-10:27. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews