Hacker News
- Automated Formal Verification for the Security of Ethereum Smart Contracts http://www.securify.ch 3 comments
- Securify: A new automated system for formal verification of Ethereum smart contracts http://securify.ch/ 38 comments ethereum
Linking pages
- The authoritative guide to blockchain development https://www.freecodecamp.org/news/the-authoritative-guide-to-blockchain-development-855ab65b58bc/ 28 comments
- GitHub - pirapira/awesome-ethereum-virtual-machine: Ethereum Virtual Machine Awesome List https://github.com/pirapira/awesome-ethereum-virtual-machine 10 comments
- This smart contract scanner will ensure your token is tip-top | TechCrunch https://techcrunch.com/2018/07/02/this-smart-contract-scanner-will-ensure-your-token-is-tip-top/ 7 comments
- How to Secure Your Smart Contracts: 6 Solidity Vulnerabilities and how to avoid them (Part 2) | by Georgios Konstantopoulos | Loom Network | Medium https://medium.com/loom-network/how-to-secure-your-smart-contracts-6-solidity-vulnerabilities-and-how-to-avoid-them-part-2-730db0aa4834 5 comments
- Trust No One: Ethereum Smart Contract Security Is Advancing - CoinDesk https://www.coindesk.com/paranoia-rules-ethereum-smart-contract-security-advancing/ 3 comments
- The authoritative guide to blockchain development https://medium.freecodecamp.org/the-authoritative-guide-to-blockchain-development-855ab65b58bc 0 comments
- Securify: practical security analysis of smart contracts | the morning paper https://blog.acolyer.org/2018/12/03/securify-practical-security-analysis-of-smart-contracts/ 0 comments
- The authoritative guide to blockchain development | by Haseeb Qureshi | We’ve moved to freeCodeCamp.org/news | Medium https://medium.com/@hosseeb/the-authoritative-guide-to-blockchain-development-855ab65b58bc 0 comments
- Incentivai: 4 stages of smart contract design | by Piotr Grudzien | Incentivai | Medium https://medium.com/@GruPiotr/incentivai-4-stages-of-smart-contract-design-3082c545f84f 0 comments
Related searches:
Search whole site: site:www.securify.ch
Search title: GitHub - eth-sri/securify2: Securify v2.0
See how to search.