Aleksey Nogin

Person

Fresno, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Neural network architecture for small LIDAR processing networks for...
- Patent number 11,928,585
- Issue date Mar 12, 2024
- HRL Laboratories, LLC
- Christopher Serrano
- B60 - VEHICLES IN GENERAL
Information Patent Grant
Low-overhead software transformation to enforce information securit...
- Patent number 10,904,291
- Issue date Jan 26, 2021
- HRL Laboratories, LLC
- David Naumann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Anonymous allocation and majority voting in a compromised environment
- Patent number 10,887,092
- Issue date Jan 5, 2021
- HRL Laboratories, LLC
- Joshua W. Baron
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for consensus ordering of broadcast messages
- Patent number 10,862,908
- Issue date Dec 8, 2020
- HRL Laboratories, LLC
- Aleksey Nogin
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
High-assurance network gateway generators
- Patent number 10,691,282
- Issue date Jun 23, 2020
- HRL Laboratories, LLC
- Aleksey Nogin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semi-robust protocols for secure multiparty computation
- Patent number 10,686,597
- Issue date Jun 16, 2020
- HRL Laboratories, LLC
- Joshua D. Lampkins
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
System and method for maintaining security tags and reference count...
- Patent number 10,430,587
- Issue date Oct 1, 2019
- HRL Laboratories, LLC
- George Kuan
- 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 and method for cloud control operations plane based on proac...
- Patent number 9,846,596
- Issue date Dec 19, 2017
- HRL Laboratories, LLC
- Aleksey Nogin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synaptic time multiplexing
- Patent number 9,697,462
- Issue date Jul 4, 2017
- HRL Laboratories, LLC
- Jose M. Cruz-Albrecht
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for generating a singl...
- Patent number 9,600,767
- Issue date Mar 21, 2017
- HRL Laboratories, LLC
- Aleksey Nogin
- G06 - COMPUTING CALCULATING COUNTING
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
Information Patent Grant
Neuromorphic compiler
- Patent number 9,275,328
- Issue date Mar 1, 2016
- HRL Laboratories, LLC
- Kirill Minkovich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and methods for digital artifact genetic modeling and forens...
- Patent number 9,224,067
- Issue date Dec 29, 2015
- HRL Laboratories, LLC
- Tsai-Ching Lu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
System and method for asynchronous explanation and propagation-base...
- Patent number 9,147,160
- Issue date Sep 29, 2015
- Raytheon Company
- Aleksey Nogin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for ensuring that promises are kept in an anonymous system
- Patent number 9,026,786
- Issue date May 5, 2015
- HRL Laboratories, LLC
- Aleksey Nogin
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Revision control server with self-hosting multi-level access contro...
- Patent number 8,990,249
- Issue date Mar 24, 2015
- HRL Laboratories, LLC
- Aleksey Nogin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synaptic time multiplexing neuromorphic network that forms subsets...
- Patent number 8,977,578
- Issue date Mar 10, 2015
- HRL Laboratories, LLC
- Jose M. Cruz-Albrecht
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient source of infeasibility identification in timed automata...
- Patent number 8,645,310
- Issue date Feb 4, 2014
- GM Global Technology Operations LLC
- Shengbing Jiang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Establishing common interest negotiation links between consumers an...
- Patent number 8,370,422
- Issue date Feb 5, 2013
- Raytheon Company
- David W. Payton
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
USING MACHINE VISION TO SOLVE INDUSTRIAL BOOLEAN SATISFIABILITY (SA...
- Publication number 20240303404
- Publication date Sep 12, 2024
- HRL LABORATORIES, LLC
- Christopher R. SERRANO
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NEURAL NETWORK ARCHITECTURE FOR SMALL LIDAR PROCESSING NETWORKS FOR...
- Publication number 20210278854
- Publication date Sep 9, 2021
- HRL LABORATORIES, LLC
- Christopher Serrano
- B60 - VEHICLES IN GENERAL
Information Patent Application
METHOD FOR PROVING OR IDENTIFYING COUNTER-EXAMPLES IN NEURAL NETWOR...
- Publication number 20210279570
- Publication date Sep 9, 2021
- HRL LABORATORIES, LLC
- Michael A. Warren
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR CONSENSUS ORDERING OF BROADCAST MESSAGES
- Publication number 20200084159
- Publication date Mar 12, 2020
- HRL LABORATORIES, LLC
- Aleksey Nogin
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ANONYMOUS ALLOCATION AND MAJORITY VOTING IN A COMPROMISED ENVIRONMENT
- Publication number 20200052890
- Publication date Feb 13, 2020
- HRL LABORATORIES, LLC
- Joshua W. Baron
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HIGH-ASSURANCE NETWORK GATEWAY GENERATORS
- Publication number 20200034539
- Publication date Jan 30, 2020
- HRL LABORATORIES, LLC
- Aleksey Nogin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MAINTAINING SECURITY TAGS AND REFERENCE COUNT...
- Publication number 20170300694
- Publication date Oct 19, 2017
- HRL LABORATORIES, LLC
- George Kuan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FRAMEWORK FOR FINE-GRAIN ACCESS CONTROL FROM HIGH-LEVEL APPLICATION...
- Publication number 20150150119
- Publication date May 28, 2015
- GM GLOBAL TECHNOLOGY OPERATIONS LLC
- GAVIN D. HOLLAND
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR ASYNCHRONOUS EXPLANATION AND PROPAGATION-BASE...
- Publication number 20140207720
- Publication date Jul 24, 2014
- Raytheon Company
- Aleksey Nogin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT SOURCE OF INFEASIBILITY IDENTIFICATION IN TIMED AUTOMATA...
- Publication number 20120246108
- Publication date Sep 27, 2012
- GM GLOBAL TECHNOLOGY OPERATIONS LLC
- Shengbing JIANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Establishing Common Interest Negotiation Links Between Consumers an...
- Publication number 20110196912
- Publication date Aug 11, 2011
- Raytheon Company
- David W. Payton
- G06 - COMPUTING CALCULATING COUNTING

Aleksey Nogin

Person

Patents Grantslast 30 patents

Neural network architecture for small LIDAR processing networks for...

Low-overhead software transformation to enforce information securit...

Anonymous allocation and majority voting in a compromised environment

System and method for consensus ordering of broadcast messages

High-assurance network gateway generators

Semi-robust protocols for secure multiparty computation

System and method for maintaining security tags and reference count...

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 and method for cloud control operations plane based on proac...

Synaptic time multiplexing

System, method, and computer program product for generating a singl...

System for information flow security inference through program slicing

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

Neuromorphic compiler

System and methods for digital artifact genetic modeling and forens...

System and method for asynchronous explanation and propagation-base...

System for ensuring that promises are kept in an anonymous system

Revision control server with self-hosting multi-level access contro...

Synaptic time multiplexing neuromorphic network that forms subsets...

Efficient source of infeasibility identification in timed automata...

Establishing common interest negotiation links between consumers an...

Patents Applicationslast 30 patents

USING MACHINE VISION TO SOLVE INDUSTRIAL BOOLEAN SATISFIABILITY (SA...

NEURAL NETWORK ARCHITECTURE FOR SMALL LIDAR PROCESSING NETWORKS FOR...

METHOD FOR PROVING OR IDENTIFYING COUNTER-EXAMPLES IN NEURAL NETWOR...

SYSTEM AND METHOD FOR CONSENSUS ORDERING OF BROADCAST MESSAGES

ANONYMOUS ALLOCATION AND MAJORITY VOTING IN A COMPROMISED ENVIRONMENT

HIGH-ASSURANCE NETWORK GATEWAY GENERATORS

SYSTEM AND METHOD FOR MAINTAINING SECURITY TAGS AND REFERENCE COUNT...

FRAMEWORK FOR FINE-GRAIN ACCESS CONTROL FROM HIGH-LEVEL APPLICATION...

SYSTEM AND METHOD FOR ASYNCHRONOUS EXPLANATION AND PROPAGATION-BASE...

EFFICIENT SOURCE OF INFEASIBILITY IDENTIFICATION IN TIMED AUTOMATA...

Establishing Common Interest Negotiation Links Between Consumers an...