Zero Knowledge Static Program Analysis.

Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang

Browse the full CCS paper archive.