Efficient Protection of Path-Sensitive Control Security.
Failure sketching: a technique for automated root cause diagnosis of in-production failures