loadpatents
Patent applications and USPTO patent grants for Hawblitzel; Chris.The latest application filed is for "end-to-end security for hardware running verified software".
Patent | Date |
---|---|
End-to-end security for hardware running verified software Grant 10,148,442 - Hawblitzel , et al. De | 2018-12-04 |
Automated verification of a software system Grant 9,536,093 - Hawblitzel , et al. January 3, 2 | 2017-01-03 |
End-to-end Security For Hardware Running Verified Software App 20160248592 - Hawblitzel; Chris ;   et al. | 2016-08-25 |
End-to-end security for hardware running verified software Grant 9,363,087 - Hawblitzel , et al. June 7, 2 | 2016-06-07 |
End-to-End Security For Hardware Running Verified Software App 20160099811 - Hawblitzel; Chris ;   et al. | 2016-04-07 |
Automated Verification of a Software System App 20160098562 - Hawblitzel; Chris ;   et al. | 2016-04-07 |
Compiler validation via program verification Grant 8,843,908 - Hawblitzel , et al. September 23, 2 | 2014-09-23 |
Automatic region-based verification of garbage collectors Grant 8,776,032 - Hawblitzel July 8, 2 | 2014-07-08 |
Automated verification of a type-safe operating system Grant 8,341,602 - Hawblitzel , et al. December 25, 2 | 2012-12-25 |
Compiler Validation Via Program Verification App 20120167066 - Hawblitzel; Chris ;   et al. | 2012-06-28 |
Simple stack types Grant 7,975,121 - Chen , et al. July 5, 2 | 2011-07-05 |
Automated Verification Of A Type-safe Operating System App 20100192130 - Hawblitzel; Chris ;   et al. | 2010-07-29 |
Automatic Region-based Verification Of Garbage Collectors App 20100191928 - Hawblitzel; Chris | 2010-07-29 |
Simple Stack Types App 20090282208 - Chen; Juan ;   et al. | 2009-11-12 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.