{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T15:19:18Z","timestamp":1783091958476,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":75,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,19]],"date-time":"2023-11-19T00:00:00Z","timestamp":1700352000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Swiss National Science Foundation","award":["Ambizione Grant No. 186050"],"award-info":[{"award-number":["Ambizione Grant No. 186050"]}]},{"DOI":"10.13039\/501100006374","name":"Meta","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,19]]},"DOI":"10.1145\/3689945.3694806","type":"proceedings-article","created":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T18:23:11Z","timestamp":1732040591000},"page":"11-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["vFHE: Verifiable Fully Homomorphic Encryption"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4645-7295","authenticated-orcid":false,"given":"Christian","family":"Knabenhans","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5452-1432","authenticated-orcid":false,"given":"Alexander","family":"Viand","sequence":"additional","affiliation":[{"name":"Intel Labs, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3766-2476","authenticated-orcid":false,"given":"Antonio","family":"Merino-Gallardo","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5603-1031","authenticated-orcid":false,"given":"Anwar","family":"Hithnawi","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,11,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2196\/26371"},{"key":"e_1_3_2_1_2_1","unstructured":"Apple Inc. 2024. Announcing Swift Homomorphic Encryption. https:\/\/swift.org\/blog\/announcing-swift-homomorphic-encryption\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Apple Inc. 2024. Getting up-to-date calling and blocking information for your app. https:\/\/developer.apple.com\/documentation\/sms_and_call_reporting\/getting_up-to-date_calling_and_blocking_information_for_your_app."},{"key":"e_1_3_2_1_4_1","volume-title":"transparent, and post-quantum secure computational integrity. Cryptology ePrint Archive","author":"Ben-Sasson Eli","year":"2018","unstructured":"Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, and Michael Riabzev. 2018. Scalable, transparent, and post-quantum secure computational integrity. Cryptology ePrint Archive (2018). https:\/\/eprint.iacr.org\/2018\/046.pdf"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-030--75248--4_19"},{"key":"e_1_3_2_1_6_1","unstructured":"Emiliano Bonassi. 2024. GitHub - emilianobonassi\/zkFHE: Verifiable and confidential computation based on ZKP and FHE powered by risc0 zkVM. -- github.com. https:\/\/github.com\/emilianobonassi\/zkFHE [Accessed 2024-07--26]."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/S009753970544713X"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--22792--9_29"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3560810.3565290"},{"key":"e_1_3_2_1_10_1","volume-title":"Zero-knowledge proof of decryption for FHE ciphertexts. IACR Cryptol eprint Arch","author":"Carr Christopher","year":"2018","unstructured":"Christopher Carr, Anamaria Costache, Gareth T Davies, Kristian Gj\u00f8steen, and Martin Strand. 2018. Zero-knowledge proof of decryption for FHE ciphertexts. IACR Cryptol eprint Arch, Vol. 2018 (2018), 26. https:\/\/eprint.iacr.org\/2018\/026"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--38348--9_21"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3670282"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623139"},{"key":"e_1_3_2_1_14_1","volume-title":"A Practical Full Key Recovery Attack on TFHE and FHEW by Inducing Decryption Errors. Cryptology ePrint Archive","author":"Chaturvedi Bhuvnesh","year":"2022","unstructured":"Bhuvnesh Chaturvedi, Anirban Chakraborty, Ayantika Chatterjee, and Debdeep Mukhopadhyay. 2022. A Practical Full Key Recovery Attack on TFHE and FHEW by Inducing Decryption Errors. Cryptology ePrint Archive (2022). https:\/\/eprint.iacr.org\/2022\/1563"},{"key":"e_1_3_2_1_15_1","volume-title":"Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"Tsai Chia","year":"2017","unstructured":"Chia che Tsai, Donald E. Porter, and Mona Vij. 2017. Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). USENIX Association, Santa Clara, CA, 645--658. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/tsai"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243836"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--16295--9_13"},{"key":"e_1_3_2_1_18_1","unstructured":"Jung Hee Cheon Hyeongmin Choe Alain Passel\u00e8gue Damien Stehl\u00e9 and Elias Suvanto. 2024. Attacks Against the INDCPA-D Security of Exact FHE Schemes. Cryptology ePrint Archive Paper 2024\/127. https:\/\/eprint.iacr.org\/2024\/127"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--70694--8_15"},{"key":"e_1_3_2_1_20_1","volume-title":"Attacking FHE-based applications by software fault injections. Cryptology ePrint Archive","author":"Chillotti Ilaria","year":"2016","unstructured":"Ilaria Chillotti, Nicolas Gama, and Louis Goubin. 2016. Attacking FHE-based applications by software fault injections. Cryptology ePrint Archive (2016). https:\/\/eprint.iacr.org\/2016\/1164"},{"key":"e_1_3_2_1_21_1","unstructured":"Microsoft SEAL Contributors. 2022. Microsoft SEAL (release 4.0). https:\/\/github.com\/Microsoft\/SEAL. https:\/\/github.com\/Microsoft\/SEAL"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-031--53368--6_16"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-030--59013-0_27"},{"key":"e_1_3_2_1_24_1","unstructured":"David Bruce Cousins Yuriy Polyakov Ahmad Al Badawi Matthew French Andrew Schmidt Ajey Jacob Benedict Reynwar Kellie Canida Akhilesh Jaiswal Clynn Mathew Homer Gamil Negar Neda Deepraj Soni Michail Maniatakos Brandon Reagen Naifeng Zhang Franz Franchetti Patrick Brinich Jeremy Johnson Patrick Broderick Mike Franusich Bo Zhang Zeming Cheng and Massoud Pedram. 2023. TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation. (April 2023). arxiv: 2304.05237 [cs.CR] http:\/\/arxiv.org\/abs\/2304.05237"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-030--17253--4_12"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.2020EAL2039"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10623-017-0417--6"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1561\/3300000019"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.3390\/cryptography6010013"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3456631"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660366"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-030--45388--6_5"},{"key":"e_1_3_2_1_33_1","unstructured":"Antonio Merino Gallardo and Christian Knabenhans. 2023. circomlib-FHE. https:\/\/github.com\/zkFHE\/circomlib-fhe"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-023-09481--3"},{"key":"e_1_3_2_1_35_1","volume-title":"Hilder V L Pereira, Brian Huffman, Tynan McAuley, Ben Selfridge, Daniel Wagner, Georgios Dimou, Ingrid Verbauwhede, Frederik Vercauteren, and David W Archer.","author":"Geelen Robin","year":"2022","unstructured":"Robin Geelen, Michiel Van Beirendonck, Hilder V L Pereira, Brian Huffman, Tynan McAuley, Ben Selfridge, Daniel Wagner, Georgios Dimou, Ingrid Verbauwhede, Frederik Vercauteren, and David W Archer. 2022. BASALISC: Programmable asynchronous hardware accelerator for BGV fully Homomorphic Encryption. (May 2022). arxiv: 2205.14017 [cs.CR] http:\/\/arxiv.org\/abs\/2205.14017"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--14623--7_25"},{"key":"e_1_3_2_1_37_1","unstructured":"Rosario Gennaro Michele Minelli Anca Nitulescu and Michele Orr\u00f9. [n. d.]. Lattice-Based zk-SNARKs from Square Span Programs. Technical Report."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--42045-0_16"},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of The 33rd International Conference on Machine Learning (Proceedings of Machine Learning Research","volume":"210","author":"Gilad-Bachrach Ran","year":"2016","unstructured":"Ran Gilad-Bachrach, Nathan Dowlin, Kim Laine, Kristin Lauter, Michael Naehrig, and John Wernsing. 2016. CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy. In Proceedings of The 33rd International Conference on Machine Learning (Proceedings of Machine Learning Research, Vol. 48), Maria Florina Balcan and Kilian Q Weinberger (Eds.). PMLR, New York, New York, USA, 201--210. https:\/\/proceedings.mlr.press\/v48\/gilad-bachrach16.html"},{"key":"e_1_3_2_1_40_1","volume-title":"Yurii Sushko, and Bryant Gipson.","author":"Gorantala Shruthi","year":"2021","unstructured":"Shruthi Gorantala, Rob Springer, Sean Purser-Haskell, William Lam, Royce Wilson, Asra Ali, Eric P Astor, Itai Zukerman, Sam Ruth, Christoph Dibak, Phillipp Schoppmann, Sasha Kulankhina, Alain Forget, David Marn, Cameron Tew, Rafael Misoczki, Bernat Guillen, Xinyu Ye, Dennis Kraft, Damien Desfontaines, Aishe Krishnamurthy, Miguel Guevara, Irippuge Milinda Perera, Yurii Sushko, and Bryant Gipson. 2021. A general purpose transpiler for fully homomorphic encryption. (June 2021). arxiv: 2106.07893 [cs.CR] https:\/\/research.google\/pubs\/pub50428\/"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--662--49896--5_11"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1186\/s12864-022-08469-w"},{"key":"e_1_3_2_1_43_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Juvekar Chiraag","year":"2018","unstructured":"Chiraag Juvekar, Vinod Vaikuntanathan, and Anantha Chandrakasan. 2018. $$GAZELLE$$: A low latency framework for secure neural network inference. In 27th USENIX Security Symposium (USENIX Security 18). 1651--1669. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/juvekar"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--78372--7_6"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-030--92078--4_21"},{"key":"e_1_3_2_1_46_1","unstructured":"Christian Knabenhans. 2023. ringSNARK. https:\/\/github.com\/zkFHE\/ringSNARK"},{"key":"e_1_3_2_1_47_1","unstructured":"Christian Knabenhans. 2024. zkOpenFHE. https:\/\/github.com\/zkFHE\/zkOpenFHE"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Christian Knabenhans Alexander Viand Antonio Merino-Gallardo and Anwar Hithnawi. 2023. vFHE: Verifiable Fully Homomorphic Encryption. https:\/\/arxiv.org\/abs\/2301.07041. https:\/\/arxiv.org\/abs\/2301.07041 Extended version.","DOI":"10.1145\/3689945.3694806"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--662--49384--7_4"},{"key":"e_1_3_2_1_50_1","volume-title":"Password Monitor: Safeguarding passwords in Microsoft Edge. https:\/\/www.microsoft.com\/en-us\/research\/blog\/password-monitor-safeguarding-passwords-in-microsoft-edge\/","author":"Lauter Kristin","year":"2021","unstructured":"Kristin Lauter, Sreekanth Kannepalli, Kim Laine, and Radames Cruz Moreno. 2021. Password Monitor: Safeguarding passwords in Microsoft Edge. https:\/\/www.microsoft.com\/en-us\/research\/blog\/password-monitor-safeguarding-passwords-in-microsoft-edge\/"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-030--77870--5_23"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--94289--6_7"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--47422--9_22"},{"key":"e_1_3_2_1_54_1","unstructured":"Benoit Libert. 2023. Vector Commitments With Proofs of Smallness: Short Range Proofs and More. Cryptology ePrint Archive Paper 2023\/800. https:\/\/eprint.iacr.org\/2023\/800"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--28496-0_4"},{"key":"e_1_3_2_1_56_1","volume-title":"Security: 21st International Conference, ISC 2018","author":"Luo F","year":"2018","unstructured":"F Luo and K Wang. 2018. Verifiable decryption for fully homomorphic encryption. Security: 21st International Conference, ISC 2018 (2018). https:\/\/link.springer.com\/chapter\/10.1007\/978--3--319--99136--8_19"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--13190--5_1"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00057"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/100216.100273"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","unstructured":"D. Natarajan A. Loveless W. Dai and R. Dreslinski. 2023. CHEX-MIX: Combining Homomorphic Encryption with Trusted Execution Environments for Oblivious Inference in the Cloud. (jul 2023) 73--91. https:\/\/doi.org\/10.1109\/EuroSP57164.2023.00014","DOI":"10.1109\/EuroSP57164.2023.00014"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.00198"},{"key":"e_1_3_2_1_62_1","volume-title":"Pegah Nikbakht Bideh, and Joakim Brorsson","author":"Nilsson Alexander","year":"2020","unstructured":"Alexander Nilsson, Pegah Nikbakht Bideh, and Joakim Brorsson. 2020. A Survey of Published Attacks on Intel SGX. (June 2020). arxiv: 2006.13598 [cs.CR] http:\/\/arxiv.org\/abs\/2006.13598"},{"key":"e_1_3_2_1_63_1","unstructured":"openenclave contributors. 2022. openenclave: SDK for developing enclaves. https:\/\/github.com\/openenclave\/openenclave Accessed: 2024-07--26."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1568318.1568324"},{"key":"e_1_3_2_1_65_1","unstructured":"Tom Rondeau. 2020. Data protection in virtual environments (DPRIVE). https:\/\/www.darpa.mil\/program\/data-protection-in-virtual-environments"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480070"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527393"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-031-09234--3_1"},{"key":"e_1_3_2_1_69_1","volume-title":"HECO: Fully Homomorphic Encryption Compiler. In 32nd USENIX Security Symposium (USENIX Security 23)","author":"Viand Alexander","year":"2023","unstructured":"Alexander Viand, Patrick Jattke, Miro Haller, and Anwar Hithnawi. 2023. HECO: Fully Homomorphic Encryption Compiler. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 4715--4732. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/presentation\/viand"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00068"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-018-0013-8"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-018-0013--8"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1186\/s12920-018-0396-0"},{"key":"e_1_3_2_1_74_1","volume-title":"Concrete: TFHE Compiler that converts python programs into FHE equivalent.","year":"2022","unstructured":"Zama. 2022. Concrete: TFHE Compiler that converts python programs into FHE equivalent."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--31912--9_28"}],"event":{"name":"CCS '24: ACM SIGSAC Conference on Computer and Communications Security","location":"Salt Lake City UT USA","acronym":"CCS '24","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 12th Workshop on Encrypted Computing & Applied Homomorphic Cryptography"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689945.3694806","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689945.3694806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T18:43:29Z","timestamp":1755974609000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689945.3694806"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,19]]},"references-count":75,"alternative-id":["10.1145\/3689945.3694806","10.1145\/3689945"],"URL":"https:\/\/doi.org\/10.1145\/3689945.3694806","relation":{},"subject":[],"published":{"date-parts":[[2023,11,19]]},"assertion":[{"value":"2024-11-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}