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

19/09/2024
Updated courses on secure software development
02/09/2024
Successful integration of H-X CryEye for SaaS protection