Chapter 7: Analyzing information flow in solidity smart contracts
Raju Haldera; Md. Imran Alama,b; Akshay M. Fajgea; Neeraj Kumar Singhc; Agostino Cortesib a Indian Institute of Technology Patna, Patna, Bihar, Indiab Università Ca’ Foscari Venezia, Venezia, Italyc INPT-ENSEEIHT/IRIT, University of Toulouse, Toulouse, France
Abstract
Protecting confidentiality and integrity of sensitive information in blockchain software systems is an important security aspect, which may be compromised due to unrestricted information flow along the control structures of smart contracts during their execution. Language-based information flow security analysis is a promising technique, which aims to detect possible unauthorized leakage of sensitive information ...
Get Distributed Computing to Blockchain now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
