Secure Information Flow and CPS.

Steve Zdancewic, Andrew C. Myers

Browse the full ESOP paper archive.