Inventor
DODGE CATHERINE
US11 patents
Patents
11 patentsUS10469324B2Nov 5, 2019
Virtual network verification service
AMAZON TECH INC6 citations83
US10757128B2Aug 25, 2020
Security policy analyzer service and satisfiability engine
AMAZON TECH INC10 citations82
US10977111B2Apr 13, 2021
Constraint solver execution service and infrastructure therefor
AMAZON TECH INC9 citations81
US11095523B2Aug 17, 2021
Virtual network verification service
AMAZON TECH INC3 citations72
US10630695B2Apr 21, 2020
Security policy monitoring service
AMAZON TECH INC4 citations71
US11017107B2May 25, 2021
Pre-deployment security analyzer service for virtual computing resources
AMAZON TECH INC3 citations70
US11671442B2Jun 6, 2023
Automated packetless network reachability analysis
AMAZON TECH INC1 citations69
US11108805B2Aug 31, 2021
Automated packetless network reachability analysis
AMAZON TECH INC1 citations69
US12126495B2Oct 22, 2024
Virtual network verification service
AMAZON TECH INC0 citations62
US11616800B2Mar 28, 2023
Security policy analyzer service and satisfiability engine
AMAZON TECH INC1 citations61
US12437080B2Oct 7, 2025
Automated packetless network reachability analysis
AMAZON TECH INC0 citations57