Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols.

Jos Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella-Bguelin

Browse the full CCS paper archive.