Verified Self-Explaining Computation.

Jan Stolarek, James Cheney

Browse the full MPC paper archive.