Secure Programming via Visibly Pushdown Safety Games.

William R. Harris, Somesh Jha, Thomas W. Reps

Browse the full CAV paper archive.