Keyword:dependency analysis

Papers
HoRStify: Sound Security Analysis of Smart Contracts Sebastian Holler, Sebastian Biewer and Clara Schneidewind EasyChair Preprint no. 10335