Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model.

Marco Pistoia, Anindya Banerjee, David A. Naumann

Browse the full SP paper archive.