ALEXANDRIA, Va., July 21 -- United States Patent no. 12,688,532, issued on July 21, was assigned to HAMAD BIN KHALIFA UNIVERSITY (Doha, Qatar).
"Smart contract security auditing" was invented by Yazan Boshmaf (Doha, Qatar) and Sajitha Liyanage (Doha, Qatar).
According to the abstract* released by the U.S. Patent & Trademark Office: "Smart contract auditing may be provided by: receiving a request to audit a prospective smart contract; executing a smart contracts auditing model; extracting raw data from at least one blockchain using the smart contracts auditing model; analyzing the raw data using at least two security analyzers; aggregating the output of the at least two security analyzers according to an aggregator; and generating a smart ...