CPI
Fast and precise control-flow hijack protection
Code-Pointer Integrity (CPI) is a property of C/C++ programs that guarantees absence of control-flow hijack attacks by requiring integrity of all direct and indirect pointers to code. Code-Pointer Separation (CPS) is a simplified version of CPI that provides strong protection against such attacks in practice. SafeStack is a component of CPI/CPS, which can be used independently and protects against stack-based control-flow hijacks.
Network
- Technical
- Research papers
- Source code: Project GitHub
- Last commit: 2015-11-16
The Dependable Systems Lab develops techniques and abstractions for building trustworthy computer systems, i.e., systems that are safe and secure. They:
- Explore the fundamental challenges posed to security and safety by large-scale systems consisting of many threads, many nodes, and millions of lines of code written by many programmers
- Seek solutions that solve real-world problems by overcoming theoretical worst-case limitations
- Build open-source prototypes that enable evaluation of these solutions with real-world workloads
- Operate at the intersection of operating systems, distributed systems, programming languages, formal methods, and computer architecture
This page was last edited on 2022-07-05.
This page was last edited on 2022-07-05.