Alexei Kopylov

Person

South Pasadena, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Computational framework for modeling adversarial activities
- Patent number 11,671,436
- Issue date Jun 6, 2023
- HRL Laboratories, LLC
- Jiejun Xu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for synthesis of correct-by-construction cryptogr...
- Patent number 10,423,780
- Issue date Sep 24, 2019
- HRL Laboratories, LLC
- Alexei Kopylov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for translating security objectives of computer s...
- Patent number 10,402,584
- Issue date Sep 3, 2019
- HRL Laboratories, LLC
- Alexei Kopylov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Language-based missing function call detection
- Patent number 10,366,232
- Issue date Jul 30, 2019
- HRL Laboratories, LLC
- George Kuan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for detecting source code security flaws through analysis of...
- Patent number 10,084,819
- Issue date Sep 25, 2018
- HRL Laboratories, LLC
- Aleksey Nogin
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
System for information flow security inference through program slicing
- Patent number 9,378,377
- Issue date Jun 28, 2016
- HRL Laboratories, LLC
- George Kuan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Library-based method for information flow integrity enforcement and...
- Patent number 9,317,682
- Issue date Apr 19, 2016
- HRL Laboratories, LLC
- Alexei Kopylov
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Alexei Kopylov

Person

Patents Grantslast 30 patents

Computational framework for modeling adversarial activities

System and method for synthesis of correct-by-construction cryptogr...

System and method for translating security objectives of computer s...

Language-based missing function call detection

System for detecting source code security flaws through analysis of...

System for information flow security inference through program slicing

Library-based method for information flow integrity enforcement and...