INTERNATIONAL PATENT: AXIOMISE LTD FILES APPLICATION FOR "TROJAN MALWARE DETECTION USING FORMAL VERIFICATION"

GENEVA, May 11 -- AXIOMISE LTD (71-75 Shelton StreetCovent GardenLondon WC2H 9JQ) filed a patent application (PCT/GB2025/052388) for "TROJAN MALWARE DETECTION USING FORMAL VERIFICATION" on Oct 31, 2025. With publication no. WO/2026/093757, the details related to the patent application was published on May 07, 2026.

Notably, the patent application was submitted under the International Patent Classification (IPC) system, which is managed by the World Intellectual Property Organization (WIPO).

Inventor(s): DARBARI, Ashish (c/o Axiomise Ltd71-75 Shelton StreetCovent GardenLondon WC2H 9JQ), KHODADAD, Nicky (c/o Axiomise Ltd71-75 Shelton StreetCovent GardenLondon WC2H 9JQ)

Abstract: A method of detecting malware in a hardware design for an ele...