Apple Crypto — Web Pulse coverage

A blueprint for formal verification of Apple corecrypto :: https://wpnews.pro/news/a-blueprint-for-formal-verification-of-apple-corecrypto