|
2021
|
Invention
|
Systems and/or methods for anomaly detection and characterization in integrated circuits. Systems... |
|
|
Invention
|
Software test environment with automated configurable harness capabilities, and associated method... |
|
|
P/S
|
Downloadable computer software for use in development,
analysis and maintenance of software; dow... |
|
2020
|
P/S
|
Downloadable computer software for use in development, analysis and maintenance of software; Down... |
|
2019
|
Invention
|
Systems and/or methods for type inference from machine code. Systems, methods and computer readab... |
|
2018
|
Invention
|
Systems and/or methods for generating reassemblable disassemblies of binaries using declarative l... |
|
|
Invention
|
Systems and/or methods for automatically protecting against memory corruption vulnerabilities. Ce... |
|
2002
|
Invention
|
Computational divided differencing. This invention concerns the manipulation and restructuring of... |
|
2001
|
Invention
|
Method for representing information in a highly compressed fashion. CFLOBDDs are a new compressed... |
