Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System and method for translating security objectives of computer software to properties of software code

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

US Patent 10402584 · Granted Sep 3, 2019

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Weather-informed path planning for a vehicle2025
Neural network architecture for small LIDAR processing networks for slope estima2024
Filtering strategies for subgraph matching on noisy multiplex networks2023
Computational framework for modeling adversarial activities2023
Method for session workflow information flow analysis2021
Method for session workflow information flow analysis2021
Low-overhead software transformation to enforce information security policies2021
Anonymous allocation and majority voting in a compromised environment2021
System and method for consensus ordering of broadcast messages2020
High-assurance network gateway generators2020
Semi-robust protocols for secure multiparty computation2020
System and method for maintaining security tags and reference counts for objects2019