{"id":"https://openalex.org/W4285183975","doi":"https://doi.org/10.1109/access.2022.3177841","title":"Datalog Static Analysis in Secrecy","display_name":"Datalog Static Analysis in Secrecy","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4285183975","doi":"https://doi.org/10.1109/access.2022.3177841"},"language":"en","primary_location":{"id":"doi:10.1109/access.2022.3177841","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3177841","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09781390.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09781390.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092304034","display_name":"Mojgan Kouhounestani","orcid":"https://orcid.org/0000-0001-7935-6410"},"institutions":[{"id":"https://openalex.org/I4575257","display_name":"Hanyang University","ror":"https://ror.org/046865y68","country_code":"KR","type":"education","lineage":["https://openalex.org/I4575257"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Mojgan Kouhounestani","raw_affiliation_strings":["Department of Computer Science and Engineering, Major in Bio Artificial Intelligence, Hanyang University, Ansan, South Korea","Department of Computer Science &#x0026"],"raw_orcid":"https://orcid.org/0000-0001-7935-6410","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Major in Bio Artificial Intelligence, Hanyang University, Ansan, South Korea","institution_ids":["https://openalex.org/I4575257"]},{"raw_affiliation_string":"Department of Computer Science &#x0026","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076120088","display_name":"Woosuk Lee","orcid":"https://orcid.org/0000-0002-1884-619X"},"institutions":[{"id":"https://openalex.org/I4575257","display_name":"Hanyang University","ror":"https://ror.org/046865y68","country_code":"KR","type":"education","lineage":["https://openalex.org/I4575257"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Woosuk Lee","raw_affiliation_strings":["Department of Computer Science and Engineering, Major in Bio Artificial Intelligence, Hanyang University, Ansan, South Korea","Department of Computer Science &#x0026"],"raw_orcid":"https://orcid.org/0000-0002-1884-619X","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Major in Bio Artificial Intelligence, Hanyang University, Ansan, South Korea","institution_ids":["https://openalex.org/I4575257"]},{"raw_affiliation_string":"Department of Computer Science &#x0026","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5092304034"],"corresponding_institution_ids":["https://openalex.org/I4575257"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.1389,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53662036,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"10","issue":null,"first_page":"56179","last_page":"56192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8521033525466919},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.729546308517456},{"id":"https://openalex.org/keywords/secrecy","display_name":"Secrecy","score":0.6342438459396362},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.5992989540100098},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5682386755943298},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5320751667022705},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5270383954048157},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.4584152400493622},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.45841193199157715},{"id":"https://openalex.org/keywords/forward-secrecy","display_name":"Forward secrecy","score":0.42996734380722046},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.4233865737915039},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.41109126806259155},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3440673351287842},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.30950433015823364},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.29489728808403015},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2901484966278076},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.2499053180217743}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8521033525466919},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.729546308517456},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.6342438459396362},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.5992989540100098},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5682386755943298},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5320751667022705},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5270383954048157},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.4584152400493622},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.45841193199157715},{"id":"https://openalex.org/C205009425","wikidata":"https://www.wikidata.org/wiki/Q935662","display_name":"Forward secrecy","level":4,"score":0.42996734380722046},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.4233865737915039},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.41109126806259155},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3440673351287842},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.30950433015823364},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.29489728808403015},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2901484966278076},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.2499053180217743},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2022.3177841","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3177841","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09781390.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:e8a8c36a4fb1483080b0818ac8a2e77e","is_oa":true,"landing_page_url":"https://doaj.org/article/e8a8c36a4fb1483080b0818ac8a2e77e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 10, Pp 56179-56192 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2022.3177841","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3177841","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09781390.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1944660266","display_name":null,"funder_award_id":"HY-2020","funder_id":"https://openalex.org/F4320321142","funder_display_name":"Hanyang University"},{"id":"https://openalex.org/G4405994442","display_name":null,"funder_award_id":"HY-2020-2474","funder_id":"https://openalex.org/F4320321142","funder_display_name":"Hanyang University"},{"id":"https://openalex.org/G4447486136","display_name":null,"funder_award_id":"2021R1A5A1021944","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G4612562041","display_name":null,"funder_award_id":"NRF-2021R1A5A1021944","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G507025170","display_name":null,"funder_award_id":"NRF-2021R1A5A1021944","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"},{"id":"https://openalex.org/G5494166020","display_name":null,"funder_award_id":"2020R1C1C1014518","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G6757325407","display_name":null,"funder_award_id":"2021-0-00758","funder_id":"https://openalex.org/F4320335489","funder_display_name":"Institute for Information and Communications Technology Promotion"},{"id":"https://openalex.org/G7369723383","display_name":null,"funder_award_id":"2021R1A5A1021944","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"},{"id":"https://openalex.org/G8066180069","display_name":null,"funder_award_id":"2021-0-00758","funder_id":"https://openalex.org/F4320322030","funder_display_name":"Ministry of Science, ICT and Future Planning"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320321142","display_name":"Hanyang University","ror":"https://ror.org/046865y68"},{"id":"https://openalex.org/F4320322030","display_name":"Ministry of Science, ICT and Future Planning","ror":"https://ror.org/032e49973"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"},{"id":"https://openalex.org/F4320335489","display_name":"Institute for Information and Communications Technology Promotion","ror":"https://ror.org/01g0hqq23"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4285183975.pdf","grobid_xml":"https://content.openalex.org/works/W4285183975.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W36213310","https://openalex.org/W236632755","https://openalex.org/W1623873962","https://openalex.org/W1759272806","https://openalex.org/W1966731635","https://openalex.org/W1979576691","https://openalex.org/W2031533839","https://openalex.org/W2046185165","https://openalex.org/W2127723417","https://openalex.org/W2137726309","https://openalex.org/W2144862055","https://openalex.org/W2152926062","https://openalex.org/W2156030242","https://openalex.org/W2163521620","https://openalex.org/W2167094273","https://openalex.org/W2284068942","https://openalex.org/W2493901872","https://openalex.org/W2614081991","https://openalex.org/W2701059868","https://openalex.org/W2765200655","https://openalex.org/W2768174108","https://openalex.org/W2889746123","https://openalex.org/W2899376621","https://openalex.org/W2955401130","https://openalex.org/W2963275055","https://openalex.org/W2972497427","https://openalex.org/W3005050519","https://openalex.org/W3033581399","https://openalex.org/W3095317724","https://openalex.org/W3127290142","https://openalex.org/W4239120913","https://openalex.org/W4301029035","https://openalex.org/W6631261549","https://openalex.org/W6748082217"],"related_works":["https://openalex.org/W2299299451","https://openalex.org/W1556233488","https://openalex.org/W3174779340","https://openalex.org/W4389158507","https://openalex.org/W4251521700","https://openalex.org/W4398186480","https://openalex.org/W2050680750","https://openalex.org/W1502289629","https://openalex.org/W2079146453","https://openalex.org/W2521930763"],"abstract_inverted_index":{"We":[0,137],"present":[1],"a":[2,8,33,68,78],"secure":[3,46,87],"static-analysis-as-a-service":[4],"(SaaaS)":[5],"system":[6,140],"where":[7],"client":[9,113],"may":[10],"outsource":[11],"static":[12,55,71,143],"analysis":[13,56,104,162],"to":[14,27,39,45,90,111,134,177],"the":[15,29,40,47,50,60,64,92,109,112,116,123,135,155],"cloud.":[16,41],"To":[17],"address":[18],"copyright":[19],"concerns":[20],"associated":[21],"with":[22,86],"SaaaS,":[23],"clients":[24],"are":[25,106],"allowed":[26],"encrypt":[28],"source":[30,61],"code":[31,62],"of":[32,49,54,63,70,95,103,118,125,168],"target":[34,65],"program":[35],"and":[36,52,129],"upload":[37],"it":[38],"Our":[42],"goal":[43],"is":[44,131,163],"privacy":[48],"design":[51,117],"implementation":[53],"as":[57,59],"well":[58],"program.":[66],"Considering":[67],"family":[69],"analyses":[72,144],"written":[73],"in":[74,108,145,147,165],"Datalog,":[75],"we":[76],"propose":[77],"generic":[79],"protocol":[80],"that":[81],"combines":[82],"homomorphic":[83],"encryption":[84],"(HE)":[85],"two-party":[88],"computation":[89],"manage":[91],"huge":[93],"cost":[94],"HE":[96],"operations.":[97],"The":[98],"server":[99],"occasionally":[100],"delegates":[101],"sub-parts":[102],"which":[105,149],"costly":[107],"cipher-world":[110],"without":[114],"exposing":[115],"analysis.":[119],"During":[120],"server-client":[121],"interactions,":[122],"information":[124],"both":[126],"sides":[127],"(client":[128],"server)":[130],"not":[132,151],"leaked":[133],"opposite.":[136],"evaluated":[138],"our":[139],"on":[141],"two":[142],"Datalog":[146],"secrecy,":[148],"have":[150],"been":[152],"feasible":[153],"using":[154],"previous":[156],"techniques.":[157],"For":[158],"example,":[159],"Andersen":[160],"pointer":[161],"completed":[164],"an":[166],"average":[167],"45":[169],"mins":[170],"for":[171],"14":[172],"C":[173],"programs":[174],"comprising":[175],"up":[176],"1.6":[178],"KLoC.":[179]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}