conf.researchr.org / Mark Moir
Not registered as user yet
Name:Mark Moir
Affiliation:Oracle Labs, New Zealand
Contributions
| CPP 2021 | Author of Formal Verification of Authenticated, Append-Only Skip Lists in Agda within the CPP 2021-track |
| TyDe 2018 | Author of Authenticated Modular Maps in Haskell within the TyDe 2018-track |