Publications

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

AuthID
P-00T-GE4

Author(s)

Miraldo, VC

Carr, H

Moir, M

Silva, L

Steele, GL

Editor(s)

Hritcu,C;Popescu,A

Document Type

Proceedings Paper

Year published

2021

Published

in CPP '21: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS

Pages: 122-136 (15)

Conference

10Th Acm Sigplan International Conference on Certified Programs and Proofs (Cpp), Date: JAN 17-19, 2021, Location: ELECTR NETWORK, Sponsors: ACM SIGPLAN, Assoc Comp Machinery, ACM SIGLOG, Jet Brains, Algorand, Input Output, Nomadic Labs, Arm, Bedrock Syst Inc, Digital Asset, Galois, Informal Syst, Zilliqa

Indexing