Paper on "verifiable ASICs" accepted to Oakland S&P 2016!