Semantics-based software watermarking by abstract interpretation
Sign Up to like & getrecommendations! Published in 2018 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129518000038
Abstract: Software watermarking is a software protection technique used to defend the intellectual property of proprietary code. In particular, software watermarking aims at preventing software piracy by embedding a signature, i.e. an identifier reliably representing the… read more here.
Keywords: software watermarking; abstract interpretation; software; signature ... See more keywords
Accelerating Data Dependence Profiling through Abstract Interpretation of Loop Instructions
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3160729
Abstract: Data dependence analysis is a must-do operation for parallelisation since it reveals the safe parallelisable regions of serial codes. Generally, it relies on dynamic analysis, which incurs substantial execution time and memory space overheads. As… read more here.
Keywords: accelerating data; data dependence; interpretation; analysis ... See more keywords
Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Access"
DOI: 10.1109/access.2023.3263145
Abstract: Deep neural networks have been widely used in several complex tasks such as robotics, self-driving cars, medicine, etc. However, they have recently shown to be vulnerable in uncertain environments where inputs are noisy. As a… read more here.
Keywords: neural network; abstract interpretation; layer; abstract layer ... See more keywords