Publication | Closed Access
Modular control-flow integrity
180
Citations
25
References
2014
Year
EngineeringVerificationComputer-aided VerificationSoftware EngineeringSoftware AnalysisFormal VerificationHardware SecuritySystems EngineeringCompilersRuntime VerificationComputer EngineeringComputer ScienceSoftware-hardening TechniqueStatic Program AnalysisLanguage-based SecuritySeparate CompilationSoftware SecurityProgram AnalysisControl-flow IntegrityModular Control-flow IntegrityFormal MethodsFault InjectionSystem SoftwareIntegrity Verification
Control-Flow Integrity (CFI) is a software-hardening technique. It inlines checks into a program so that its execution always follows a predetermined Control-Flow Graph (CFG). As a result, CFI is effective at preventing control-flow hijacking attacks. However, past fine-grained CFI implementations do not support separate compilation, which hinders its adoption.
| Year | Citations | |
|---|---|---|
Page 1
Page 1