Smart contract audit service

22 Dec 2019 Author: Dennis Kudin

We continue to develop smart contract audit services. This year, we have completed several successful projects in this area. We can successfully find the following problems in smart contracts:

  • Inconsistencies between the specification and the implementation
  • Flawed design, logic, or access control
  • Arithmetic overflow operations (integer overflow and underflow)
  • Reentrancy attacks, code injection attacks, and Denial of Service attacks
  • Exceeded limits on bytecode and gas usage
  • Miner attacks on timestamp and ordering, transaction-ordering dependence (TOD)
  • Race conditions and other known attacks and access control violations

Other news

Cyber-physical security of DTEK
New Functionality of Smart Contract Analysis