Boston University

Adaptive Optics Associates, Inc.

Qusecure, Inc

Mark C Reynolds

Azer Bestavros

Assaf J Kfoury

A system and method for verifying a cryptographic access code is provided. If a set of cryptographic access components are quantum-aware, the system can obtain a post-quantum encryption and/or decryption algorithm from a context-specific non-critical extension in a private OID namespace, such as SABER, Kyber, Enhanced McEliece, or RLCE. If the set of cryptographic access components are quantum-aware, the system can obtain a post-quantum signature or verification algorithm from the private OID namespace. The system can validate a root of trust specified in a TAL record; confirm that a respective certificate, CRL, or TAL is specified in at least one Manifest record; confirm that a hash of the respective certificate, CRL, or TAL matches a recorded hash in a respective Manifest listing the respective certificate, CRL, or TAL; and confirm that a respective CRL or Manifest is fresh.

System and methods for verifying a cryptographic access code

A method for software inspection analyzes a body of computer code to assess whether the body of computer code contains malware. Various embodiments extract the executable elements of the body of computer code and modify those elements using rules defining the format of instructions for the programming language in which the computer code was written, and using rules defined from the security specification of that programming language, to produce a model of the body of computer code. The method then analyzes the model using a model checking system, which determines whether any of the language rules have been violated, in which case the method flags the computer code as potentially including malware.

Software inspection system

A camera tracking system determines the three dimensional (3D) location and orientation of the film plane of a camera providing live recording of a subject, thereby defining a 3D coordinate system of the live action scene into which animated objects or characters may be automatically mapped with proper scale and 3D visual object by a computer animation system.

Growing community of inventors

Concord, MA, United States of America

Mark C Reynolds