Publications

(2022). CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite. In MSR.

PDF Cite Code DOI

(2021). Python Crypto Misuses in the Wild. In ESEM'21.

PDF Cite Code Dataset Video DOI

(2021). A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits. In EMSE.

PDF Cite Code

(2020). Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild. In TRUSTCOM'20.

PDF Cite Code Dataset Video DOI

(2019). A Dataset of Parametric Cryptographic Misuses. In MSR'19.

PDF Cite Code Dataset Slides DOI

(2016). Don't let data Go astray - A Context-sensitive Taint Analysis for Concurrent Programs in Go. In NWPT'16.

PDF Cite Slides

(2016). Information Flow Analysis for Go. In ISoLA 2016.

PDF Cite DOI