Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Type-preserving compiler for security verification

Type-preserving compiler for security verification

US Patent 8955043 · Granted Feb 10, 2015

Estimated economic value: $22,754,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Display screen or portion thereof with a graphical user interface2024
Towel rack2024
Bidirectional evaluation for general—purpose programming2022
Breast flange for direct coupling to breast pump fitting2022
Grill2017
Programming, verifying, visualizing, and deploying browser extensions with fine-2015
Activatable photodynamic therapy agents2012
Typed intermediate language support for existing compilers2011
Simple stack types2011
Typed intermediate language support for languages with multiple inheritance2009
Typed intermediate language support for languages with multiple inheritance2009
Typed intermediate representation for object-oriented languages2009