{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T12:14:41Z","timestamp":1765196081145,"version":"3.46.0"},"publisher-location":"Singapore","reference-count":31,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819551217","type":"print"},{"value":"9789819551224","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-981-95-5122-4_12","type":"book-chapter","created":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T12:10:27Z","timestamp":1765195827000},"page":"366-397","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Cryptanalysis on\u00a0Lightweight Verifiable Homomorphic Encryption"],"prefix":"10.1007","author":[{"given":"Jung Hee","family":"Cheon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daehyun","family":"Jang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,12,8]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Atapoor, S., Baghery, K., Pereira, H.V.L., Spiessens, J.: Verifiable FHE via lattice-based SNARKs. IACR Commun. Cryptology 1(1) (2024)","DOI":"10.62056\/a6ksdkp10"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Aranha, D.F., Costache, A., Guimar\u00e3es, A., Soria-Vazquez, E.: HELIOPOLIS: verifiable computation over homomorphically encrypted data from interactive oracle proofs is practical. In: Advances in Cryptology \u2013 ASIACRYPT 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9\u201313, 2024, Proceedings. Part V, pp. 302\u2013334, Berlin, Heidelberg (2024). Springer-Verlag","DOI":"10.1007\/978-981-96-0935-2_10"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Albrecht, M.R., Davidson, A., Deo, A., Gardham, D.: Crypto dark matter on the torus: oblivious PRFs from shallow PRFs and TFHE. In: Advances in Cryptology \u2013 EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26\u201330, 2024, Proceedings, Part VI, pp. 447\u2013476, Berlin, Heidelberg (2024). Springer-Verlag","DOI":"10.1007\/978-3-031-58751-1_16"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Aumann, Y., Lindell, Y.: Security against covert adversaries: efficient protocols for realistic adversaries. In: Proceedings of the 4th Conference on Theory of Cryptography, TCC\u201907, pp. 137\u2013156, Berlin, Heidelberg (2007). Springer-Verlag","DOI":"10.1007\/978-3-540-70936-7_8"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bois, A., Cascudo, I., Fiore, D., Kim, D.: Flexible and efficient verifiable computation on encrypted data. In: Public-Key Cryptography \u2013 PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10\u201313, 2021, Proceedings, Part II, pp. 528\u2013558, Berlin, Heidelberg (2021). Springer-Verlag","DOI":"10.1007\/978-3-030-75248-4_19"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Brakerski, Z., Gentry, C., Vaikuntanathan, V.: (leveled) fully homomorphic encryption without bootstrapping. In: Proceedings of the 3rd Innovations in Theoretical Computer Science Conference, ITCS \u201912, pp. 309\u2013325, New York, NY, USA (2012). Association for Computing Machinery","DOI":"10.1145\/2090236.2090262"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Brakerski, Z.: Fully homomorphic encryption without modulus switching from classical GapSVP. In: Safavi-Naini, R., Canetti, R. (eds.) Advances in Cryptology \u2013 CRYPTO 2012, pp. 868\u2013886, Berlin, Heidelberg (2012). Springer Berlin Heidelberg","DOI":"10.1007\/978-3-642-32009-5_50"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Carnemolla, D., Catalano, D., Raimondo, M.D., Savasta, F.: Implementation and performance analysis of homomorphic signature schemes. Cryptology ePrint Archive, Paper 2024\/655 (2024)","DOI":"10.21203\/rs.3.rs-4793409\/v1"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Catalano, D., Fiore, D.: Practical homomorphic macs for arithmetic circuits. In: Johansson, T., Nguyen, P.Q. (eds.) Advances in Cryptology \u2013 EUROCRYPT 2013, pp. 336\u2013352, Berlin, Heidelberg (2013). Springer Berlin Heidelberg","DOI":"10.1007\/978-3-642-38348-9_21"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/s00145-019-09319-x","volume":"33","author":"I Chillotti","year":"2020","unstructured":"Chillotti, I., Gama, N., Georgieva, M., Izabach\u00e8ne, M.: TFHE: fast fully homomorphic encryption over the torus. J. Cryptol. 33(1), 34\u201391 (2020)","journal-title":"J. Cryptol."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Chen, H., Han, K.: Homomorphic lower digits removal and improved FHE bootstrapping. In: Nielsen, J.B., Rijmen, V. (eds.) Advances in Cryptology \u2013 EUROCRYPT 2018, pp. 315\u2013337, Cham (2018). Springer International Publishing","DOI":"10.1007\/978-3-319-78381-9_12"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Chen, H., Huang, Z., Laine, K., Rindal, P.: Labeled psi from fully homomorphic encryption with malicious security. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS \u201918, pp. 1223\u20131237, New York, NY, USA (2018). Association for Computing Machinery","DOI":"10.1145\/3243734.3243836"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Cheon, J.H., Kim, A., Kim, M., Song, Y.: Homomorphic encryption for arithmetic of approximate numbers. In: Takagi, T., Peyrin, T. (eds.) Advances in Cryptology \u2013 ASIACRYPT 2017, pp. 409\u2013437. Cham (2017). Springer International Publishing","DOI":"10.1007\/978-3-319-70694-8_15"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Chatel, S., Knabenhans, C., Pyrgelis, A., Troncoso, C., Hubaux, J.-P.: VERITAS: plaintext encoders for practical verifiable homomorphic encryption. CCS \u201924, New York, NY, USA (2024). Association for Computing Machinery","DOI":"10.1145\/3658644.3670282"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Damg\u00e5rd, I.B.: On the randomness of Legendre and Jacobi sequences. In: Goldwasser, S. (ed.) Advances in Cryptology \u2014 CRYPTO\u2019 88, pp. 163\u2013172, New York, NY (1990). Springer New York","DOI":"10.1007\/0-387-34799-2_13"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Fiore, D., Gennaro, R., Pastro, V.: Efficiently verifiable computation on encrypted data. In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, CCS \u201914, pp. 844\u2013855, New York, NY, USA (2014). Association for Computing Machinery","DOI":"10.1145\/2660267.2660366"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Fiore, D., Nitulescu, A., Pointcheval, D.: Boosting verifiable computation on encrypted data. In: Kiayias, A., Kohlweiss, M., Wallden, P., Zikas, V. (eds.) Public-Key Cryptography \u2013 PKC 2020, pp. 124\u2013154. Cham (2020). Springer International Publishing","DOI":"10.1007\/978-3-030-45388-6_5"},{"key":"12_CR18","unstructured":"Fan, J., Vercauteren, F.: Somewhat practical fully homomorphic encryption. Cryptology ePrint Archive, Paper 2012\/144 (2012). https:\/\/eprint.iacr.org\/2012\/144"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Gama, M., Beni, E.H., Kang, J., Spiessens, J., Vercauteren, F.: Blind zkSNARKs for private proof delegation and verifiable computation over encrypted data. Cryptology ePrint Archive, Paper 2024\/1684 (2024)","DOI":"10.62056\/akgyl8n4e"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Gentry, C.: Fully homomorphic encryption using ideal lattices. In: Proceedings of the Forty-First Annual ACM Symposium on Theory of Computing, STOC \u201909, pp. 169\u2013178, New York, NY, USA (2009). Association for Computing Machinery","DOI":"10.1145\/1536414.1536440"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Gennaro, R., Gentry, C., Parno, B.: Non-interactive verifiable computing: outsourcing computation to untrusted workers. In: Rabin, T. (ed.) Advances in Cryptology \u2013 CRYPTO 2010, pp. 465\u2013482, Berlin, Heidelberg (2010). Springer Berlin Heidelberg","DOI":"10.1007\/978-3-642-14623-7_25"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Garg, S., Goel, A., Wang, M.: How to prove statements obliviously? In: Advances in Cryptology \u2013 CRYPTO 2024: 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18\u201322, 2024, Proceedings, Part X, pp. 449\u2013487, Berlin, Heidelberg (2024). Springer-Verlag","DOI":"10.1007\/978-3-031-68403-6_14"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Ganesh, C., Nitulescu, A., Soria-Vazquez, E.: Rinocchio: snarks for ring arithmetic. J. Cryptology 36 (2023)","DOI":"10.1007\/s00145-023-09481-3"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Geelen, R., Vercauteren, F.: Bootstrapping for BGV and BFV revisited. J. Cryptol. 36(2) (2023)","DOI":"10.1007\/s00145-023-09454-6"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Gennaro, R., Wichs, D.: Fully homomorphic message authenticators. In: Sako, K., Sarkar, P. (eds.) Advances in Cryptology - ASIACRYPT 2013, pp. 301\u2013320, Berlin, Heidelberg (2013). Springer Berlin Heidelberg","DOI":"10.1007\/978-3-642-42045-0_16"},{"issue":"4","key":"12_CR26","doi-asserted-by":"publisher","first-page":"661","DOI":"10.46586\/tches.v2022.i4.661-692","volume":"2022","author":"M Joye","year":"2022","unstructured":"Joye, M.: Guide to fully homomorphic encryption over the [discretized] torus. IACR Trans. Cryptographic Hardware Embedded Syst. 2022(4), 661\u2013692 (2022)","journal-title":"IACR Trans. Cryptographic Hardware Embedded Syst."},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Kim, A., Polyakov, Y., Zucca, V.: Revisiting homomorphic encryption schemes for finite fields. In: Tibouchi, M., Wang, H. (eds.) Advances in Cryptology \u2013 ASIACRYPT 2021, pp. 608\u2013639. Cham (2021). Springer International Publishing","DOI":"10.1007\/978-3-030-92078-4_21"},{"key":"12_CR28","unstructured":"Liang, J., Hu, D., Wu, P., Yang, Y., Shen, Q., Wu, Z.: SoK: Understanding zk-SNARKs: The gap between research and practice. Cryptology ePrint Archive, Paper 2025\/172 (2025)"},{"key":"12_CR29","unstructured":"Mouchet, C.V., Bossuat, J.-P., Troncoso-Pastoriza, J.R., Hubaux, J.-P.: Lattigo: A multiparty homomorphic encryption library in go, pp. 64\u201370 (2020)"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Santriaji, M.H., Xue, J., Lou, Q., Solihin, Y.: DataSeal: Ensuring the verifiability of private computation on encrypted data. CoRR, abs\/2410.15215 (2024)","DOI":"10.1109\/SP61157.2025.00078"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Viand, A., Knabenhans, C., Hithnawi, A.: Verifiable fully homomorphic encryption (2023)","DOI":"10.1145\/3689945.3694806"}],"container-title":["Lecture Notes in Computer Science","Advances in Cryptology \u2013 ASIACRYPT 2025"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-5122-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T12:10:34Z","timestamp":1765195834000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-5122-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,8]]},"ISBN":["9789819551217","9789819551224"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-5122-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,8]]},"assertion":[{"value":"8 December 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ASIACRYPT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the Theory and Application of Cryptology and Information Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Melbourne, VIC","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"asiacrypt2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/asiacrypt.iacr.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}