Formal Methods in Software Engineering

Malware in the SGX Supply Chain: Be Careful When Signing Enclaves!