Almeida JB, Barbosa MB, Bangerter E, Barthe G, Krenn S, Béguelin SZ.? 2012.??Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. Conference on Computer and Communications Security  - CCS. :488-500.