Inventor · disambiguated record
Martin Abadi
Also filed as: ABADI MARTIN
42 granted patents·8 pending applications·3,282 citations·filing 1990–2023
99Inventor score
Top patents by PatentIndex Score
50 records- 0199US5235642AAccess control subsystem and method for distributed computer system using locally cached authentication credentialsDIGITAL EQUIPMENT CORP·Filed 1992·Granted Aug 10, 1993·709 cites·9 claims
- 0297US6195698B1Method for selectively restricting access to computer systemsCOMPAQ COMPUTER CORP·Filed 1998·Granted Feb 27, 2001·465 cites·75 claims
- 0397US5805803ASecure web tunnelDIGITAL EQUIPMENT CORP·Filed 1997·Granted Sep 8, 1998·531 cites·19 claims
- 0496US5315657ACompound principals in access control listsDIGITAL EQUIPMENT CORP·Filed 1990·Granted May 24, 1994·303 cites·8 claims
- 0595US5173939AAccess control subsystem and method for distributed computer system using compound principalsDIGITAL EQUIPMENT CORP·Filed 1991·Granted Dec 22, 1992·245 cites·14 claims
- 0693US7577992B2Software security based on control flow integrityMICROSOFT CORP·Filed 2005·Granted Aug 18, 2009·44 cites·17 claims
- 0792US8434150B2Using social graphs to combat malicious attacksXIE YINGLIAN·Filed 2011·Granted Apr 30, 2013·38 cites·20 claims
- 0892US8239954B2Access control based on program propertiesWOBBER EDWARD P·Filed 2007·Granted Aug 7, 2012·38 cites·20 claims
- 0992US8104021B2Verifiable integrity guarantees for machine code programsERLINGSSON ULFAR·Filed 2006·Granted Jan 24, 2012·54 cites·20 claims
- 1091US8615605B2Automatic identification of travel and non-travel network addressesYU FANG·Filed 2010·Granted Dec 24, 2013·29 cites·20 claims
- 1190US8387145B2Blocking malicious activity using blacklistMICROSOFT CORP·Filed 2009·Granted Feb 26, 2013·22 cites·15 claims
- 1290US8266604B2Transactional memory compatibility managementGROFF DANA·Filed 2009·Granted Sep 11, 2012·34 cites·19 claims
- 1390US8136091B2Architectural support for software-based protectionERLINGSSON ULFAR·Filed 2007·Granted Mar 13, 2012·25 cites·5 claims
- 1489US8495742B2Identifying malicious queriesABADI MARTIN·Filed 2010·Granted Jul 23, 2013·27 cites·20 claims
- 1589US7149801B2Memory bound functions for spam deterrence and the likeMICROSOFT CORP·Filed 2002·Granted Dec 12, 2006·63 cites·36 claims
- 1688US9319469B2Host agnostic integration and interoperation systemRUHLEN MATTHEW JAMES·Filed 2011·Granted Apr 19, 2016·25 cites·20 claims
- 1787US7337291B2Software memory access controlMICROSOFT CORP·Filed 2005·Granted Feb 26, 2008·20 cites·20 claims
- 1886US11308385B2Encoding and reconstructing inputs using neural networksGOOGLE LLC·Filed 2017·Granted Apr 19, 2022·8 cites·19 claims
- 1986US10044718B2Authorization in a distributed system using access control lists and groupsGOOGLE LLC·Filed 2015·Granted Aug 7, 2018·6 cites·18 claims
- 2084US7870336B2Operating system protection against side-channel attacks on secrecyMICROSOFT CORP·Filed 2006·Granted Jan 11, 2011·13 cites·19 claims
- 2184US7716734B2Systems and methods for pattern matching on principal names to control access to computing resourcesMICROSOFT CORP·Filed 2005·Granted May 11, 2010·14 cites·17 claims
- 2283US7788637B2Operating system process identificationMICROSOFT CORP·Filed 2005·Granted Aug 31, 2010·10 cites·19 claims
- 2382US8185783B2Split user-mode/kernel-mode device driver architectureLEE MINGTZONG·Filed 2007·Granted May 22, 2012·14 cites·18 claims
- 2482US7730058B2Searching for information utilizing a probabilistic detectorMICROSOFT CORP·Filed 2005·Granted Jun 1, 2010·12 cites·16 claims
- 2582US6141760ASystem and method for generating unique passwordsCOMPAQ COMPUTER CORP·Filed 1997·Granted Oct 31, 2000·105 cites·20 claims
- 2681US8185613B2Host accountability using unreliable identifiersXIE YINGLIAN·Filed 2009·Granted May 22, 2012·10 cites·14 claims
- 2781US6079021AMethod and apparatus for strengthening passwords for protection of computer systemsDIGITAL EQUIPMENT CORP·Filed 1997·Granted Jun 20, 2000·121 cites·33 claims
- 2880US7203833B1History based rights computation for managed codeMICROSOFT CORP·Filed 2002·Granted Apr 10, 2007·28 cites·54 claims
- 2979US7908265B2Transactional memory with dynamic separationMICROSOFT CORP·Filed 2008·Granted Mar 15, 2011·11 cites·12 claims
- 3079US7865934B2Access-control permissions with inter-process message-based communicationsMICROSOFT CORP·Filed 2006·Granted Jan 4, 2011·9 cites·13 claims
- 3177US8997220B2Automatic detection of search results poisoning attacksYU FANG·Filed 2011·Granted Mar 31, 2015·5 cites·14 claims
- 3277US5268962AComputer network with modified host-to-host encryption keysDIGITAL EQUIPMENT CORP·Filed 1992·Granted Dec 7, 1993·85 cites·26 claims
- 3375US8180986B2Memory conflict detection via mapping of the physical heap to control access permissions to the memoryHARRIS TIMOTHY·Filed 2008·Granted May 15, 2012·8 cites·18 claims
- 3474US8745738B2Vouching for user account using social networking relationshipXIE YINGLIAN·Filed 2012·Granted Jun 3, 2014·1 cites·20 claims
- 3574US2024185032A1Encoding and reconstructing inputs using neural networksGOOGLE LLC·Filed 2023·Application pending·0 cites
- 3673US6253370B1Method and apparatus for annotating a computer program to facilitate subsequent processing of the programCOMPAQ COMPUTER CORP·Filed 1997·Granted Jun 26, 2001·64 cites·16 claims
- 3770US7600232B2Inter-process communications employing bi-directional message conduitsMICROSOFT CORP·Filed 2004·Granted Oct 6, 2009·15 cites·40 claims
- 3869US11853860B2Encoding and reconstructing inputs using neural networksGOOGLE LLC·Filed 2022·Granted Dec 26, 2023·0 cites·15 claims
- 3965US8505065B2Access control policy in a weakly-coherent distributed collectionWOBBER EDWARD P·Filed 2007·Granted Aug 6, 2013·3 cites·10 claims
- 4063US8434098B2Synchronizing split user-mode/kernel-mode device driver architectureLEE MINGTZONG·Filed 2008·Granted Apr 30, 2013·4 cites·14 claims
- 4162US8020141B2Operating-system process constructionMICROSOFT CORP·Filed 2004·Granted Sep 13, 2011·6 cites·54 claims
- 4256US5940619ADynamic fine-grained dependency analysis for a functional languageDIGITAL EQUIPMENT CORP·Filed 1996·Granted Aug 17, 1999·35 cites·10 claims
- 4349US6480502B1Method for avoiding broadcast deadlocks in a mesh-connected networkCOMPAQ INFORMATION TECHNOLOGIE·Filed 1998·Granted Nov 12, 2002·23 cites·24 claims
- 4447US2009083832A1Modal and linear techniques for access control logicMICROSOFT CORP·Filed 2007·Application pending·0 cites
- 4546US2009210888A1Software isolated device driver architectureMICROSOFT CORP·Filed 2008·Application pending·0 cites
- 4646US2010192026A1Implementations of program runtime checksMICROSOFT CORP·Filed 2009·Application pending·0 cites
- 4745US2009204969A1Transactional memory with dynamic separationMICROSOFT CORP·Filed 2008·Application pending·0 cites
- 4844US2007094495A1Statically Verifiable Inter-Process-Communicative Isolated ProcessesMICROSOFT CORP·Filed 2006·Application pending·0 cites
- 4943US2006265759A1Systems and methods for identifying principals to control access to computing resourcesMICROSOFT CORP·Filed 2005·Application pending·0 cites
- 5043US2002150056A1Method for avoiding broadcast deadlocks in a mesh-connected networkFiled 2002·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Martin Abadi files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →