1 paper
Polina Vinogradova, Alexey Sorokin
Trace-based properties are the gold standard for program behaviour analysis. One of the domains of application of this type of analysis is cryptocurrency ledgers, both for the purp…