378 search results - page 68 / 76 » Programming with Explicit Security Policies |
DRM
2005
Springer
14 years 1 months ago
2005
Springer
Advances in reverse engineering and program analyses have made software extremely vulnerable to malicious host attacks. These attacks typically take the form of intellectual prope...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
A well-known concern in the setting of identity based encryption is that the PKG is all powerful and has to be completely trusted. To mitigate this problem, the notion of Accounta...
ENTCS
2007
13 years 7 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
HPCA
2008
IEEE
14 years 7 months ago
2008
IEEE
Dynamic binary translation (DBT) is a runtime instrumentation technique commonly used to support profiling, optimization, secure execution, and bug detection tools for application...
SIGOPS
2011
13 years 2 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...