CIFER: Code Integrity and control Flow verification for programs Executed on a RISC-V core.
Anthony ZgheibOlivier PotinJean-Baptiste RigaudJean-Max DutertrePublished in: HOST (2023)
Keyphrases
- control flow
- data flow
- java card
- integrity verification
- process model
- symbolic execution
- software testing
- workflow management systems
- modeling language
- model checking
- transition systems
- databases
- formal semantics
- application specific
- concurrent systems
- decision trees
- formal specification
- instruction set
- information technology
- business process models