Formal verification of authenticated, append-only skip lists in Agda.

Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.

Browse the full CPP paper archive.