Mitigating Information Leakage Vulnerabilities with Type-based Data Isolation | IEEE Conference Publication | IEEE Xplore