Patent number: 9569612
Hard object: lightweight hardware enforcement of encapsulation, unforgeability, and transactionality
Inventors:
- Wilkerson; Daniel Shawcross
- Winterrowd; Mark William
Field of technology: Computer Hardware, Computer Software
Patent granted on: Tue, 14 Feb 2017
Abstract
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.