A blueprint for formal verification of Apple corecryptosecurity.apple.com
56 points by hasheddan 7 hours ago | 2 comments