Proof-Carrying Smart Contracts.

Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen

Browse the full FC paper archive.