An automated analysis of cryptographic material reachability after partial compromise"