Joon-Myung Kang

Person

Palo Alto, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Network testing using a programmable packet engine
- Patent number 11,595,289
- Issue date Feb 28, 2023
- BAREFOOT NETWORKS, INC.
- Jeongkeun Lee
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Determining violation of a network invariant
- Patent number 11,095,518
- Issue date Aug 17, 2021
- Hewlett Packard Enterprise Development LP
- Ying Zhang
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Network policy graphs
- Patent number 10,992,520
- Issue date Apr 27, 2021
- Hewlett Packard Enterprise Development LP
- Junggun Lee
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Verify a network function by inquiring a model using a query language
- Patent number 10,958,547
- Issue date Mar 23, 2021
- Hewlett Packard Enterprise Development LP
- Ying Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating composite network policy
- Patent number 10,812,342
- Issue date Oct 20, 2020
- Hewlett Packard Enterprise Development LP
- Joon Myung Kang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Encoding and verifying network intents for stateful networks
- Patent number 10,771,342
- Issue date Sep 8, 2020
- Hewlett Packard Enterprises Development LP
- Joon-Myung Kang
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Verifying whether connectivity in a composed policy graph reflects...
- Patent number 10,567,384
- Issue date Feb 18, 2020
- Hewlett Packard Enterprise Development LP
- Joon-Myung Kang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining violation of a network invariant
- Patent number 10,541,873
- Issue date Jan 21, 2020
- Hewlett Packard Enterprise Development LP
- Ying Zhang
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
NETWORK TESTING USING A PROGRAMMABLE PACKET ENGINE
- Publication number 20200313999
- Publication date Oct 1, 2020
- Barefoot Networks, Inc.
- Jeongkeun LEE
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DETERMINING VIOLATION OF A NETWORK INVARIANT
- Publication number 20200186429
- Publication date Jun 11, 2020
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Ying ZHANG
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ENCODING AND VERIFYING NETWORK INTENTS FOR STATEFUL NETWORKS
- Publication number 20200136917
- Publication date Apr 30, 2020
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Joon-Myung Kang
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
VERIFYING NETWORK INTENTS
- Publication number 20190238410
- Publication date Aug 1, 2019
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Joon Myung Kang
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
VERIFYING WHETHER CONNECTIVITY IN A COMPOSED POLICY GRAPH REFLECTS...
- Publication number 20190068598
- Publication date Feb 28, 2019
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Joon-Myung Kang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING VIOLATION OF A NETWORK INVARIANT
- Publication number 20180331909
- Publication date Nov 15, 2018
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Ying ZHANG
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
INFERRING A LABEL NAMESPACE
- Publication number 20180314957
- Publication date Nov 1, 2018
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Joon Myung Kang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING COMPOSITE NETWORK POLICY
- Publication number 20180316576
- Publication date Nov 1, 2018
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Joon Myung Kang
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DISTRIBUTED DATA STRUCTURE IN A SOFTWARE DEFINED NETWORKING ENVIRON...
- Publication number 20180205790
- Publication date Jul 19, 2018
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Anu Mercian
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
VERIFY A NETWORK FUNCTION BY INQUIRING A MODEL USING A QUERY LANGUAGE
- Publication number 20180077037
- Publication date Mar 15, 2018
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Ying Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NETWORK POLICY GRAPHS
- Publication number 20170222873
- Publication date Aug 3, 2017
- HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- Jung Gun Lee
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Joon-Myung Kang

Person

Patents Grantslast 30 patents

Network testing using a programmable packet engine

Determining violation of a network invariant

Network policy graphs

Verify a network function by inquiring a model using a query language

Generating composite network policy

Encoding and verifying network intents for stateful networks

Verifying whether connectivity in a composed policy graph reflects...

Determining violation of a network invariant

Patents Applicationslast 30 patents

NETWORK TESTING USING A PROGRAMMABLE PACKET ENGINE

DETERMINING VIOLATION OF A NETWORK INVARIANT

ENCODING AND VERIFYING NETWORK INTENTS FOR STATEFUL NETWORKS

VERIFYING NETWORK INTENTS

VERIFYING WHETHER CONNECTIVITY IN A COMPOSED POLICY GRAPH REFLECTS...

DETERMINING VIOLATION OF A NETWORK INVARIANT

INFERRING A LABEL NAMESPACE

GENERATING COMPOSITE NETWORK POLICY

DISTRIBUTED DATA STRUCTURE IN A SOFTWARE DEFINED NETWORKING ENVIRON...

VERIFY A NETWORK FUNCTION BY INQUIRING A MODEL USING A QUERY LANGUAGE

NETWORK POLICY GRAPHS