Inventor · disambiguated record
Alexei Kopylov
Also filed as: KOPYLOV ALEXEI
9 granted patents·1 pending application·61 citations·filing 2012–2023
86Inventor score
Top patents by PatentIndex Score
10 records- 0196US11671436B1Computational framework for modeling adversarial activitiesHRL LAB LLC·Filed 2020·Granted Jun 6, 2023·14 cites·12 claims
- 0289US12397828B2Weather-informed path planning for a vehicleGM GLOBAL TECH OPERATIONS LLC·Filed 2023·Granted Aug 26, 2025·2 cites·20 claims
- 0388US10084819B1System for detecting source code security flaws through analysis of code historyHRL LAB LLC·Filed 2014·Granted Sep 25, 2018·13 cites·16 claims
- 0487US9317682B1Library-based method for information flow integrity enforcement and robust information flow policy developmentHRL LAB LLC·Filed 2012·Granted Apr 19, 2016·13 cites·12 claims
- 0586US9378377B1System for information flow security inference through program slicingHRL LAB LLC·Filed 2014·Granted Jun 28, 2016·11 cites·12 claims
- 0684US10423780B1System and method for synthesis of correct-by-construction cryptographic software from specificationHRL LAB LLC·Filed 2017·Granted Sep 24, 2019·4 cites·20 claims
- 0775US10366232B1Language-based missing function call detectionHRL LAB LLC·Filed 2016·Granted Jul 30, 2019·2 cites·18 claims
- 0874US10402584B1System and method for translating security objectives of computer software to properties of software codeHRL LAB LLC·Filed 2016·Granted Sep 3, 2019·2 cites·21 claims
- 0950US2024303404A1Using machine vision to solve industrial boolean satisfiability (sat) problemsHRL LAB LLC·Filed 2023·Application pending·0 cites
- 1043US11695788B1Filtering strategies for subgraph matching on noisy multiplex networksHRL LAB LLC·Filed 2020·Granted Jul 4, 2023·0 cites·12 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →