Do you still need a manual smart contract audit?

Isaac David Liyi Zhou Kaihua Qin Dawn Song Lorenzo Cavallaro Arthur Gervais

Published in: CoRR (2023)

Keyphrases

semi automatic
intrusion detection
error prone
supply chain
smart environments
labor intensive
information systems
databases
artificial neural networks