4 search results - page 1 / 1 » An abstract interpretation-based framework for software wate... |
146
Voted
POPL
2004
ACM
15 years 10 months ago
2004
ACM
IH
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...
191
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
101
click to vote
PEPM
2010
ACM
15 years 6 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...