Martin Abadi

Person

Mountain View, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Host agnostic integration and interoperation system
- Patent number 9,319,469
- Issue date Apr 19, 2016
- Microsoft Technology Licensing, LLC
- Matthew James Ruhlen
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automatic detection of search results poisoning attacks
- Patent number 8,997,220
- Issue date Mar 31, 2015
- Microsoft Technology Licensing, LLC
- Fang Yu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Vouching for user account using social networking relationship
- Patent number 8,745,738
- Issue date Jun 3, 2014
- Microsoft Corporation
- Yinglian Xie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic identification of travel and non-travel network addresses
- Patent number 8,615,605
- Issue date Dec 24, 2013
- Microsoft Corporation
- Fang Yu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Access control policy in a weakly-coherent distributed collection
- Patent number 8,505,065
- Issue date Aug 6, 2013
- Microsoft Corporation
- Edward P. Wobber
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Identifying malicious queries
- Patent number 8,495,742
- Issue date Jul 23, 2013
- Microsoft Corporation
- Martin Abadi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Using social graphs to combat malicious attacks
- Patent number 8,434,150
- Issue date Apr 30, 2013
- Microsoft Corporation
- Yinglian Xie
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Synchronizing split user-mode/kernel-mode device driver architecture
- Patent number 8,434,098
- Issue date Apr 30, 2013
- Microsoft Corporation
- Mingtzong Lee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Blocking malicious activity using blacklist
- Patent number 8,387,145
- Issue date Feb 26, 2013
- Microsoft Corporation
- Yinglian Xie
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Transactional memory compatibility management
- Patent number 8,266,604
- Issue date Sep 11, 2012
- Microsoft Corporation
- Dana Groff
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Access control based on program properties
- Patent number 8,239,954
- Issue date Aug 7, 2012
- Microsoft Corporation
- Edward P. Wobber
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Host accountability using unreliable identifiers
- Patent number 8,185,613
- Issue date May 22, 2012
- Microsoft Corporation
- Yinglian Xie
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Split user-mode/kernel-mode device driver architecture
- Patent number 8,185,783
- Issue date May 22, 2012
- Microsoft Corporation
- Mingtzong Lee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory conflict detection via mapping of the physical heap to contr...
- Patent number 8,180,986
- Issue date May 15, 2012
- Microsoft Corporation
- Timothy Harris
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Architectural support for software-based protection
- Patent number 8,136,091
- Issue date Mar 13, 2012
- Microsoft Corporation
- Ulfar Erlingsson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifiable integrity guarantees for machine code programs
- Patent number 8,104,021
- Issue date Jan 24, 2012
- Microsoft Corporation
- Ulfar Erlingsson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Operating-system process construction
- Patent number 8,020,141
- Issue date Sep 13, 2011
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transactional memory with dynamic separation
- Patent number 7,908,265
- Issue date Mar 15, 2011
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Operating system protection against side-channel attacks on secrecy
- Patent number 7,870,336
- Issue date Jan 11, 2011
- Microsoft Corporation
- Ulfar Erlingsson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Access-control permissions with inter-process message-based communi...
- Patent number 7,865,934
- Issue date Jan 4, 2011
- Microsoft Corporation
- Edward P. Wobber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Operating system process identification
- Patent number 7,788,637
- Issue date Aug 31, 2010
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Searching for information utilizing a probabilistic detector
- Patent number 7,730,058
- Issue date Jun 1, 2010
- Microsoft Corporation
- Gaurav Sareen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for pattern matching on principal names to cont...
- Patent number 7,716,734
- Issue date May 11, 2010
- Microsoft Corporation
- Andrew David Birrell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inter-process communications employing bi-directional message conduits
- Patent number 7,600,232
- Issue date Oct 6, 2009
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software security based on control flow integrity
- Patent number 7,577,992
- Issue date Aug 18, 2009
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software memory access control
- Patent number 7,337,291
- Issue date Feb 26, 2008
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
History based rights computation for managed code
- Patent number 7,203,833
- Issue date Apr 10, 2007
- Microsoft Corporation
- Martín Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory bound functions for spam deterrence and the like
- Patent number 7,149,801
- Issue date Dec 12, 2006
- Microsoft Corporation
- Michael Burrows
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method for avoiding broadcast deadlocks in a mesh-connected network
- Patent number 6,480,502
- Issue date Nov 12, 2002
- Compaq Information Technologies Group, L.P.
- Martin Abadi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method and apparatus for annotating a computer program to facilitat...
- Patent number 6,253,370
- Issue date Jun 26, 2001
- Compaq Computer Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTHORIZATION IN A DISTRIBUTED SYSTEM USING ACCESS CONTROL LISTS AN...
- Publication number 20160352744
- Publication date Dec 1, 2016
- Google Inc.
- Michael Burrows
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
VOUCHING FOR USER ACCOUNT USING SOCIAL NETWORKING RELATIONSHIP
- Publication number 20130185791
- Publication date Jul 18, 2013
- Microsoft Corporation
- Yinglian Xie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Host Agnostic Integration and Interoperation System
- Publication number 20130080785
- Publication date Mar 28, 2013
- Microsoft Corporation
- Matthew James Ruhlen
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATIC DETECTION OF SEARCH RESULTS POISONING ATTACKS
- Publication number 20120304287
- Publication date Nov 29, 2012
- Microsoft Corporation
- Fang Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING SOCIAL GRAPHS TO COMBAT MALICIOUS ATTACKS
- Publication number 20120246720
- Publication date Sep 27, 2012
- Microsoft Corporation
- Yinglian Xie
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATIC IDENTIFICATION OF TRAVEL AND NON-TRAVEL NETWORK ADDRESSES
- Publication number 20120102169
- Publication date Apr 26, 2012
- Microsoft Corporation
- Fang Yu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
IDENTIFYING MALICIOUS QUERIES
- Publication number 20110283360
- Publication date Nov 17, 2011
- Microsoft Corporation
- Martin Abadi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
HOST ACCOUNTABILITY USING UNRELIABLE IDENTIFIERS
- Publication number 20100312877
- Publication date Dec 9, 2010
- Microsoft Corporation
- Yinglian Xie
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
BLOCKING MALICIOUS ACTIVITY USING BLACKLIST
- Publication number 20100313264
- Publication date Dec 9, 2010
- Microsoft Corporation
- Yinglian Xie
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
IMPLEMENTATIONS OF PROGRAM RUNTIME CHECKS
- Publication number 20100192026
- Publication date Jul 29, 2010
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSACTIONAL MEMORY COMPATIBILITY MANAGEMENT
- Publication number 20100191930
- Publication date Jul 29, 2010
- Microsoft Corporation
- Dana Groff
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Transactional Memory System
- Publication number 20100070727
- Publication date Mar 18, 2010
- Microsoft Corporation
- Timothy Harris
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE ISOLATED DEVICE DRIVER ARCHITECTURE
- Publication number 20090210888
- Publication date Aug 20, 2009
- Microsoft Corporation
- Mingtzong Lee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSACTIONAL MEMORY WITH DYNAMIC SEPARATION
- Publication number 20090210457
- Publication date Aug 20, 2009
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSACTIONAL MEMORY WITH DYNAMIC SEPARATION
- Publication number 20090204969
- Publication date Aug 13, 2009
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYNCHRONIZING SPLIT USER-MODE/KERNEL-MODE DEVICE DRIVER ARCHITECTURE
- Publication number 20090204978
- Publication date Aug 13, 2009
- Microsoft Corporation
- Mingtzong Lee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SPLIT USER-MODE/KERNEL-MODE DEVICE DRIVER ARCHITECTURE
- Publication number 20090138625
- Publication date May 28, 2009
- Microsoft Corporation
- Mingtzong Lee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Modal and linear techniques for access control logic
- Publication number 20090083832
- Publication date Mar 26, 2009
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCESS CONTROL POLICY IN A WEAKLY-COHERENT DISTRIBUTED COLLECTION
- Publication number 20080320299
- Publication date Dec 25, 2008
- Microsoft Corporation
- Edward P. Wobber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCESS CONTROL BASED ON PROGRAM PROPERTIES
- Publication number 20080282354
- Publication date Nov 13, 2008
- Microsoft Corporation
- Edward P. Wobber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Architectural support for software-based protection
- Publication number 20080184016
- Publication date Jul 31, 2008
- Microsoft Corporation
- Ulfar Erlingsson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Operating system protection against side-channel attacks on secrecy
- Publication number 20080109625
- Publication date May 8, 2008
- Microsoft Corporation
- Ulfar Erlingsson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verifiable integrity guarantees for machine code programs
- Publication number 20070285271
- Publication date Dec 13, 2007
- Microsoft Corporation
- Ulfar Erlingsson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Access-Control Permissions with Inter-Process Message-Based Communi...
- Publication number 20070271594
- Publication date Nov 22, 2007
- Microsoft Corporation
- Edward P. Wobber
- 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
Information Patent Application
Searching for information utilizing a probabilistic detector
- Publication number 20070078827
- Publication date Apr 5, 2007
- Microsoft Corporation
- Gaurav Sareen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and methods for pattern matching on principal names to cont...
- Publication number 20060265754
- Publication date Nov 23, 2006
- Microsoft Corporation
- Andrew David Birrell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and methods for identifying principals to control access to...
- Publication number 20060265759
- Publication date Nov 23, 2006
- Microsoft Corporation
- Andrew David Birrell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software memory access control
- Publication number 20060174077
- Publication date Aug 3, 2006
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software security based on control flow integrity
- Publication number 20060161978
- Publication date Jul 20, 2006
- Microsoft Corporation
- Martin Abadi
- G06 - COMPUTING CALCULATING COUNTING

Martin Abadi

Person

Patents Grantslast 30 patents

Host agnostic integration and interoperation system

Automatic detection of search results poisoning attacks

Vouching for user account using social networking relationship

Automatic identification of travel and non-travel network addresses

Access control policy in a weakly-coherent distributed collection

Identifying malicious queries

Using social graphs to combat malicious attacks

Synchronizing split user-mode/kernel-mode device driver architecture

Blocking malicious activity using blacklist

Transactional memory compatibility management

Access control based on program properties

Host accountability using unreliable identifiers

Split user-mode/kernel-mode device driver architecture

Memory conflict detection via mapping of the physical heap to contr...

Architectural support for software-based protection

Verifiable integrity guarantees for machine code programs

Operating-system process construction

Transactional memory with dynamic separation

Operating system protection against side-channel attacks on secrecy

Access-control permissions with inter-process message-based communi...

Operating system process identification

Searching for information utilizing a probabilistic detector

Systems and methods for pattern matching on principal names to cont...

Inter-process communications employing bi-directional message conduits

Software security based on control flow integrity

Software memory access control

History based rights computation for managed code

Memory bound functions for spam deterrence and the like

Method for avoiding broadcast deadlocks in a mesh-connected network

Method and apparatus for annotating a computer program to facilitat...

Patents Applicationslast 30 patents

AUTHORIZATION IN A DISTRIBUTED SYSTEM USING ACCESS CONTROL LISTS AN...

VOUCHING FOR USER ACCOUNT USING SOCIAL NETWORKING RELATIONSHIP

Host Agnostic Integration and Interoperation System

AUTOMATIC DETECTION OF SEARCH RESULTS POISONING ATTACKS

USING SOCIAL GRAPHS TO COMBAT MALICIOUS ATTACKS

AUTOMATIC IDENTIFICATION OF TRAVEL AND NON-TRAVEL NETWORK ADDRESSES

IDENTIFYING MALICIOUS QUERIES

HOST ACCOUNTABILITY USING UNRELIABLE IDENTIFIERS

BLOCKING MALICIOUS ACTIVITY USING BLACKLIST

IMPLEMENTATIONS OF PROGRAM RUNTIME CHECKS

TRANSACTIONAL MEMORY COMPATIBILITY MANAGEMENT

Transactional Memory System

SOFTWARE ISOLATED DEVICE DRIVER ARCHITECTURE

TRANSACTIONAL MEMORY WITH DYNAMIC SEPARATION

TRANSACTIONAL MEMORY WITH DYNAMIC SEPARATION

SYNCHRONIZING SPLIT USER-MODE/KERNEL-MODE DEVICE DRIVER ARCHITECTURE

SPLIT USER-MODE/KERNEL-MODE DEVICE DRIVER ARCHITECTURE

Modal and linear techniques for access control logic

ACCESS CONTROL POLICY IN A WEAKLY-COHERENT DISTRIBUTED COLLECTION

ACCESS CONTROL BASED ON PROGRAM PROPERTIES

Architectural support for software-based protection

Operating system protection against side-channel attacks on secrecy

Verifiable integrity guarantees for machine code programs

Access-Control Permissions with Inter-Process Message-Based Communi...

Statically Verifiable Inter-Process-Communicative Isolated Processes

Searching for information utilizing a probabilistic detector

Systems and methods for pattern matching on principal names to cont...

Systems and methods for identifying principals to control access to...

Software memory access control

Software security based on control flow integrity