400 search results - page 49 / 80 » Reasoning About Hidden Mechanisms |
ACSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper, we present a new, light-weight approach for generating filters for blocking buffer overflow attacks on Microsoft Windows systems. It is designed to be deployabl...
PPOPP
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
INTERACT
2003
14 years 11 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
CCS
2011
ACM
13 years 9 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...