Aslan Askarov, Andrei Sabelfeld. Catch me if you can: permissive yet secure error handling. In Stephen Chong, David A. Naumann, editors, Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. pages 45-57, ACM, 2009. [doi]
Abstract is missing.