Using MALPAS to detect malware in embedded systems
Chris Sampson, MALPAS product manager, presented a paper on an innovative new application for MALPAS at this year’s IET International Systems & Safety Conference. Chris’ paper looked at how static analysis techniques used in MALPAS could also be used to detect malware inserted into executable code. This would give formal, mathematical proof that critical software is identical to its original coding, and therefore malware free. MALPAS can do this without taking the system off-line, and with an exhaustive testing method that no known hacker can evade.