3 ms·Ironclad Apps: End-To-End Security via Automated Full-System Verification [pdf]1 points by luu 11y ago