@inproceedings{jana:eve,
  author = {Suman Jana and 
            Vitaly Shmatikov},
  title = {{EVE: Verifying Correct Execution of Cloud-Hosted Web Applications}},
  booktitle = {3rd {U}{S}{E}{N}{I}{X} Workshop on Hot Topics in Cloud Computing},
  address = {Portland, OR},
  month = {jun},
  year = 2011
}