DOI,IST REx ID,Research Group,Title of publication
10.1145/2382196.2382249,2937,KrPi,Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols