LightFAt: Mitigating Control-flow Explosion via Lightweight PMU-based Control-flow Attestation.
Jeferson González-GómezHassan NassarLars BauerJörg HenkelPublished in: CoRR (2024)
Keyphrases
- control flow
- lightweight
- data flow
- software testing
- process model
- development environments
- business process models
- wireless sensor networks
- workflow management systems
- formal semantics
- transition systems
- communication infrastructure
- modeling language
- software development
- rfid tags
- metamodel
- authentication protocol
- dos attacks
- memory hierarchy
- database