Specifying and Verifying Secure Compilation of C Code to Tagged Hardware Download pdf Tags: Formal Methods and Language-based Security Hardware Security Architecture Software 2048499 Posters 2022 SaTC PI Meeting 2022 Poster License: CC-2.5 Submitted by Jason Gigax on Mon, 06/20/2022 - 10:31