Title resolution pending

Tom Elvis Jedusor · 2019

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

representative citing papers

Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol

cs.CR · 2019-07-03 · unverdicted · novelty 3.0

Outlines MimbleWimble protocol properties and proposes a model-driven verification approach to certify implementation correctness.

citing papers explorer

Showing 1 of 1 citing paper.

Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol cs.CR · 2019-07-03 · unverdicted · none · ref 11
Outlines MimbleWimble protocol properties and proposes a model-driven verification approach to certify implementation correctness.

Title resolution pending

fields

years

verdicts

representative citing papers

citing papers explorer