Inventor

KRISHNAN PADMANABHAN

AU43 patents

⚠️ This page may combine multiple inventors who share the name “KRISHNAN PADMANABHAN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

KRISHNAN PADMANABHAN

ORACLE INT CORP

Alias analysis using labelled access paths

Inferring security-sensitive entities in libraries

Scalable provenance generation from points-to information

Combining type-analysis with points-to analysis for analyzing library source-code

Compositional string analysis

Synthesis of deserialization filters from positive and negative examples

Verification of software-defined networking (SDN) policies for specific topologies

Evaluation of library test suites using mutation testing

Detecting second-order security vulnerabilities via modelling information flow through persistent storage

Detecting second-order security vulnerabilities via modelling information flow through persistent storage

Combining allowlist and blocklist support in data queries

Query generalization for prevention of injection attacks

Detecting security vulnerabilities in queries via an information flow graph

Scalable incremental analysis using caller and callee summaries

Upgrading an application using boolean satisfiability solving

Build process security framework

Buffer overflow detection based on a synthesis of assertions from templates and k-induction

Coverage of web application analysis

Staged points-to analysis for large code bases

Developing a programming language model for machine learning tasks

Scalable points-to analysis via multiple slicing

Scalable incremental analysis using caller and callee summaries

Staged refinement for static analysis

Selective object sensitive points-to analysis

Modular points-to analysis

Automatic linearizability checking of operations on concurrent data structures

CISCO TECH INC

Method and device for efficient transmission of flood data frames in a backbone network

Techniques for interconnection of controller- and protocol-based virtual networks

System and method for automatically detecting and configuring server uplink network interface

Mitigating network/hardware address explosion in network devices

Mitigating network/hardware address explosion in network devices

Span session monitoring

System and method for automatically detecting and configuring server uplink network interface

Flexible and scalable monitoring in a TRILL network

Network-aware workload placement in a data center

Network-aware workload placement in a data center

IBM

Hyper-threaded processor allocation to nodes in multi-tenant distributed software systems

Machine learning with differently masked data in secure multi-party computing

Hyper-threaded processor allocation to nodes in multi-tenant distributed software systems

Masking text data for secure multiparty computation

KAPADIA SHYAM

Provisoning of a new node joining an existing cluster in a data center environment

BRACHER SHANE

Owner-controlled access control to released data

ORACLE INT CORPROATION

Policy engine for supply chain security analysis