Dossier
formal verification
Coverage of formal verification in the Nexus archive.
- AI-assisted hacking is outpacing traditional code reviews, NEAR co-founder says
NEAR co-founder Polosukhin stated that AI-assisted hacking is surpassing traditional code reviews, emphasizing the need for formal verification to secure blockchain code against AI threats.
- ESBMC-Arduino: Closing the Deployment Gap for Formal Verification
The article introduces ESBMC-Arduino, a tool designed to bridge the deployment gap for formal verification in embedded systems. It references a research paper hosted on arXiv and a Hacker News discussion with 4 points and no comments.
- A blueprint for formal verification of Apple corecrypto
Apple has published a blueprint for formal verification of its corecrypto library, a cryptographic implementation used across its products. The initiative aims to enhance security by mathematically proving the correctness of cryptographic algorithms.