Butler W. Lampson

Person

Portola Valley, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Generating programs using context-free compositions and probability...
- Patent number 9,940,106
- Issue date Apr 10, 2018
- Microsoft Technology Licensing, LLC
- Adam Kalai
- G05 - CONTROLLING REGULATING
Information Patent Grant
Generating programs using context-free compositions and probability...
- Patent number 9,400,639
- Issue date Jul 26, 2016
- Microsoft Technology Licensing, LLC
- Adam Kalai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transformation of sequential access control lists utilizing certifi...
- Patent number 9,253,195
- Issue date Feb 2, 2016
- Microsoft Technology Licensing, LLC
- Carl M. Ellison
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Transformation of sequential access control lists utilizing certifi...
- Patent number 8,468,579
- Issue date Jun 18, 2013
- Microsoft Corporation
- Carl Melvin Ellison
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Virtual distributed security system
- Patent number 8,302,149
- Issue date Oct 30, 2012
- Microsoft Corporation
- Giovanni M. Della-Libera
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Domain ID service
- Patent number 8,006,295
- Issue date Aug 23, 2011
- Microsoft Corporation
- Carl M. Ellison
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Access control negation using negative groups
- Patent number 7,900,248
- Issue date Mar 1, 2011
- Microsoft Corporation
- Carl Melvin Ellison
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual distributed security system
- Patent number 7,809,938
- Issue date Oct 5, 2010
- Microsoft Corporation
- Giovanni M. Della-Libera
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Virtual distributed security system
- Patent number 7,752,442
- Issue date Jul 6, 2010
- Microsoft Corporation
- Giovanni M. Della-Libera
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual distributed security system
- Patent number 7,752,431
- Issue date Jul 6, 2010
- Microsoft Corporation
- Giovanni M. Della-Libera
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for secure storage of data using public and priva...
- Patent number 7,543,336
- Issue date Jun 2, 2009
- Microsoft Corporation
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Boot blocks for software
- Patent number 7,529,919
- Issue date May 5, 2009
- Microsoft Corporation
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hierarchical trusted code for content protection in computers
- Patent number 7,496,769
- Issue date Feb 24, 2009
- Microsoft Corporation
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for authenticating an operating system to a centr...
- Patent number 7,457,412
- Issue date Nov 25, 2008
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for secure storage data using a key
- Patent number 7,434,263
- Issue date Oct 7, 2008
- Microsoft Corporation
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for authenticating an operating system
- Patent number 7,424,606
- Issue date Sep 9, 2008
- Microsoft Corporation
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for accepting disparate types of user input
- Patent number 7,418,137
- Issue date Aug 26, 2008
- Microsoft Corporation
- Charlton E Lui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for authenticating an operating system to a centr...
- Patent number 7,415,620
- Issue date Aug 19, 2008
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Attesting to a value of a register and/or memory region
- Patent number 7,356,682
- Issue date Apr 8, 2008
- Microsoft Corporation
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Two-button mouse input using a stylus
- Patent number 7,319,454
- Issue date Jan 15, 2008
- Microsoft Corporation
- Charles Patrick Thacker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Key-based secure storage
- Patent number 7,302,709
- Issue date Nov 27, 2007
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pointing system for pen-based computer
- Patent number 7,248,248
- Issue date Jul 24, 2007
- Microsoft Corporation
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Key-based secure storage
- Patent number 7,194,092
- Issue date Mar 20, 2007
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for authenticating an operating system to a centr...
- Patent number 7,174,457
- Issue date Feb 6, 2007
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Secure execution of program code
- Patent number 7,020,772
- Issue date Mar 28, 2006
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hierarchical trusted code for content protection in computers
- Patent number 6,986,059
- Issue date Jan 10, 2006
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hierarchical trusted code for content protection in computers
- Patent number 6,976,175
- Issue date Dec 13, 2005
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling access to content based on certificates and access pred...
- Patent number 6,820,063
- Issue date Nov 16, 2004
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for accepting disparate types of user input
- Patent number 6,788,815
- Issue date Sep 7, 2004
- Microsoft Corporation
- Charlton E. Lui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hierarchical trusted code for content protection in computers
- Patent number 6,775,779
- Issue date Aug 10, 2004
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
GENERATING PROGRAMS USING CONTEXT-FREE COMPOSITIONS AND PROBABILITY...
- Publication number 20160299744
- Publication date Oct 13, 2016
- Microsoft Technology Licensing, LLC
- Adam Kalai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING A PROGRAM
- Publication number 20130346982
- Publication date Dec 26, 2013
- Microsoft Corporation
- Adam Kalai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Transformation of Sequential Access Control Lists Utilizing Certifi...
- Publication number 20130283342
- Publication date Oct 24, 2013
- Carl M. Ellison
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DOMAIN ID SERVICE
- Publication number 20090007247
- Publication date Jan 1, 2009
- Microsoft Corporation
- Carl M. Ellison
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSFORMATION OF SEQUENTIAL ACCESS CONTROL LISTS UTILIZING CERTIFI...
- Publication number 20080313712
- Publication date Dec 18, 2008
- Microsoft Corporation
- Carl Melvin Ellison
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ENTITY BASED ACCESS MANAGEMENT
- Publication number 20080307486
- Publication date Dec 11, 2008
- Microsoft Corporation
- Carl Melvin Ellison
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ACCESS CONTROL NEGATION USING NEGATIVE GROUPS
- Publication number 20080301780
- Publication date Dec 4, 2008
- Microsoft Corporation
- Carl Melvin Ellison
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL-BASED ACCESS CONTROL
- Publication number 20080244736
- Publication date Oct 2, 2008
- Microsoft Corporation
- Butler Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Authenticating an Operating System to a Centr...
- Publication number 20070118769
- Publication date May 24, 2007
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Authenticating an Operating System to a Centr...
- Publication number 20070118738
- Publication date May 24, 2007
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Authenticating an Operating System to a Centr...
- Publication number 20070104329
- Publication date May 10, 2007
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Virtual distributed security system
- Publication number 20060253699
- Publication date Nov 9, 2006
- Microsoft Corporation
- Giovanni M. Della-Libera
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Virtual distributed security system
- Publication number 20060253700
- Publication date Nov 9, 2006
- Microsoft Corporation
- Giovanni M. Della-Libera
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Virtual distributed security system
- Publication number 20060041743
- Publication date Feb 23, 2006
- Microsoft Corporation
- Giovanni M. Della-Libera
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Virtual distributed security system
- Publication number 20060041929
- Publication date Feb 23, 2006
- Microsoft Corporation
- Giovanni M. Della-Libera
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Key-based secure storage
- Publication number 20060021064
- Publication date Jan 26, 2006
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for secure storage of data using a key
- Publication number 20050289067
- Publication date Dec 29, 2005
- Microsoft Corporation
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hierarchical trusted code for content protection in computers
- Publication number 20050235362
- Publication date Oct 20, 2005
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hierarchical trusted code for content protection in computers
- Publication number 20050097355
- Publication date May 5, 2005
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Controlling access to content based on certificates and access pred...
- Publication number 20050060549
- Publication date Mar 17, 2005
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for accepting disparate types of user input
- Publication number 20050025363
- Publication date Feb 3, 2005
- Microsoft Corporation
- Charlton E. Lui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hierarchical trusted code for content protection in computers
- Publication number 20040243836
- Publication date Dec 2, 2004
- Microsoft Corporation
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for accepting disparate types of user input
- Publication number 20040071344
- Publication date Apr 15, 2004
- Charlton E. Lui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Secure execution of program code
- Publication number 20040044906
- Publication date Mar 4, 2004
- Paul England
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Pointing system for pen-based computer
- Publication number 20040027338
- Publication date Feb 12, 2004
- Microsoft Corporation
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for authenticating an operating system
- Publication number 20030196085
- Publication date Oct 16, 2003
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for secure storage data using a key
- Publication number 20030194094
- Publication date Oct 16, 2003
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Boot blocks for software
- Publication number 20030196110
- Publication date Oct 16, 2003
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for secure storage of data using public and priva...
- Publication number 20030196099
- Publication date Oct 16, 2003
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Attesting to a value of a register and/or memory region
- Publication number 20030196111
- Publication date Oct 16, 2003
- Butler W. Lampson
- G06 - COMPUTING CALCULATING COUNTING

Butler W. Lampson

Person

Patents Grantslast 30 patents

Generating programs using context-free compositions and probability...

Generating programs using context-free compositions and probability...

Transformation of sequential access control lists utilizing certifi...

Transformation of sequential access control lists utilizing certifi...

Virtual distributed security system

Domain ID service

Access control negation using negative groups

Virtual distributed security system

Virtual distributed security system

Virtual distributed security system

System and method for secure storage of data using public and priva...

Boot blocks for software

Hierarchical trusted code for content protection in computers

System and method for authenticating an operating system to a centr...

System and method for secure storage data using a key

System and method for authenticating an operating system

System and method for accepting disparate types of user input

System and method for authenticating an operating system to a centr...

Attesting to a value of a register and/or memory region

Two-button mouse input using a stylus

Key-based secure storage

Pointing system for pen-based computer

Key-based secure storage

System and method for authenticating an operating system to a centr...

Secure execution of program code

Hierarchical trusted code for content protection in computers

Hierarchical trusted code for content protection in computers

Controlling access to content based on certificates and access pred...

System and method for accepting disparate types of user input

Hierarchical trusted code for content protection in computers

Patents Applicationslast 30 patents

GENERATING PROGRAMS USING CONTEXT-FREE COMPOSITIONS AND PROBABILITY...

GENERATING A PROGRAM

Transformation of Sequential Access Control Lists Utilizing Certifi...

DOMAIN ID SERVICE

TRANSFORMATION OF SEQUENTIAL ACCESS CONTROL LISTS UTILIZING CERTIFI...

ENTITY BASED ACCESS MANAGEMENT

ACCESS CONTROL NEGATION USING NEGATIVE GROUPS

MODEL-BASED ACCESS CONTROL

System and Method for Authenticating an Operating System to a Centr...

System and Method for Authenticating an Operating System to a Centr...

System and Method for Authenticating an Operating System to a Centr...

Virtual distributed security system

Virtual distributed security system

Virtual distributed security system

Virtual distributed security system

Key-based secure storage

System and method for secure storage of data using a key

Hierarchical trusted code for content protection in computers

Hierarchical trusted code for content protection in computers

Controlling access to content based on certificates and access pred...

System and method for accepting disparate types of user input

Hierarchical trusted code for content protection in computers

System and method for accepting disparate types of user input

Secure execution of program code

Pointing system for pen-based computer

System and method for authenticating an operating system

System and method for secure storage data using a key

Boot blocks for software

System and method for secure storage of data using public and priva...

Attesting to a value of a register and/or memory region