Kartik Mohanram

Person

Pittsburgh, PA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Assurance of security rules in a network
- Patent number 11,888,603
- Issue date Jan 30, 2024
- Cisco Technology, Inc.
- Advait Dixit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distributed fault code aggregation across application centric dimen...
- Patent number 11,645,131
- Issue date May 9, 2023
- Cisco Technology, Inc.
- John Thomas Monk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Shim layer for extracting and prioritizing underlying rules for mod...
- Patent number 11,563,645
- Issue date Jan 24, 2023
- Cisco Technology, Inc.
- Advait Dixit
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Generation of counter examples for network intent formal equivalenc...
- Patent number 11,303,531
- Issue date Apr 12, 2022
- Cisco Technologies, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Assurance of security rules in a network
- Patent number 11,218,508
- Issue date Jan 4, 2022
- Cisco Technology, Inc.
- Advait Dixit
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Static network policy analysis for networks
- Patent number 11,178,009
- Issue date Nov 16, 2021
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Assurance of security rules in a network
- Patent number 11,044,273
- Issue date Jun 22, 2021
- Cisco Technology, Inc.
- Advait Dixit
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Identification of conflict rules in a network intent formal equival...
- Patent number 10,951,477
- Issue date Mar 16, 2021
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Assurance of security rules in a network
- Patent number 10,911,495
- Issue date Feb 2, 2021
- Cisco Technology, Inc.
- Advait Dixit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Shim layer for extracting and prioritizing underlying rules for mod...
- Patent number 10,904,101
- Issue date Jan 26, 2021
- Cisco Technology, Inc.
- Advait Dixit
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Assurance of quality-of-service configurations in a network
- Patent number 10,826,788
- Issue date Nov 3, 2020
- Cisco Technology, Inc.
- Chandra Nagarajan
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Policy assurance for service chaining
- Patent number 10,623,264
- Issue date Apr 14, 2020
- Cisco Technology, Inc.
- Ramana Rao Kompella
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Intra-priority class ordering of rules corresponding to a model of...
- Patent number 10,623,271
- Issue date Apr 14, 2020
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Generation of counter examples for network intent formal equivalenc...
- Patent number 10,581,694
- Issue date Mar 3, 2020
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Static network policy analysis for networks
- Patent number 10,560,328
- Issue date Feb 11, 2020
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Network policy analysis for networks
- Patent number 10,554,483
- Issue date Feb 4, 2020
- Cisco Technology, Inc.
- Chandra Nagarajan
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Semantic analysis to detect shadowing of rules in a model of networ...
- Patent number 10,505,816
- Issue date Dec 10, 2019
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Identification of conflict rules in a network intent formal equival...
- Patent number 10,439,875
- Issue date Oct 8, 2019
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Methods and apparatus for designing and constructing multi-port mem...
- Patent number 8,902,672
- Issue date Dec 2, 2014
- Memoir Systems, Inc.
- Sundar Iyer
- G11 - INFORMATION STORAGE

Patents Applicationslast 30 patents

Information Patent Application
APPLICATION ACCESS ANALYZER
- Publication number 20240348627
- Publication date Oct 17, 2024
- PALO ALTO NETWORKS, INC.
- Sameer D. Merchant
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
SECURITY POLICY ANALYSIS
- Publication number 20240348664
- Publication date Oct 17, 2024
- PALO ALTO NETWORKS, INC.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
SECURITY POLICY ANALYSIS
- Publication number 20240348653
- Publication date Oct 17, 2024
- PALO ALTO NETWORKS, INC.
- Navneet Yadav
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
SECURITY POLICY ANALYSIS
- Publication number 20240348654
- Publication date Oct 17, 2024
- PALO ALTO NETWORKS, INC.
- Navneet Yadav
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ASSURANCE OF SECURITY RULES IN A NETWORK
- Publication number 20240146774
- Publication date May 2, 2024
- Cisco Technology, Inc.
- Advait Dixit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISTRIBUTED FAULT CODE AGGREGATION ACROSS APPLICATION CENTRIC DIMEN...
- Publication number 20230236912
- Publication date Jul 27, 2023
- Cisco Technology, Inc.
- John Thomas Monk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ASSURANCE OF SECURITY RULES IN A NETWORK
- Publication number 20210152607
- Publication date May 20, 2021
- Cisco Technology, Inc.
- Advait Dixit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SHIM LAYER FOR EXTRACTING AND PRIORITIZING UNDERLYING RULES FOR MOD...
- Publication number 20210144069
- Publication date May 13, 2021
- Cisco Technology, Inc.
- Advait Dixit
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
GENERATION OF COUNTER EXAMPLES FOR NETWORK INTENT FORMAL EQUIVALENC...
- Publication number 20200204453
- Publication date Jun 25, 2020
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
STATIC NETWORK POLICY ANALYSIS FOR NETWORKS
- Publication number 20200186426
- Publication date Jun 11, 2020
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
IDENTIFICATION OF CONFLICT RULES IN A NETWORK INTENT FORMAL EQUIVAL...
- Publication number 20200036591
- Publication date Jan 30, 2020
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ASSURANCE OF SECURITY RULES IN A NETWORK
- Publication number 20200007582
- Publication date Jan 2, 2020
- Cisco Technology, Inc.
- Advait Dixit
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ASSURANCE OF SECURITY RULES IN A NETWORK
- Publication number 20200007583
- Publication date Jan 2, 2020
- Cisco Technology, Inc.
- Advait Dixit
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ASSURANCE OF SECURITY RULES IN A NETWORK
- Publication number 20200007584
- Publication date Jan 2, 2020
- Cisco Technology, Inc.
- Advait Dixit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SHIM LAYER FOR EXTRACTING AND PRIORITIZING UNDERLYING RULES FOR MOD...
- Publication number 20180367417
- Publication date Dec 20, 2018
- Cisco Technology, Inc.
- Advait Dixit
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DISTRIBUTED FAULT CODE AGGREGATION ACROSS APPLICATION CENTRIC DIMEN...
- Publication number 20180365095
- Publication date Dec 20, 2018
- Cisco Technology, Inc.
- John Thomas Monk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION OF COUNTER EXAMPLES FOR NETWORK INTENT FORMAL EQUIVALENC...
- Publication number 20180351818
- Publication date Dec 6, 2018
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
NETWORK POLICY ANALYSIS FOR NETWORKS
- Publication number 20180351791
- Publication date Dec 6, 2018
- Cisco Technology, Inc.
- Chandra Nagarajan
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
IDENTIFICATION OF CONFLICT RULES IN A NETWORK INTENT FORMAL EQUIVAL...
- Publication number 20180351804
- Publication date Dec 6, 2018
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
INTENT SPECIFICATION CHECKS FOR INCONSISTENCIES
- Publication number 20180351806
- Publication date Dec 6, 2018
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
SEMANTIC ANALYSIS TO DETECT SHADOWING OF RULES IN A MODEL OF NETWOR...
- Publication number 20180351819
- Publication date Dec 6, 2018
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
INTRA-PRIORITY CLASS ORDERING OF RULES CORRESPONDING TO A MODEL OF...
- Publication number 20180351822
- Publication date Dec 6, 2018
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ASSURANCE OF QUALITY-OF-SERVICE CONFIGURATIONS IN A NETWORK
- Publication number 20180309640
- Publication date Oct 25, 2018
- Cisco Technology, Inc.
- Chandra Nagarajan
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
STATIC NETWORK POLICY ANALYSIS FOR NETWORKS
- Publication number 20180309629
- Publication date Oct 25, 2018
- Cisco Technology, Inc.
- Kartik Mohanram
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
POLICY ASSURANCE FOR SERVICE CHAINING
- Publication number 20180309632
- Publication date Oct 25, 2018
- Cisco Technology, Inc.
- Ramana Rao Kompella
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Kartik Mohanram

Person

Patents Grantslast 30 patents

Assurance of security rules in a network

Distributed fault code aggregation across application centric dimen...

Shim layer for extracting and prioritizing underlying rules for mod...

Generation of counter examples for network intent formal equivalenc...

Assurance of security rules in a network

Static network policy analysis for networks

Assurance of security rules in a network

Identification of conflict rules in a network intent formal equival...

Assurance of security rules in a network

Shim layer for extracting and prioritizing underlying rules for mod...

Assurance of quality-of-service configurations in a network

Policy assurance for service chaining

Intra-priority class ordering of rules corresponding to a model of...

Generation of counter examples for network intent formal equivalenc...

Static network policy analysis for networks

Network policy analysis for networks

Semantic analysis to detect shadowing of rules in a model of networ...

Identification of conflict rules in a network intent formal equival...

Methods and apparatus for designing and constructing multi-port mem...

Patents Applicationslast 30 patents

APPLICATION ACCESS ANALYZER

SECURITY POLICY ANALYSIS

SECURITY POLICY ANALYSIS

SECURITY POLICY ANALYSIS

ASSURANCE OF SECURITY RULES IN A NETWORK

DISTRIBUTED FAULT CODE AGGREGATION ACROSS APPLICATION CENTRIC DIMEN...

ASSURANCE OF SECURITY RULES IN A NETWORK

SHIM LAYER FOR EXTRACTING AND PRIORITIZING UNDERLYING RULES FOR MOD...

GENERATION OF COUNTER EXAMPLES FOR NETWORK INTENT FORMAL EQUIVALENC...

STATIC NETWORK POLICY ANALYSIS FOR NETWORKS

IDENTIFICATION OF CONFLICT RULES IN A NETWORK INTENT FORMAL EQUIVAL...

ASSURANCE OF SECURITY RULES IN A NETWORK

ASSURANCE OF SECURITY RULES IN A NETWORK

ASSURANCE OF SECURITY RULES IN A NETWORK

SHIM LAYER FOR EXTRACTING AND PRIORITIZING UNDERLYING RULES FOR MOD...

DISTRIBUTED FAULT CODE AGGREGATION ACROSS APPLICATION CENTRIC DIMEN...

GENERATION OF COUNTER EXAMPLES FOR NETWORK INTENT FORMAL EQUIVALENC...

NETWORK POLICY ANALYSIS FOR NETWORKS

IDENTIFICATION OF CONFLICT RULES IN A NETWORK INTENT FORMAL EQUIVAL...

INTENT SPECIFICATION CHECKS FOR INCONSISTENCIES

SEMANTIC ANALYSIS TO DETECT SHADOWING OF RULES IN A MODEL OF NETWOR...

INTRA-PRIORITY CLASS ORDERING OF RULES CORRESPONDING TO A MODEL OF...

ASSURANCE OF QUALITY-OF-SERVICE CONFIGURATIONS IN A NETWORK

STATIC NETWORK POLICY ANALYSIS FOR NETWORKS

POLICY ASSURANCE FOR SERVICE CHAINING