HN Explorer

ptsankov1

↗ HN profile [ 43.6 ms ] full profile
Karma
1
Created
November 6, 2014 (11y ago)
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. 1 points 0
  4. ETH spin-off LatticeFlow raises $2.8M to make AI reliable and trustworthy (techcrunch.com)
    1 points 0
  5. Silq: The first intuitive high-level programming language for quantum computers (techcrunch.com)
    1 points 0
  6. Securify v2.0 (github.com)
    1 points 0
  7. Securify v2.0 – Solidity smart contract scanner (github.com)
    1 points 0
  8. VerX: Safety Verification of Smart Contracts (sri.inf.ethz.ch)
    1 points 0
  9. VerX: Full functional verification for Ethereum contracts (medium.com)
    1 points 0
  10. Constantinople hardfork delayed due to new attack found by ChainSecurity (coindesk.com)
    1 points 0
  11. Securify is Now on GitHub (medium.com)
    1 points 0
  12. Here is how Securify detects unsafe calls in Ethereum smart contracts (medium.com)
    1 points 0
  13. A new state-of-the-art security scanner for Ethereum smart contracts (securify.ch)
    1 points 0
  14. Automated Security Analysis of Ethereum Smart Contracts (medium.com)
    1 points 0
  15. Automated Security Analysis of Ethereum Smart Contracts (medium.com)
    1 points 0