Inventor
KUAN GEORGE
US8 patents
Patents
8 patentsUS10084819B1Sep 25, 2018
System for detecting source code security flaws through analysis of code history
HRL LAB LLC13 citations82
US9378377B1Jun 28, 2016
System for information flow security inference through program slicing
HRL LAB LLC11 citations82
US9317682B1Apr 19, 2016
Library-based method for information flow integrity enforcement and robust information flow policy development
HRL LAB LLC13 citations82
US10402584B1Sep 3, 2019
System and method for translating security objectives of computer software to properties of software code
HRL LAB LLC2 citations71
US10366232B1Jul 30, 2019
Language-based missing function call detection
HRL LAB LLC2 citations71
US10977376B1Apr 13, 2021
Method for session workflow information flow analysis
HRL LAB LLC3 citations70
US10430587B2Oct 1, 2019
System and method for maintaining security tags and reference counts for objects in computer memory
HRL LAB LLC1 citations61
US11017082B1May 25, 2021
Method for session workflow information flow analysis
HRL LAB LLC1 citations60