Raksha: a flexible information flow architecture for software security