Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for the development of high-assurance computing elements

Method and system for the development of high-assurance computing elements

US Patent 8726241 · Granted May 13, 2014

Estimated economic value: $1,996,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

IoT event detector correctness verification2024
Transitioning legacy software to be provably correct2023
Anonymizing sensitive data in logic problems for input to a constraint solver2021
Method and apparatus for saving power during synthetic positioning in GNSS recei2018
Object designator system and method2018
GPS-enabled cross-domain guard2017
Algorithm agile programmable cryptographic processor2015
High-assurance architecture for routing of information between networks of diffe2012
High-assurance architecture for routing of information between networks of diffe2012
Method and apparatus for high agility cryptographic key manager2012
Method and apparatus for high agility cryptographic key manager2012
Method and system for the development of high-assurance microcode2011