{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T21:27:02Z","timestamp":1771018022925,"version":"3.50.1"},"reference-count":58,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172025"],"award-info":[{"award-number":["62172025"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202028"],"award-info":[{"award-number":["62202028"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["624B2016"],"award-info":[{"award-number":["624B2016"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["T2425023"],"award-info":[{"award-number":["T2425023"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U2241213"],"award-info":[{"award-number":["U2241213"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2023YFB3106200"],"award-info":[{"award-number":["2023YFB3106200"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/tifs.2026.3657090","type":"journal-article","created":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T21:00:16Z","timestamp":1769115616000},"page":"2002-2016","source":"Crossref","is-referenced-by-count":0,"title":["SALUS: Large-Scale Homomorphic Circuit Synthesis via Logic-Aware LUT Optimization"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-3925-9607","authenticated-orcid":false,"given":"Ran","family":"Mao","sequence":"first","affiliation":[{"name":"School of Cyber Science and Technology, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhou","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Cyber Science and Technology, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zian","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Cyber Science and Technology, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3959-338X","authenticated-orcid":false,"given":"Zhenyu","family":"Guan","sequence":"additional","affiliation":[{"name":"School of Cyber Science and Technology, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Yin","sequence":"additional","affiliation":[{"name":"Woodpecker Innovation Center, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0467-6203","authenticated-orcid":false,"given":"Song","family":"Bian","sequence":"additional","affiliation":[{"name":"School of Cyber Science and Technology, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"144","article-title":"Somewhat practical fully homomorphic encryption","volume":"2012","author":"Fan","year":"2012","journal-title":"Cryptol. ePrint Arch."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090262"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70694-8_15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10623-012-9720-4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46800-5_24"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-019-09319-x"},{"key":"ref7","first-page":"4007","article-title":"Virtual secure platform: A five-stage pipeline processor over TFHE","volume-title":"Proc. USENIX Secur. Symp.","author":"Matsuoka"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2025.i2.535-578"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3605759.3625255"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3605759.3625260"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2024.i3.530-573"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3616608"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3670384"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715110"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218579"},{"key":"ref16","first-page":"811","article-title":"A general purpose transpiler for fully homomorphic encryption","volume":"2021","author":"Gorantala","year":"2021","journal-title":"Cryptol. ePrint Arch."},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3474366.3486927"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3357598"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2025.i4.621-643"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP60621.2024.00052"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2024.i3.302-341"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2024.i4.633-656"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3689945.3694803"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2025.3544066"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53887-6_1"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-58723-8_12"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3719027.3744873"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-92078-4_23"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/296399.296425"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.1995.241947"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397290"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.882484"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i4.25524"},{"key":"ref36","first-page":"1","article-title":"eSLIM: Circuit minimization with sat based local improvement","volume-title":"Proc. SAT","author":"Reichl"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2025.3525617"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942145"},{"key":"ref39","first-page":"415","article-title":"HIMap: A heuristic and iterative logic synthesis approach","volume-title":"Proc. 59th ACM\/IEEE Design Autom. Conf.","author":"Li"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456946"},{"key":"ref41","first-page":"1","article-title":"Dual-output LUT merging during FPGA technology mapping","volume-title":"Proc. IEEE\/ACM Int. Conf. Comput. Aided Design (ICCAD)","author":"Wang"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323999"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1999.808607"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_22"},{"key":"ref46","author":"Wolf","year":"2016","journal-title":"Yosys Open Synthesis Suite"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-12612-4_6"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2006.320087"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2024.23067"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/SP61157.2025.00035"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1201\/b17668"},{"key":"ref52","article-title":"CUDD: Cu decision diagram package release 2.3. 0","author":"Somenzi","year":"1998"},{"key":"ref53","volume-title":"TFHE-RS: A Pure Rust Implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data","year":"2022"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1515\/jmc-2015-0016"},{"key":"ref55","article-title":"The EPFL combinational benchmark suite","volume-title":"Proc. IWLS","author":"Amar\u00fa"},{"key":"ref56","first-page":"663","article-title":"A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN","volume-title":"Proc. ISCAS","author":"Brglez"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"ref58","volume-title":"HAL\u2014The Hardware Analyzer","year":"2019"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10206\/11313711\/11361194.pdf?arnumber=11361194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T20:48:44Z","timestamp":1771015724000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11361194\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":58,"URL":"https:\/\/doi.org\/10.1109\/tifs.2026.3657090","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}