This paper presents a systematic solution to the persistent problem of buffer overflow
attacks. Buffer overflow attacks gained notoriety in 1988 as part of the Morris Worm incident …

The access control mechanisms of existing mainstream operating systems are inadequate to
provide strong system security. Enhanced access control mechanisms have failed to win …

We introduce the concept of continual queries, describe the design of a distributed event-
driven continual query system-OpenCQ, and outline the initial implementation of OpenCQ …

Permission to make digital/hard copy of part or all of this work for personal or classroom use
is granted without fee provided that the copies are not made or distributed for profit or …

Shoreline; Markus Mock; Matthai OTHER PUBLICATIONS Philipose, both of Seattle, all of
WA (US) Calder et al.,“Value Profiling", IEEE 1997, pp 259-269.* VoSS et al, ADAPT …

We present the design of DyC, a dynamic-compilation system for C based on run-time
specialization. Directed by a few declarative user annotations that specify the variables and …

The object-oriented style of programming facilitates program adaptation and enhances
program genericness, but at the expense of efficiency. We demonstrate experimentally that …

Evidence of attacks against a network and its resources is often scattered over several hosts.
Intrusion detection systems (IDS) which attempt to detect such attacks therefore have to …

Self-optimizing AST interpreters dynamically adapt to the provided input for faster execution.
This adaptation includes initial tests of the input, changes to AST nodes, and insertion of …

This paper introduces an annotation language and a compiler that together can customize a
library implementation for specific application needs. Our approach is distinguished by its …