11 search results - page 1 / 3 » Towards Automatic Inference of Kernel Object Semantics from ... |
EHCI
1998
13 years 6 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
VIROLOGY
2010
13 years 3 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
EUROSYS
2009
ACM
14 years 2 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
ACSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
Address space randomization is an emerging and promising method for stopping a broad range of memory corruption attacks. By randomly shifting critical memory regions at process in...