Company Filing History:
1 out of 1 
1 out of 6 
1 out of 505 
Years Active: 2007-2012
Title: John Launchbury: Innovator in Secure Data Storage and Permutation Methods
Introduction
John Launchbury is a notable inventor based in Beaverton, OR (US). He has made significant contributions to the fields of secure data storage and computing systems. With a total of 3 patents, Launchbury's work reflects his innovative approach to technology.
Latest Patents
One of Launchbury's latest patents is titled "Crypto-pointers for secure data storage." This invention relates to the pairing of a different cryptographic key with each pointer in a data structure to form a crypto-pointer. The cryptographic key is utilized to encrypt the contents of all data stored at the physical location indicated by the pointer. The design ensures that only data accessible in an unencrypted form is contained in cells reachable from root-set crypto-pointers. Once the crypto-pointer associated with a specific memory cell is deleted, the contents of that memory cell become inaccessible, as the data is stored in encrypted form, and the crypto-pointer that included the cryptographic key for decryption has been removed from the system.
Another significant patent is the "Automated permutation method and apparatus." In this invention, a method of operation in a computing system involves receiving a first permutation specification of a first permutation of a first plurality of inputs, along with a first permutation modifier and a first interaction specification. A second permutation specification is generated, which is a composite permutation of the first permutation and the permutation modifier, reflecting the specified interaction.
Career Highlights
Throughout his career, John Launchbury has worked with prominent companies such as Galois Connections, Inc. and Galois, Inc. His experience in these organizations has allowed him to develop and refine his innovative ideas.
Collaborations
Launchbury has collaborated with talented individuals in the field, including Thomas Nordin and Mark Tullsen. These partnerships have contributed to the advancement of his projects and inventions.
Conclusion
John Launchbury is a distinguished inventor whose work in secure data storage and permutation methods has made a significant impact in the technology sector. His innovative patents and collaborations highlight his commitment to advancing the field of computing.