Inventor · disambiguated record
Aleksey Nogin
Also filed as: NOGIN ALEKSEY
24 granted patents·3 pending applications·365 citations·filing 2008–2023
95Inventor score
Files withHRL LAB LLC19CRUZ-ALBRECHT JOSE M2NOGIN ALEKSEY2RAYTHEON CO2GM GLOBAL TECH OPERATIONS INC1
Top patents by PatentIndex Score
27 records- 0197US8977578B1Synaptic time multiplexing neuromorphic network that forms subsets of connections during different time slotsCRUZ-ALBRECHT JOSE M·Filed 2012·Granted Mar 10, 2015·198 cites·16 claims
- 0295US9224067B1System and methods for digital artifact genetic modeling and forensic analysisHRL LAB LLC·Filed 2013·Granted Dec 29, 2015·31 cites·25 claims
- 0390US8645310B2Efficient source of infeasibility identification in timed automata tracesJIANG SHENGBING·Filed 2011·Granted Feb 4, 2014·15 cites·17 claims
- 0488US10084819B1System for detecting source code security flaws through analysis of code historyHRL LAB LLC·Filed 2014·Granted Sep 25, 2018·13 cites·16 claims
- 0588US9846596B1System and method for cloud control operations plane based on proactive security algorithmsHRL LAB LLC·Filed 2014·Granted Dec 19, 2017·12 cites·21 claims
- 0687US10904291B1Low-overhead software transformation to enforce information security policiesHRL LAB LLC·Filed 2018·Granted Jan 26, 2021·11 cites·20 claims
- 0787US9317682B1Library-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
- 0886US9378377B1System for information flow security inference through program slicingHRL LAB LLC·Filed 2014·Granted Jun 28, 2016·11 cites·12 claims
- 0984US10423780B1System and method for synthesis of correct-by-construction cryptographic software from specificationHRL LAB LLC·Filed 2017·Granted Sep 24, 2019·4 cites·20 claims
- 1084US9697462B1Synaptic time multiplexingCRUZ-ALBRECHT JOSE M·Filed 2015·Granted Jul 4, 2017·6 cites·7 claims
- 1181US9275328B1Neuromorphic compilerHRL LAB LLC·Filed 2013·Granted Mar 1, 2016·16 cites·22 claims
- 1280US10686597B1Semi-robust protocols for secure multiparty computationHRL LAB LLC·Filed 2018·Granted Jun 16, 2020·4 cites·18 claims
- 1376US9600767B1System, method, and computer program product for generating a single software code based on a description of a distributed architectureNOGIN ALEKSEY·Filed 2008·Granted Mar 21, 2017·16 cites·18 claims
- 1475US10366232B1Language-based missing function call detectionHRL LAB LLC·Filed 2016·Granted Jul 30, 2019·2 cites·18 claims
- 1574US10402584B1System 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
- 1674US8990249B1Revision control server with self-hosting multi-level access controls and user notificationsNOGIN ALEKSEY·Filed 2009·Granted Mar 24, 2015·8 cites·18 claims
- 1767US10430587B2System and method for maintaining security tags and reference counts for objects in computer memoryHRL LAB LLC·Filed 2016·Granted Oct 1, 2019·1 cites·9 claims
- 1861US11928585B2Neural network architecture for small LIDAR processing networks for slope estimation and ground plane segmentationHRL LAB LLC·Filed 2020·Granted Mar 12, 2024·0 cites·15 claims
- 1960US9026786B1System for ensuring that promises are kept in an anonymous systemHRL LAB LLC·Filed 2012·Granted May 5, 2015·1 cites·15 claims
- 2059US2021279570A1Method for proving or identifying counter-examples in neural network systems that process point cloud dataHRL LAB LLC·Filed 2020·Application pending·0 cites
- 2154US9147160B2System and method for asynchronous explanation and propagation-based constraint solvingRAYTHEON CO·Filed 2013·Granted Sep 29, 2015·1 cites·20 claims
- 2250US8370422B2Establishing common interest negotiation links between consumers and suppliers to facilitate solving a resource allocation problemRAYTHEON CO·Filed 2010·Granted Feb 5, 2013·0 cites·19 claims
- 2350US2024303404A1Using machine vision to solve industrial boolean satisfiability (sat) problemsHRL LAB LLC·Filed 2023·Application pending·0 cites
- 2448US2015150119A1Framework for fine-grain access control from high-level application permissionsGM GLOBAL TECH OPERATIONS INC·Filed 2014·Application pending·0 cites
- 2547US10862908B2System and method for consensus ordering of broadcast messagesHRL LAB LLC·Filed 2019·Granted Dec 8, 2020·0 cites·12 claims
- 2645US10887092B2Anonymous allocation and majority voting in a compromised environmentHRL LAB LLC·Filed 2019·Granted Jan 5, 2021·0 cites·17 claims
- 2745US10691282B2High-assurance network gateway generatorsHRL LAB LLC·Filed 2018·Granted Jun 23, 2020·0 cites·12 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →