3 ms·Formalizing, Verifying & Applying ISA Security Guarantees as Universal Contracts2 points by matt_d 3y ago