Explore chapters and articles related to this topic
Security analysis of smart contract based rating and review systems: the perilous state of blockchain-based recommendation practices
Published in Connection Science, 2022
Jitendra Singh Yadav, Narendra Singh Yadav, Akhilesh Kumar Sharma
It uses \souffle language to analyse the security vulnerabilities. It converts smart contracts into logic relations. It uses a pipeline approach where bytecode is fed to Scrapper, Disassembler, Decompiler, and Extractor successively and results in logic relations. The executable programmes, written in Souffle language, analyse these logic relations.