Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions.

David A. Naumann, Anindya Banerjee

Browse the full ESOP paper archive.