Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Hybrid genetic concolic co-verification of hardware and software

Hybrid genetic concolic co-verification of hardware and software

US Patent 10606732 · Granted Mar 31, 2020

Estimated economic value: $1,667,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Mapping pipeline run sources and targets in cloud infrastructures2025
Homomorphic encryption key management2025
Predicting security response impact2024
Sharing insights between pre and post deployment to enhance cloud workload secur2024
Partitioning circuits for execution of sequential secure computation code on mul2023
Predicting security response impact2023
Genetic fuzzing for customization of security operations center rules per organi2023
Migrating infrastructure as code between different cloud providers2023
Migrating infrastructure as code between different cloud providers2023
Predicting code vulnerabilities using machine learning classifier models trained2023
User and entity behavior analytics of infrastructure as code in pre deployment o2023
User and entity behavior analytics of infrastructure as code in pre deployment o2023