CHORS: Hardening High-Assurance Security Systems with Trusted ComputingWojciech OzgaRasha Faqehet al.2022SAC 2022