Obfuscation and Outsourced Computation with Certified Deletion

ePrint Report: Obfuscation and Outsourced Computation with Certified Deletion

James Bartusek, Sanjam Garg, Vipul Goyal, Dakshita Khurana, Giulio Malavolta, Justin Raizes, Bhaskar Roberts

Can we outsource computation on encrypted data, while ensuring that the data is certifiably, information-theoretically deleted by the server after computation? Can we encode a computer program in a manner that preserves its functionality, while allowing an evaluator to {\em prove that they deleted the program}?


This work answers the above questions, providing the first fully (maliciously) …

certified computation computer data deletion encrypted encrypted data eprint report information james justin obfuscation program prove report roberts server work