iProve: A scalable technique for consumer-verifiable software guarantees.

Silviu Andrica, Horatiu Jula, George Candea

Browse the full DSN paper archive.