FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation.
Lang FengJeff HuangJiang HuAbhijith ReddyPublished in: RV (2019)
Keyphrases
- control flow
- real time
- data flow
- data acquisition
- low cost
- software testing
- fpga hardware
- workflow management systems
- process model
- high speed
- business process models
- modeling language
- fpga implementation
- transition systems
- hardware implementation
- source code
- formal semantics
- model checking
- business processes
- field programmable gate array
- object oriented
- dedicated hardware
- data sets