NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Control Flow Graph Integrity and Verification

Formal verification of control flow integrity properties in compiled code against control flow hijacking attacks.