Inventor
KOPYLOV ALEXEI
US9 patents
⚠️ This page may combine multiple inventors who share the name “KOPYLOV ALEXEI”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
HRL LAB LLC
8 patentsUS11671436B1Jun 6, 2023
Computational framework for modeling adversarial activities
HRL LAB LLC14 citations84
US10084819B1Sep 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
US10423780B1Sep 24, 2019
System and method for synthesis of correct-by-construction cryptographic software from specification
HRL LAB LLC4 citations71
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
US11695788B1Jul 4, 2023
Filtering strategies for subgraph matching on noisy multiplex networks
HRL LAB LLC0 citations51