As part of the PULSAR project, Scott Ames (Univ. Rochester), Carmit Hazay (BIU), Yuval Ishai (Technion), Muthuramakrishnan Venkitasubramaniam (Univ. Rochester) presented “Ligero: Lightweight Sublinear Arguments Without a Trusted Setup” at CCS 2017.  A link to the corresponding publication (in the conference proceedings) can be found here.