Safeguarding Controller Variables from SEUs using Static Analysis.

Ganesha Sujit Kumar Chakrabarti

Published in: ISEC (2024)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
control system
regular expressions
malicious code
real time
abstract interpretation
closed loop
test suite
test generation
control method
control algorithm
third party
test cases
neural network