ALEXANDRIA, Va., March 26 -- United States Patent no. 12,259,978, issued on March 25, was assigned to Apple Inc. (Cupertino, Calif.).
"Verifiable machine code" was invented by Filip J. Pizlo (Santa Cruz, Calif.).
According to the abstract* released by the U.S. Patent & Trademark Office: "Aspects and features include a structure for a program directed to a target computing device and metadata that can be used by a verifier in the target computing device. The verifier can quickly and efficiently apply verification rules to identified sections of the program to determine whether the program is safe to execute by the target computing device. In some examples, the target computing device uses the verifier to identify, using the metadata, verif...