Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
The use of static analysis to detect malware in embedded systems
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