6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
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…