formal-verification

Formal Verification of MCP Security Properties against Post-Quantum Adversaries

| | AI Infrastructure Security, formal-verification, MCP security, Model Context Protocol, post-quantum security
Explore formal verification's role in securing Model Context Protocol (MCP) deployments against quantum computing attacks. Learn how mathematical proofs and verification tools ensure robust AI infrastructure security ...
Read the Gopher Security's Quantum Safety Blog
Webinar: How to Prevent Prover Timeouts

Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover

| | blockchain, formal-verification, smart contracts, stellar, Web3
Hello! My name is Kirill Ziborov, and I’m a formal verification engineer and security researcher at Positive Web3. From February 24 to March 18, an audit contest for the Blend protocol on ...
Positive Web3 - Medium
Formal verification of smart contracts in the ConCert framework

Formal verification of smart contracts in the ConCert framework

| | coq, formal-verification, smart contracts, solidity, Web3
Hey! My name’s Kirill Ziborov and I’m a member of the Positive Web3 Team. In this article, I would like to discuss methods and tools for the formal verification of smart contracts ...
Positive Web3 - Medium