Suman Jana, Vitaly Shmatikov. EVE: Verifying Correct Execution of Cloud-Hosted Web Applications. In Ion Stoica, John Wilkes, editors, 3rd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud'11, Portland, OR, USA, June 14-15, 2011. USENIX Association, 2011. [doi]
Abstract is missing.