4 ms·Komodo: Using verification to disentangle secure-enclave hardware from software1 points by runesoerensen 9y ago