47 search results - page 4 / 10 » Per-Input Control-Flow Integrity |
98
Voted
CCS
2005
ACM
15 years 7 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
120
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
136
click to vote
CC
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
147
click to vote
DAGSTUHL
2001
15 years 2 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
137
click to vote
CUZA
2002
15 years 1 months ago
2002
In this paper we present a mechanism for serializing the execution-state of a distributed Java application that is implemented on a conventional Object Request Broker (ORB) archite...