3 ms·
ARM did release a very detailed, machine checkable specification(that they themselves use to verify security with), to everybody: https://news.ycombinator.com/
by petra 9y ago
ARM did release a very detailed, machine checkable specification(that they themselves use to verify security with), to everybody:
https://news.ycombinator.com/item?id=14174533 https://news.ycombinator.com/item?id=14174533