activity
20132021
most citedAugur: a Modeling Language for Data-Parallel Probabilistic Inference

4 citations · 6 across the 3 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.CR2021

Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version

Victor Cacciari Miraldo, Harold Carr, Mark Moir +2

Authenticated Append-Only Skiplists (AAOSLs) enable maintenance and querying of an authenticated log (such as a blockchain) without requiring any single party to store or verify th…