Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
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…