Publication | Closed Access
CCFI
177
Citations
12
References
2015
Year
Unknown Venue
Software SecurityEngineeringTraditional CfiProgram AnalysisInformation SecurityComputer EngineeringSoftware AnalysisSoftware EngineeringFormal MethodsArbitrary CodeControl Flow IntegrityComputer ScienceSecure By DesignTrusted Execution EnvironmentStatic Program AnalysisFormal VerificationLanguage-based Security
Control flow integrity (CFI) restricts jumps and branches within a program to prevent attackers from executing arbitrary code in vulnerable programs. However, traditional CFI still offers attackers too much freedom to chose between valid jump targets, as seen in recent attacks.
| Year | Citations | |
|---|---|---|
Page 1
Page 1