Zero Knowledge Static Program Analysis

Published in CCS, 2021