Membership
Tour
Register
Log in
Padmanabhan Krishnan
Follow
Person
Varsity Lakes, AU
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Detecting security vulnerabilities in queries via an information fl...
Patent number
11,860,679
Issue date
Jan 2, 2024
Oracle International Corporation
Kostyantyn Vorobyov
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Alias analysis using labelled access paths
Patent number
11,847,044
Issue date
Dec 19, 2023
Oracle International Corporation
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Detecting second-order security vulnerabilities via modelling infor...
Patent number
11,734,432
Issue date
Aug 22, 2023
Oracle International Corporation
Raghavendra Kagalavadi Ramesh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Upgrading an application using boolean satisfiability solving
Patent number
11,698,784
Issue date
Jul 11, 2023
Oracle International Corporation
David Maine
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Scalable points-to analysis via multiple slicing
Patent number
11,593,249
Issue date
Feb 28, 2023
Oracle International Corporation
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Coverage of web application analysis
Patent number
11,580,228
Issue date
Feb 14, 2023
Oracle International Corporation
Anastasios Antoniadis
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Synthesis of deserialization filters from positive and negative exa...
Patent number
11,494,489
Issue date
Nov 8, 2022
Oracle International Corporation
Kostyantyn Vorobyov
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Scalable incremental analysis using caller and callee summaries
Patent number
11,210,201
Issue date
Dec 28, 2021
Oracle International Corporation
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Detecting second-order security vulnerabilities via modelling infor...
Patent number
11,163,888
Issue date
Nov 2, 2021
Oracle International Corporation
Raghavendra Kagalavadi Ramesh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verification of software-defined networking (SDN) policies for spec...
Patent number
11,159,381
Issue date
Oct 26, 2021
Oracle International Corporation
Henry John O'Brien
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
Buffer overflow detection based on a synthesis of assertions from t...
Patent number
11,030,304
Issue date
Jun 8, 2021
Oracle International Corporation
Francois Gauthier
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Scalable incremental analysis using caller and callee summaries
Patent number
10,824,538
Issue date
Nov 3, 2020
Oracle International Corporation
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Compositional string analysis
Patent number
10,719,424
Issue date
Jul 21, 2020
Oracle International Corporation
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Evaluation of library test suites using mutation testing
Patent number
10,705,949
Issue date
Jul 7, 2020
Oracle International Corporation
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic linearizability checking of operations on concurrent data...
Patent number
10,552,408
Issue date
Feb 4, 2020
Oracle International Corporation
Patrick James Doolan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Staged refinement for static analysis
Patent number
10,540,255
Issue date
Jan 21, 2020
Oracle International Corporation
Raghavendra Kagalavadi Ramesh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Modular points-to analysis
Patent number
10,528,344
Issue date
Jan 7, 2020
Oracle International Corporation
Johannes Späth
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Selective object sensitive points-to analysis
Patent number
10,318,257
Issue date
Jun 11, 2019
Oracle International Corporation
Behnaz Hassanshahi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Scalable provenance generation from points-to information
Patent number
9,811,322
Issue date
Nov 7, 2017
Oracle International Corporation
Stepan Sindelar
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Inferring security-sensitive entities in libraries
Patent number
9,807,101
Issue date
Oct 31, 2017
Oracle International Corporation
Yi Lu
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
Staged points-to analysis for large code bases
Patent number
9,367,307
Issue date
Jun 14, 2016
Oracle International Corporation
Nicholas Allen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Owner-controlled access control to released data
Patent number
9,361,467
Issue date
Jun 7, 2016
SAP SE
Shane Bracher
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Combining type-analysis with points-to analysis for analyzing libra...
Patent number
9,336,397
Issue date
May 10, 2016
Oracle International Corporation
Nicholas John Allen
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
BUILD PROCESS SECURITY FRAMEWORK
Publication number
20240054232
Publication date
Feb 15, 2024
ORACLE INTERNATIONAL CORPORATION
Trong Nhan MAI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
QUERY GENERALIZATION FOR PREVENTION OF INJECTION ATTACKS
Publication number
20230267203
Publication date
Aug 24, 2023
ORACLE INTERNATIONAL CORPORATION
Kostyantyn Vorobyov
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DETECTING SECURITY VULNERABILITIES IN QUERIES VIA AN INFORMATION FL...
Publication number
20230169180
Publication date
Jun 1, 2023
ORACLE INTERNATIONAL CORPORATION
Kostyantyn Vorobyov
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
UPGRADING AN APPLICATION USING BOOLEAN SATISFIABILITY SOLVING
Publication number
20230134419
Publication date
May 4, 2023
ORACLE INTERNATIONAL CORPORATION
David Maine
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
ALIAS ANALYSIS USING LABELLED ACCESS PATHS
Publication number
20230072019
Publication date
Mar 9, 2023
ORACLE INTERNATIONAL CORPORATION
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DETECTING SECOND-ORDER SECURITY VULNERABILITIES VIA MODELLING INFOR...
Publication number
20220019677
Publication date
Jan 20, 2022
ORACLE INTERNATIONAL CORPORATION
Raghavendra Kagalavadi Ramesh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
COVERAGE OF WEB APPLICTION ANALYSIS
Publication number
20210157924
Publication date
May 27, 2021
ORACLE INTERNATIONAL CORPORATION
Anastasios Antoniadis
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SCALABLE INCREMENTAL ANALYSIS USING CALLER AND CALLEE SUMMARIES
Publication number
20210064510
Publication date
Mar 4, 2021
ORACLE INTERNATIONAL CORPORATION
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VERIFICATION OF SOFTWARE-DEFINED NETWORKING (SDN) POLICIES FOR SPEC...
Publication number
20210036926
Publication date
Feb 4, 2021
ORACLE INTERNATIONAL CORPORATION
Henry John O'Brien
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
DETECTING SECOND-ORDER SECURITY VULNERABILITIES VIA MODELLING INFOR...
Publication number
20200265143
Publication date
Aug 20, 2020
ORACLE INTERNATIONAL CORPORATION
Raghavendra Kagalavadi Ramesh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SCALABLE INCREMENTAL ANALYSIS USING CALLER AND CALLEE SUMMARIES
Publication number
20200233777
Publication date
Jul 23, 2020
ORACLE INTERNATIONAL CORPORATION
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
BUFFER OVERFLOW DETECTION BASED ON A SYNTHESIS OF ASSERTIONS FROM T...
Publication number
20200042697
Publication date
Feb 6, 2020
ORACLE INTERNATIONAL CORPORATION
Francois Gauthier
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
EVALUATION OF LIBRARY TEST SUITES USING MUTATION TESTING
Publication number
20190138433
Publication date
May 9, 2019
ORACLE INTERNATIONAL CORPORATION
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
STAGED REFINEMENT FOR STATIC ANALYSIS
Publication number
20190129826
Publication date
May 2, 2019
ORACLE INTERNATIONAL CORPORATION
Raghavendra Kagalavadi Ramesh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
MODULAR POINTS-TO ANALYSIS
Publication number
20190065180
Publication date
Feb 28, 2019
ORACLE INTERNATIONAL CORPORATION
Johannes Späth
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
AUTOMATIC LINEARIZABILITY CHECKING
Publication number
20180121488
Publication date
May 3, 2018
ORACLE INTERNATIONAL CORPORATION
Patrick James Doolan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SCALABLE PROVENANCE GENERATION FROM POINTS-TO INFORMATION
Publication number
20170344348
Publication date
Nov 30, 2017
ORACLE INTERNATIONAL CORPORATION
Stepan Sindelar
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SELECTIVE OBJECT SENSITIVE POINTS-TO ANALYSIS
Publication number
20170337118
Publication date
Nov 23, 2017
ORACLE INTERNATIONAL CORPORATION
Behnaz Hassanshahi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
INFERRING SECURITY-SENSITIVE ENTITIES IN LIBRARIES
Publication number
20170318026
Publication date
Nov 2, 2017
ORACLE INTERNATIONAL CORPORATION
Yi Lu
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Scalable points-to analysis via multiple slicing
Publication number
20170185504
Publication date
Jun 29, 2017
ORACLE INTERNATIONAL CORPORATION
Padmanabhan Krishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
STAGED POINTS-TO ANALYSIS FOR LARGE CODE BASES
Publication number
20160110191
Publication date
Apr 21, 2016
ORACLE INTERNATIONAL CORPORATION
Nicholas Allen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
COMBINING TYPE-ANALYSIS WITH POINTS-TO ANALYSIS FOR ANALYZING LIBRA...
Publication number
20150379271
Publication date
Dec 31, 2015
ORACLE INTERNATIONAL CORPORATION
Nicholas John Allen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
OWNER-CONTROLLED ACCESS CONTROL TO RELEASED DATA
Publication number
20130227285
Publication date
Aug 29, 2013
SAP AG
Shane Bracher
G06 - COMPUTING CALCULATING COUNTING