Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar. Towards verifiable resource accounting for outsourced computation. In Steve Muir, Gernot Heiser, Steve Blackburn, editors, ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), VEE '13, Houston, TX, USA, March 16-17, 2013. pages 167-178, ACM, 2013. [doi]
Abstract is missing.