• Publications
  • Influence
The use of static analysis to detect malware in embedded systems
TLDR
This paper presents another detection and prevention method using a technique previously employed to detect errors in compilers – formal proof that embedded software is mathematically identical to the original source code. Expand