Formal Verification of the Horn-Preneel Micropayment Protocol.

Kazuhiro Ogata, Kokichi Futatsugi

Browse the full VMCAI paper archive.