Inventor · disambiguated record
Chris Hawblitzel
Also filed as: HAWBLITZEL CHRIS · HAWBLITZEL CHRIS K
8 granted patents·1 pending application·65 citations·filing 2006–2016
85Inventor score
Technology areasG06F
Top patents by PatentIndex Score
9 records- 0192US9363087B2End-to-end security for hardware running verified softwareMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2014·Granted Jun 7, 2016·17 cites·20 claims
- 0288US7882317B2Process isolation using protection domainsMICROSOFT CORP·Filed 2006·Granted Feb 1, 2011·21 cites·20 claims
- 0387US9536093B2Automated verification of a software systemMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2014·Granted Jan 3, 2017·10 cites·20 claims
- 0479US8341602B2Automated verification of a type-safe operating systemHAWBLITZEL CHRIS·Filed 2010·Granted Dec 25, 2012·7 cites·20 claims
- 0577US10148442B2End-to-end security for hardware running verified softwareMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Dec 4, 2018·2 cites·20 claims
- 0671US8843908B2Compiler validation via program verificationHAWBLITZEL CHRIS·Filed 2010·Granted Sep 23, 2014·4 cites·20 claims
- 0761US7975121B2Simple stack typesMICROSOFT CORP·Filed 2008·Granted Jul 5, 2011·2 cites·20 claims
- 0859US8776032B2Automatic region-based verification of garbage collectorsHAWBLITZEL CHRIS·Filed 2009·Granted Jul 8, 2014·2 cites·18 claims
- 0944US2007094495A1Statically Verifiable Inter-Process-Communicative Isolated ProcessesMICROSOFT CORP·Filed 2006·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →