Skip to content

Proving Properties of Incremental Merkle Trees.

Mizuhito Ogawa, Eiichi Horita, Satoshi Ono

VenueACADE
Year2005
ProceedingsCADE

Browse the full CADE paper archive.