Catch me if you can: permissive yet secure error handling.

Aslan Askarov, Andrei Sabelfeld

Browse the full PLDI paper archive.