Raksha: A flexible architecture for software security | IEEE Conference Publication | IEEE Xplore