{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T12:42:30Z","timestamp":1763037750235,"version":"3.37.3"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003725","name":"Korea Government [Ministry of Science and ICT (MSIT)]","doi-asserted-by":"publisher","award":["2020R1C1C1014518","NRF-2021R1A5A1021944"],"award-info":[{"award-number":["2020R1C1C1014518","NRF-2021R1A5A1021944"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010418","name":"Institute for Information & Communications Technology Promotion","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100010418","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003621","name":"Korea Government","doi-asserted-by":"publisher","award":["2021-0-00758"],"award-info":[{"award-number":["2021-0-00758"]}],"id":[{"id":"10.13039\/501100003621","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002380","name":"Research Fund of Hanyang University","doi-asserted-by":"publisher","award":["HY-2020-2474"],"award-info":[{"award-number":["HY-2020-2474"]}],"id":[{"id":"10.13039\/501100002380","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3177841","type":"journal-article","created":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T19:37:19Z","timestamp":1653507439000},"page":"56179-56192","source":"Crossref","is-referenced-by-count":1,"title":["Datalog Static Analysis in Secrecy"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7935-6410","authenticated-orcid":false,"given":"Mojgan","family":"Kouhounestani","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Major in Bio Artificial Intelligence, Hanyang University, Ansan, South Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1884-619X","authenticated-orcid":false,"given":"Woosuk","family":"Lee","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Major in Bio Artificial Intelligence, Hanyang University, Ansan, South Korea"}]}],"member":"263","reference":[{"volume-title":"Sparrow Cloud","year":"2022","key":"ref1"},{"volume-title":"DeepScan","year":"2022","key":"ref2"},{"volume-title":"Coverity Scan","year":"2022","key":"ref3"},{"volume-title":"Sonar Cloud","year":"2022","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48288-9_2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813642"},{"key":"ref7","first-page":"637","article-title":"Revolver: An automated approach to the detection of evasive web-based malware","volume-title":"Proc. 22nd USENIX Secur. Symp. (USENIX Security)","author":"Kapravelos"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1536414.1536440"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314628"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23119"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48051-9_15"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38980-1_7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908096"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_14"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553576"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635869"},{"volume-title":"Petablox","year":"2022","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13190-5_2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44670-2_6"},{"key":"ref21","volume-title":"Foundations of Cryptography: Basic Applications","volume":"2","author":"Oded","year":"2009"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1561\/9781601987532"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70694-8_15"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090262"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44371-2_31"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10623-012-9720-4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068417000023"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3056476"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236034"},{"volume-title":"HElib","year":"2022","key":"ref30"},{"volume-title":"Sparrow","year":"2022","key":"ref31"},{"volume-title":"The Petablox Benchmark","year":"2022","key":"ref32"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029911"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385996"},{"key":"ref35","first-page":"1651","article-title":"GAZELLE: A low latency framework for secure neural network inference","volume-title":"Proc. 27th USENIX Secur. Symp. (USENIX Security)","author":"Juvekar"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.12"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134056"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516751"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23822-2_11"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.2478\/popets-2020-0002"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243837"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1080\/19393555.2020.1836288"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00034-4"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09781390.pdf?arnumber=9781390","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T02:16:57Z","timestamp":1706062617000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9781390\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3177841","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2022]]}}}