Datalog Static Analysis in Secrecy
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3177841
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… read more here.
Keywords: secure; client; analysis; datalog static ... See more keywords