1. 2
    Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software (2017) pdf formalmethods hardware programming security microsoft.com
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments

  1.