Publications

Filter by type:
CrySL: An Extensible Approach to Validating the Correct Usage of CryptographicAPIs

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysisfor Java

DOI