CHARACTERIZATION, ANALYSIS AND CATEGORIZATION OF QUANTUM PROGRAMS WITHOUT EXECUTING THEM

Abstract: various systems and methods are presented herein regarding automatically utilizing characterized codes to characterize an undefined code. the undefined code can be computer instructions for implementation with a quantum computing system. characterizing the undefined code with previously characterized codes enables knowledge of the undefined code to be acquired without the undefined code having to be executed on the quantum computing system. prior to characterizing the undefined code, the undefined code can be converted from an original format (e.g., high-level language) to a secure format (e.g., low-level language), wherein the secure format cannot be reverse engineered back to the original format. the undefined code can be represented as a vector, with characterization based on a characterized code having a similar vector representation as the vector representation of the undefined code.

Inventor(s): David Kremer Garcia, Alexandra Rivero García, Juan Cruz Benito, Ivan Duran Martinez, Francisco Jose Martin Fernandez, Ismael Faro Sertage

CPC Classification: G06F11/3608 ({using formal methods, e.g. model checking, abstract interpretation (theorem proving )})

Search for rejections for patent application number 20250217267