Hakjoo Oh

Person

Seoul, KR

People

Patents Grantslast 30 patents

Information Patent Grant
Method for feedback of program
- Patent number 12,253,909
- Issue date Mar 18, 2025
- Korea University Research and Business Foundation
- Hakjoo Oh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically pruning search space of symbolic execution...
- Patent number 12,086,055
- Issue date Sep 10, 2024
- Korea University Research and Business Foundation
- Hakjoo Oh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Device and method for automatically repairing memory deallocation e...
- Patent number 10,922,209
- Issue date Feb 16, 2021
- Korea University Research and Business Foundation
- Hakjoo Oh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically generating search heuristics and performin...
- Patent number 10,853,230
- Issue date Dec 1, 2020
- Korea University Research and Business Foundation
- Sooyoung Cha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically generating search heuristics and performin...
- Patent number 10,678,680
- Issue date Jun 9, 2020
- Korea University Research and Business Foundation
- Sooyoung Cha
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROGRAM ANALYSIS DEVICE AND METHOD
- Publication number 20240184685
- Publication date Jun 6, 2024
- Korea University Research and Business Foundation
- Hakjoo OH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR REPAIRING NULL POINTER EXCEPTION
- Publication number 20240176691
- Publication date May 30, 2024
- Korea University Research and Business Foundation
- Hakjoo OH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR FEEDBACK OF PROGRAM
- Publication number 20230145720
- Publication date May 11, 2023
- Korea University Research and Business Foundation
- Hakjoo OH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPARATUS AND METHOD FOR OBTAINING VULNERABLE TRANSACTION SEQUENCE...
- Publication number 20220358223
- Publication date Nov 10, 2022
- Korea University Research and Business Foundation
- Hakjoo OH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR AUTOMATICALLY PRUNING SEARCH SPACE OF SYMBOLIC EXECUTION...
- Publication number 20220107884
- Publication date Apr 7, 2022
- Korea University Research and Business Foundation
- Hakjoo OH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR AUTOMATICALLY GENERATING SEARCH HEURISTICS AND PERFORMIN...
- Publication number 20200257617
- Publication date Aug 13, 2020
- Korea University Research and Business Foundation
- Sooyoung CHA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEVICE AND METHOD FOR AUTOMATICALLY REPAIRING MEMORY DEALLOCATION E...
- Publication number 20190361790
- Publication date Nov 28, 2019
- Korea University Research and Business Foundation
- Hakjoo OH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR AUTOMATICALLY GENERATING SEARCH HEURISTICS AND PERFORMIN...
- Publication number 20190258566
- Publication date Aug 22, 2019
- Korea University Research and Business Foundation
- Sooyoung CHA
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Method for feedback of program

Method for automatically pruning search space of symbolic execution...

Device and method for automatically repairing memory deallocation e...

Method for automatically generating search heuristics and performin...

Method for automatically generating search heuristics and performin...

Patents Applicationslast 30 patents

PROGRAM ANALYSIS DEVICE AND METHOD

METHOD FOR REPAIRING NULL POINTER EXCEPTION

METHOD FOR FEEDBACK OF PROGRAM

APPARATUS AND METHOD FOR OBTAINING VULNERABLE TRANSACTION SEQUENCE...

METHOD FOR AUTOMATICALLY PRUNING SEARCH SPACE OF SYMBOLIC EXECUTION...

METHOD FOR AUTOMATICALLY GENERATING SEARCH HEURISTICS AND PERFORMIN...

DEVICE AND METHOD FOR AUTOMATICALLY REPAIRING MEMORY DEALLOCATION E...

METHOD FOR AUTOMATICALLY GENERATING SEARCH HEURISTICS AND PERFORMIN...