151 search results - page 13 / 31 » Using Informal and Formal Techniques for the Reverse Enginee... |
POPL
1999
ACM
13 years 11 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
ISW
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...
CASES
2004
ACM
14 years 28 days ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...