Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 이우석 | - |
dc.date.accessioned | 2023-05-11T11:45:49Z | - |
dc.date.available | 2023-05-11T11:45:49Z | - |
dc.date.issued | 2022-05 | - |
dc.identifier.citation | IEEE ACCESS, v. 10, Page. 56179.0-56192.0 | - |
dc.identifier.issn | 2169-3536 | - |
dc.identifier.uri | https://ieeexplore.ieee.org/document/9781390 | en_US |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/179540 | - |
dc.description.abstract | We present a secure static-analysis-as-a-service (SaaaS) system where a client may outsource static analysis to the cloud. To address copyright concerns associated with SaaaS, clients are allowed to encrypt the source code of a target program and upload it to the cloud. Our goal is to secure the privacy of the design and implementation of static analysis as well as the source code of the target program. Considering a family of static analyses written in Datalog, we propose a generic protocol that combines homomorphic encryption (HE) with secure two-party computation to manage the huge cost of HE operations. The server occasionally delegates sub-parts of analysis which are costly in the cipher-world to the client without exposing the design of analysis. During server-client interactions, the information of both sides (client and server) is not leaked to the opposite. We evaluated our system on two static analyses in Datalog in secrecy, which have not been feasible using the previous techniques. For example, Andersen pointer analysis is completed in an average of 45 mins for 14 C programs comprising up to 1.6 KLoC. | - |
dc.description.sponsorship | This work was supported in part by the National Research Foundation of Korea (NRF) funded by the Korea Government [Ministry of Science and ICT (MSIT)] under Grant 2020R1C1C1014518 and Grant NRF-2021R1A5A1021944, in part by the Institute for Information & Communications Technology Promotion (IITP) funded by the Korea Government (MSIT) under Grant 2021-0-00758, and in part by the Research Fund of Hanyang University under Grant HY-2020-2474. | - |
dc.language | en | - |
dc.publisher | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | - |
dc.subject | Static analysis | - |
dc.subject | Servers | - |
dc.subject | Protocols | - |
dc.subject | Cryptography | - |
dc.subject | Codes | - |
dc.subject | Homomorphic encryption | - |
dc.subject | Costs | - |
dc.subject | Datalog | - |
dc.subject | homomorphic encryption | - |
dc.subject | privacy-preserving software-as-a-service | - |
dc.subject | static analysis | - |
dc.subject | secure two-party computation | - |
dc.title | Datalog Static Analysis in Secrecy | - |
dc.type | Article | - |
dc.relation.volume | 10 | - |
dc.identifier.doi | 10.1109/ACCESS.2022.3177841 | - |
dc.relation.page | 56179.0-56192.0 | - |
dc.relation.journal | IEEE ACCESS | - |
dc.contributor.googleauthor | Kouhounestani, Mojgan | - |
dc.contributor.googleauthor | Lee, Woosuk | - |
dc.sector.campus | E | - |
dc.sector.daehak | 소프트웨어융합대학 | - |
dc.sector.department | 컴퓨터학부 | - |
dc.identifier.pid | woosuk | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.