researchers with a paper here
collaborating institutions

1 paper

cs.LO2025

Properties of UTxO Ledgers and Programs Implemented on Them

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…