TY - RPRT TI - Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing AU - Wojciech Ozga AU - Rasha Faqeh AU - Do Le Quoc AU - Franz Gregor AU - Silvio Dragone AU - Christof Fetzer PY - 2022 DO - 10.1145/3477314.3506961 UR - https://arxiv.org/abs/2205.06091 ID - 2205.06091 ER -