Login / Signup

A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity.

Matthieu BatyPierre WilkeGuillaume HietArnaud FontaineAlix Trieu
Published in: CSF (2023)
Keyphrases
  • control flow
  • security mechanisms
  • data flow
  • real time
  • access control
  • resource constrained
  • security issues
  • security requirements
  • low cost