Login / Signup
LightFAt: Mitigating Control-Flow Explosion via Lightweight PMU-Based Control-Flow Attestation.
Jeferson González-Gómez
Hassan Nassar
Lars Bauer
Jörg Henkel
Published in:
HOST (2024)
Keyphrases
</>
control flow
lightweight
data flow
process model
software testing
workflow management systems
transition systems
modeling language
formal semantics
dos attacks
development environments
business process models
database systems
data model
computer systems
authentication protocol