The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Oct. 27, 2026

Filed:

Mar. 29, 2023
Applicant:

International Business Machines Corporation, Armonk, NY (US);

Inventors:

Rajat Rao, Bangalore, IN;

Arun Joseph, Bangalore, IN;

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 30/3323 (2020.01); G06F 30/333 (2020.01);
U.S. Cl.
CPC ...
G06F 30/3323 (2020.01); G06F 30/333 (2020.01);
Abstract

Automatic verification of a hardware cryptographic implementation includes receiving a reference implementation of a cryptographic algorithm, receiving test case data associated with the cryptographic algorithm, generating a stimulus based upon the test case data, applying the stimulus to the reference implementation using a simulation model to generate a first intermediate state result, applying the stimulus to a hardware implementation of the cryptographic algorithm using the simulation model to generate a second intermediate state result, and generating a verification result based upon a comparison of the first intermediate state result and the second intermediate state result.


Find Patent Forward Citations

Quick Actions:

Rao, Rajat. (2026). Automatic verification of hardware cryptographic implementations (U.S. Patent No. 12775770). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/12775770

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Loading…