MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Control-flow integrity." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

32 documents found, showing 1 through 10. Next 10 →

ATOM

A theory of secure control flow
by Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti, Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti — 2005 — In International Conference on Formal Engineering Methods
… Department, Princeton University Abstract. Control-Flow Integrity (CFI) means that the execution of a program…
Cited by 14 (7 self) – Add To MetaCart

and
by Martín Abadi, Jay Ligatti
…Control-Flow Integrity Principles, Implementations, and Applications MARTÍN ABADI University…
Add To MetaCart

Reasoning about control flow in the presence of transient faults
by Frances Perry, David Walker — 2007 — In International Static Analysis Symposium
… is substantially more difficult. This paper analyzes the problem of maintaining the control-flow integrity of a…
Cited by 1 (1 self) – Add To MetaCart

Automated Detection of Persistent Kernel Control-Flow Attacks
by Nick L. Petroni, Jr. , Michael Hicks — 2007
… monitoring operating system kernel integrity, based on a property called state-based control-flow integrity…
Cited by 6 (1 self) – Add To MetaCart

Architectural support for software-based protection
by Mihai Budiu, Úlfar Erlingsson, Martín Abadi — 2006 — In Workshop on Architectural and System Support for Improving Software Dependability (ASID
… Erlingsson Microsoft Research ABSTRACT Control-Flow Integrity (CFI) is a property that guarantees program…
Cited by 2 (1 self) – Add To MetaCart

Non-control-data attacks are realistic threats
by Shuo Chen, Jun Xu, Emre C. Sezer, Prachi Gauriar, Ravishankar K. Iyer — 2005 — In USENIX Security Symposium
… control flow integrity. Although earlier work did suggest the existence of attacks that do not alter…
Cited by 58 (4 self) – Add To MetaCart

Minos: Architectural support for protecting control data
by Jedidiah R. Crandall, S. Felix Wu, Frederic T. Chong — 2006 — ACM Trans. Archit. Code Optim
… and it is not orthogonal to the memory model. However, this paper helped inspire the Minos concept. Control-flow integrity…
Cited by 5 (1 self) – Add To MetaCart

- All moves to %r30 are followed by a check- NO SIGNALS Attacks
by unknown authors
… Prevention Software Fault Isolation – later: control flow integrity Fault Domains Virtual memory {untrusted…
Add To MetaCart

Preventing memory error exploits with WIT
by Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
… also enforces control-flow integrity [6, 28], that is, it ensures that the control flow transfers…
Cited by 2 (1 self) – Add To MetaCart

Discovery of knowledge flow in science
by Hai Zhuge — 2006 — COMMUNICATIONS OF THE ACM
…, and control flows, and integrating knowledge flows and workflows, are POWERFUL MEANS FOR MAKING TEAMWORK…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB