1027 search results - page 81 / 206 » Callgraph properties of executables |
101
Voted
POPL
1999
ACM
15 years 5 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
95
Voted
LOPSTR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
99
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
96
Voted
EUROGP
2010
Springer
15 years 4 months ago
2010
Springer
In previous work, we have demonstrated that it is possible to use Genetic Programming to minimise the resource consumption of software, such as its power consumption or execution t...