@mastersthesis{
  Chiesa:mengthesis:2010,
  author = {Chiesa, Alessandro},
  title = {Proof-Carrying Data},
  school = {MIT},
  year = {2010},
  month = {May},
}