{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T06:54:44Z","timestamp":1790837684416,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":92,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:00:00Z","timestamp":1604016000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["830929"],"award-info":[{"award-number":["830929"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P31621-N38"],"award-info":[{"award-number":["P31621-N38"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005189","name":"Estonian Research Competency Council","doi-asserted-by":"publisher","award":["PRG49"],"award-info":[{"award-number":["PRG49"]}],"id":[{"id":"10.13039\/501100005189","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,30]]},"DOI":"10.1145\/3372297.3417228","type":"proceedings-article","created":{"date-parts":[[2021,3,4]],"date-time":"2021-03-04T16:22:09Z","timestamp":1614874929000},"page":"1987-2005","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Lift-and-Shift"],"prefix":"10.1145","author":[{"given":"Behzad","family":"Abdolmaleki","sequence":"first","affiliation":[{"name":"University of Tartu, Tartu, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Ramacher","sequence":"additional","affiliation":[{"name":"AIT Austrian Institute of Technology, Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Slamanig","sequence":"additional","affiliation":[{"name":"AIT Austrian Institute of Technology, Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,11,2]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70700-6_1"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-34618-8_13"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29962-0_8"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53887-6_7"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46800-5_17"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31500-9_22"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44598-6_16"},{"key":"e_1_3_2_2_11_1","volume-title":"Subversion-Resilient Signature Schemes. In ACM CCS 2015 , , Indrajit Ray, Ninghui Li, and Christopher Kruegel (Eds.). ACM Press, 364--375","author":"Ateniese Giuseppe","year":"2015"},{"key":"e_1_3_2_2_12_1","volume-title":"Subversion-Resistant Simulation (Knowledge) Sound NIZKs. In 17th IMA International Conference on Cryptography and Coding (LNCS ), , Martin Albrecht (Ed.)","volume":"11929","author":"Baghery Karim","year":"2019"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46800-5_13"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96881-0_23"},{"key":"e_1_3_2_2_15_1","volume-title":"Randomizable Proofs and Delegatable Anonymous Credentials. In CRYPTO 2009 (LNCS ), Shai Halevi (Ed.)","volume":"5677","author":"Belenkiy Mira","year":"2009"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53890-6_26"},{"key":"e_1_3_2_2_17_1","volume-title":"CRYPTO'89 (LNCS ),","author":"Bellare Mihir"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26954-8_23"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.36"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40084-1_6"},{"key":"e_1_3_2_2_21_1","volume-title":"Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs. In 2015 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 287--304","author":"Ben-Sasson Eli","year":"2015"},{"key":"e_1_3_2_2_23_1","volume-title":"On the Indifferentiability of the Sponge Construction. In EUROCRYPT 2008 (LNCS ), , Nigel P. Smart (Ed.)","volume":"4965","author":"Bertoni Guido","year":"2008"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.46586\/tosc.v2020.i1.313-330"},{"key":"e_1_3_2_2_25_1","volume-title":"46th ACM STOC , , David B","author":"Bitansky Nir","year":"1859"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45708-9_21"},{"key":"e_1_3_2_2_27_1","volume-title":"20th ACM STOC","author":"Blum Manuel"},{"key":"e_1_3_2_2_28_1","volume-title":"Short Signatures Without Random Oracles. In EUROCRYPT 2004 (LNCS ), , Christian Cachin and Jan Camenisch (Eds.)","volume":"3027","author":"Boneh Dan","year":"2004"},{"key":"e_1_3_2_2_29_1","volume-title":"Short Group Signatures. In CRYPTO 2004 (LNCS ), , Matthew Franklin (Ed.)","volume":"3152","author":"Boneh Dan","year":"2004"},{"key":"e_1_3_2_2_31_1","volume-title":"ACNS 16 (LNCS ), , Mark Manulis, Ahmad-Reza Sadeghi","author":"Bootle Jonathan"},{"key":"e_1_3_2_2_32_1","volume-title":"Arya: Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution. In ASIACRYPT","author":"Bootle Jonathan","year":"2018"},{"key":"e_1_3_2_2_34_1","volume-title":"FC 2018 Workshops (LNCS ), , Aviv Zohar, Ittay Eyal, Vanessa Teague, Jeremy Clark, Andrea Bracciali, Federico Pintore, and Massimiliano Sala (Eds.)","volume":"10958","author":"Bowe Sean"},{"key":"e_1_3_2_2_36_1","volume-title":"Direct Anonymous Attestation. In ACM CCS 2004 , , Vijayalakshmi Atluri, Birgit Pfitzmann, and Patrick McDaniel (Eds.). ACM Press, 132--145","author":"Brickell Ernest F.","year":"2004"},{"key":"e_1_3_2_2_37_1","volume-title":"Bulletproofs: Short Proofs for Confidential Transactions and More. In 2018 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 315--334","author":"B\u00fcnz Benedikt","year":"2018"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.22"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134025"},{"key":"e_1_3_2_2_40_1","volume-title":"Formal Treatment of Privacy-Enhancing Credential Systems. In SAC 2015 (LNCS ), Orr Dunkelman and Liam Keliher (Eds.)","volume":"9566","author":"Camenisch Jan","year":"2016"},{"key":"e_1_3_2_2_41_1","volume-title":"An Efficient System for Non-transferable Anonymous Credentials with Optional Anonymity Revocation. In EUROCRYPT 2001 (LNCS ), , Birgit Pfitzmann (Ed.)","volume":"2045","author":"Camenisch Jan","year":"2001"},{"key":"e_1_3_2_2_42_1","volume-title":"SCN 02 (LNCS ),","author":"Camenisch Jan"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28628-8_4"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3339820"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134060"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/874063.875553"},{"key":"e_1_3_2_2_47_1","volume-title":"30th ACM STOC","author":"Canetti Ran"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133997"},{"key":"e_1_3_2_2_49_1","volume-title":"EUROCRYPT'85 (LNCS ),","author":"Chaum David"},{"key":"e_1_3_2_2_50_1","volume-title":"EUROCRYPT'91 (LNCS ), , Donald W","author":"Chaum David"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56614-6_21"},{"key":"e_1_3_2_2_52_1","volume-title":"Ward","author":"Chiesa Alessandro","year":"2020"},{"key":"e_1_3_2_2_53_1","volume-title":"CRYPTO'91 (LNCS )","author":"Damg\u00e5rd Ivan"},{"key":"e_1_3_2_2_54_1","volume-title":"Secure Electronic Voting , , Dimitris Gritzalis (Ed.). Advances in Information Security","author":"Damg\u00e5rd Ivan"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45611-8_28"},{"key":"e_1_3_2_2_56_1","volume-title":"33rd FOCS","author":"Santis Alfredo De","year":"1992"},{"key":"e_1_3_2_2_57_1","volume-title":"Progress in Cryptology - VIETCRYPT 06 (LNCS ), , Phong Q","author":"Delerabl\u00e9e C\u00e9cile"},{"key":"e_1_3_2_2_59_1","volume-title":"ProvSec 2018 (LNCS ),","author":"Derler David"},{"key":"e_1_3_2_2_60_1","volume-title":"ASIACCS 18 , , Jong Kim, Gail-Joon Ahn, Seungjoo Kim, Yongdae Kim, Javier L\u00f3pez","author":"Derler David"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10623-018-0535-9"},{"key":"e_1_3_2_2_62_1","first-page":"1","article-title":"The Transport Layer Security (TLS) Protocol Version 1.2","volume":"5246","author":"Dierks Tim","year":"2008","journal-title":"RFC"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17653-2_12"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48800-3_22"},{"key":"e_1_3_2_2_65_1","volume-title":"ICISC 15 (LNCS ),","author":"Dobraunig Christoph"},{"key":"e_1_3_2_2_66_1","volume-title":"Quisquis: A New Design for Anonymous Cryptocurrencies. In ASIACRYPT","author":"Fauzi Prastudy","year":"2019"},{"key":"e_1_3_2_2_67_1","volume-title":"EUROCRYPT'99 (LNCS ),","author":"Fischlin Marc"},{"key":"e_1_3_2_2_68_1","volume-title":"Weitzner","author":"Frankle Jonathan","year":"2018"},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-76578-5_11"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354234"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-018-9281-4"},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14623-7_25"},{"key":"e_1_3_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243845"},{"key":"e_1_3_2_2_75_1","volume-title":"17th","author":"Goldwasser Shafi"},{"key":"e_1_3_2_2_76_1","first-page":"326","article-title":"Sublinear Pairing-based Arguments with Updatable CRS and Weaker Assumptions","volume":"2019","author":"Gonz\u00e1lez Alonso","year":"2019","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1007\/11935230_29"},{"key":"e_1_3_2_2_79_1","volume-title":"Short Pairing-Based Non-interactive Zero-Knowledge Arguments. In ASIACRYPT 2010 (LNCS ), , Masayuki Abe (Ed.)","volume":"6477","author":"Groth Jens","year":"2010"},{"key":"e_1_3_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-010-9067-9"},{"key":"e_1_3_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"e_1_3_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96878-0_24"},{"key":"e_1_3_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63715-0_20"},{"key":"e_1_3_2_2_84_1","volume-title":"Zcash Protocol Specification: Version","author":"Hopwood Daira","year":"2019"},{"key":"e_1_3_2_2_85_1","unstructured":"Sapling].  Sapling]."},{"key":"e_1_3_2_2_86_1","volume-title":"ACM CCS 2016 , , Edgar R","author":"Juels Ari"},{"key":"e_1_3_2_2_87_1","volume-title":"Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake. In 2019 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 157--174","author":"Kerber Thomas","year":"2019"},{"key":"e_1_3_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53008-5_2"},{"key":"e_1_3_2_2_89_1","volume-title":"abhi shelat, and Elaine Shi","author":"Kosba Ahmed","year":"2015"},{"key":"e_1_3_2_2_90_1","volume-title":"Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts. In 2016 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 839--858","author":"Kosba Ahmed E.","year":"2016"},{"key":"e_1_3_2_2_91_1","volume-title":"Improved Interpolation Attacks on Cryptographic Primitives of Low Algebraic Degree. In SAC 2019 (LNCS ), , Kenneth G. Paterson and Douglas Stebila (Eds.)","volume":"11959","author":"Li Chaoyun","year":"2019"},{"key":"e_1_3_2_2_92_1","volume-title":"Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments. In TCC 2012 (LNCS ), , Ronald Cramer (Ed.)","volume":"7194","author":"Lipmaa Helger","year":"2012"},{"key":"e_1_3_2_2_93_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-42033-7_3"},{"key":"e_1_3_2_2_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3339817"},{"key":"e_1_3_2_2_96_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2018.10.002"},{"key":"e_1_3_2_2_97_1","volume-title":"Pinocchio: Nearly Practical Verifiable Computation. In 2013 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 238--252","author":"Parno Bryan","year":"2013"},{"key":"e_1_3_2_2_98_1","volume-title":"EUROCRYPT'96 (LNCS ), , Ueli M","author":"Pointcheval David"},{"key":"e_1_3_2_2_99_1","doi-asserted-by":"publisher","DOI":"10.46586\/tosc.v2018.i3.163-181"},{"key":"e_1_3_2_2_100_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFFCS.1999.814628"},{"key":"e_1_3_2_2_102_1","volume-title":"EUROCRYPT'95 (LNCS ), , Louis C","author":"Sako Kazue"},{"key":"e_1_3_2_2_103_1","volume-title":"CRYPTO'89 (LNCS )","author":"Schnorr Claus-Peter"}],"event":{"name":"CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security","location":"Virtual Event USA","acronym":"CCS '20","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3417228","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372297.3417228","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:25Z","timestamp":1750199605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3417228"}},"subtitle":["Obtaining Simulation Extractable Subversion and Updatable SNARKs Generically"],"short-title":[],"issued":{"date-parts":[[2020,10,30]]},"references-count":92,"alternative-id":["10.1145\/3372297.3417228","10.1145\/3372297"],"URL":"https:\/\/doi.org\/10.1145\/3372297.3417228","relation":{},"subject":[],"published":{"date-parts":[[2020,10,30]]},"assertion":[{"value":"2020-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}