Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement.

Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Sadi, Vinod Yegneswaran

Browse the full CAV paper archive.