Crypto-pointers for secure data storage
AssigneeGalois, Inc.
InventorsJohn Launchbury, Thomas Nordin
Life of this patent
Estimating the term…
Loading patent…
AssigneeGalois, Inc.
InventorsJohn Launchbury, Thomas Nordin
Estimating the term…
This disclosure relates to pairing of a different cryptographic key with each pointer in a data structure to form a crypto-pointer. The cryptographic key is used to encrypt the contents of all data stored at the physical location on the storage device indicated by the pointer. Preferably the only data accessible in an unencrypted form is contained in cells that are reachable from root-set crypto-pointers. Once the crypto-pointer associated with a particular memory cell is deleted, normally by overwriting or explicitly zeroing the crypto-pointer, the contents of the memory cell become inaccessible because the data stored at that cell is in encrypted form (cipher text) and the crypto-pointer that included the cryptographic key for decrypting the cipher text has been deleted from the system.
A secure method of digital data storage comprising the steps of:
A secure memory structure of a storage device comprising:
A method of accessing encrypted data in a secure heap data structure comprising:
Dependencies are inferred from the claim text.