Inventor
HAWBLITZEL CHRIS
US7 patents
⚠️ This page may combine multiple inventors who share the name “HAWBLITZEL CHRIS”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT TECHNOLOGY LICENSING LLC
3 patentsUS9363087B2Jun 7, 2016
End-to-end security for hardware running verified software
MICROSOFT TECHNOLOGY LICENSING LLC17 citations91
US9536093B2Jan 3, 2017
Automated verification of a software system
MICROSOFT TECHNOLOGY LICENSING LLC10 citations82
US10148442B2Dec 4, 2018
End-to-end security for hardware running verified software
MICROSOFT TECHNOLOGY LICENSING LLC2 citations71
HAWBLITZEL CHRIS
3 patentsUS8341602B2Dec 25, 2012
Automated verification of a type-safe operating system
HAWBLITZEL CHRIS7 citations81
US8843908B2Sep 23, 2014
Compiler validation via program verification
HAWBLITZEL CHRIS4 citations69
US8776032B2Jul 8, 2014
Automatic region-based verification of garbage collectors
HAWBLITZEL CHRIS2 citations58