FastCFI: Real-time Control-Flow Integrity Using FPGA without Code Instrumentation.
Lang FengJeff HuangJiang HuAbhijith ReddyPublished in: ACM Trans. Design Autom. Electr. Syst. (2021)
Keyphrases
- control flow
- real time
- data flow
- data acquisition
- low cost
- high speed
- fpga hardware
- software testing
- process model
- workflow management systems
- fpga implementation
- dedicated hardware
- formal semantics
- case study
- hardware implementation
- source code
- business process models
- transition systems
- modeling language
- hardware design
- fpga device
- database