Hard object: lightweight hardware enforcement of encapsulation, unforgeability, and transactionality
Patent No. 9,569,612
Issued: February 14, 2017
Inventors: Wilkerson; Daniel Shawcross (Berkeley, CA), Winterrowd; Mark William (San Francisco, CA)
A hardware-implemented method to support three desirable software properties: encapsulation, referential integrity/capabilities, and transactions. These properties in turn may be used to support software correctness, specifically the enforcement of invariants, and computer security, specifically protecting parts of programs from each other within a single process.
Reference to Related Applications
This application claims one or more inventions which were disclosed in Provisional Application No. 61/782,363, filed Mar. 14, 2013, entitled "Hard Object: Lightweight Hardware Enforcement of Encapsulation, Unforgeability, and Transactionality". The benefit under 35 USC 119(e) of the United States provisional application is hereby claimed, and the aforementioned application is hereby incorporated herein by reference.
The subject matter of this application is related to U.S. Pat. No. 8,364,910, entitled "Hard object: hardware protection for software objects", which issued on Jan. 29, 2013, US Published Application 2012/0151184, entitled "Hard Object: Constraining Control Flow and Providing Lightweight Kernel Crossings", published on Jun. 14, 2012, and US Published Application 2013/0283017, entitled "Hard Object: Constraining Control Flow and Providing Lightweight Kernel Crossings", published on Oct. 24, 2013. The aforementioned patent and published applications are hereby incorporated herein by reference.
Go Back for more representative patents.
Home || Intellectual Property || Patents || Trademarks || Copyrights
Brown & Michaels, PC
400 M & T Bank Building
118 North Tioga Street - The Commons
Ithaca, NY 14850
Phone: (607) 256-2000 - Fax: (607) 256-3628
© 2017 Brown & Michaels PC