Inventor

NOGIN ALEKSEY

US24 patents

⚠️ This page may combine multiple inventors who share the name “NOGIN ALEKSEY”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

NOGIN ALEKSEY

HRL LAB LLC

System and methods for digital artifact genetic modeling and forensic analysis

System and method for cloud control operations plane based on proactive security algorithms

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

System for information flow security inference through program slicing

Library-based method for information flow integrity enforcement and robust information flow policy development

Neuromorphic compiler

Low-overhead software transformation to enforce information security policies

System and method for synthesis of correct-by-construction cryptographic software from specification

System and method for translating security objectives of computer software to properties of software code

Language-based missing function call detection

Semi-robust protocols for secure multiparty computation

System and method for maintaining security tags and reference counts for objects in computer memory

Anonymous allocation and majority voting in a compromised environment

Neural network architecture for small LIDAR processing networks for slope estimation and ground plane segmentation

System for ensuring that promises are kept in an anonymous system

System and method for consensus ordering of broadcast messages

High-assurance network gateway generators

CRUZ-ALBRECHT JOSE M

Synaptic time multiplexing neuromorphic network that forms subsets of connections during different time slots

Synaptic time multiplexing

NOGIN ALEKSEY

System, method, and computer program product for generating a single software code based on a description of a distributed architecture

Revision control server with self-hosting multi-level access controls and user notifications

RAYTHEON CO

System and method for asynchronous explanation and propagation-based constraint solving

Establishing common interest negotiation links between consumers and suppliers to facilitate solving a resource allocation problem

JIANG SHENGBING

Efficient source of infeasibility identification in timed automata traces