Demystifying Invariant Effectiveness for Securing Smart Contracts.

Zhiyang Chen Ye Liu Sidi Mohamed Beillahi Yi Li Fan Long

Published in: Proc. ACM Softw. Eng. (2024)

Keyphrases

affine invariant
affine transformation
databases
artificial intelligence
search engine
knowledge base
web services
case study
bayesian networks
object recognition
artificial neural networks
supply chain
smart environments
invariance properties