Chris K. Hawblitzel

Person

Redmond, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
End-to-end security for hardware running verified software
- Patent number 10,148,442
- Issue date Dec 4, 2018
- Microsoft Technology Licensing, LLC
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated verification of a software system
- Patent number 9,536,093
- Issue date Jan 3, 2017
- Microsoft Technology Licensing, LLC
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
End-to-end security for hardware running verified software
- Patent number 9,363,087
- Issue date Jun 7, 2016
- Microsoft Technology Licensing, Inc.
- Chris Hawblitzel
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Compiler validation via program verification
- Patent number 8,843,908
- Issue date Sep 23, 2014
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic region-based verification of garbage collectors
- Patent number 8,776,032
- Issue date Jul 8, 2014
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated verification of a type-safe operating system
- Patent number 8,341,602
- Issue date Dec 25, 2012
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simple stack types
- Patent number 7,975,121
- Issue date Jul 5, 2011
- Microsoft Corporation
- Juan Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Process isolation using protection domains
- Patent number 7,882,317
- Issue date Feb 1, 2011
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
END-TO-END SECURITY FOR HARDWARE RUNNING VERIFIED SOFTWARE
- Publication number 20160248592
- Publication date Aug 25, 2016
- Microsoft Technology Licensing, LLC
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automated Verification of a Software System
- Publication number 20160098562
- Publication date Apr 7, 2016
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
End-to-End Security For Hardware Running Verified Software
- Publication number 20160099811
- Publication date Apr 7, 2016
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILER VALIDATION VIA PROGRAM VERIFICATION
- Publication number 20120167066
- Publication date Jun 28, 2012
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED VERIFICATION OF A TYPE-SAFE OPERATING SYSTEM
- Publication number 20100192130
- Publication date Jul 29, 2010
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC REGION-BASED VERIFICATION OF GARBAGE COLLECTORS
- Publication number 20100191928
- Publication date Jul 29, 2010
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIMPLE STACK TYPES
- Publication number 20090282208
- Publication date Nov 12, 2009
- Microsoft Corporation
- Juan Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Process Isolation Using Protection Domains
- Publication number 20080141266
- Publication date Jun 12, 2008
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Statically Verifiable Inter-Process-Communicative Isolated Processes
- Publication number 20070094495
- Publication date Apr 26, 2007
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING

Chris K. Hawblitzel

Person

Patents Grantslast 30 patents

End-to-end security for hardware running verified software

Automated verification of a software system

End-to-end security for hardware running verified software

Compiler validation via program verification

Automatic region-based verification of garbage collectors

Automated verification of a type-safe operating system

Simple stack types

Process isolation using protection domains

Patents Applicationslast 30 patents

END-TO-END SECURITY FOR HARDWARE RUNNING VERIFIED SOFTWARE

Automated Verification of a Software System

End-to-End Security For Hardware Running Verified Software

COMPILER VALIDATION VIA PROGRAM VERIFICATION

AUTOMATED VERIFICATION OF A TYPE-SAFE OPERATING SYSTEM

AUTOMATIC REGION-BASED VERIFICATION OF GARBAGE COLLECTORS

SIMPLE STACK TYPES

Process Isolation Using Protection Domains

Statically Verifiable Inter-Process-Communicative Isolated Processes