parno-2013-pinocchio:
  type: article
  title: 'Pinocchio: Nearly Practical Verifiable Computation'
  author:
  - Parno, B.
  - Howell, J.
  - Gentry, C.
  - Raykova, M.
  date: 2013-05
  page-range: 238-252
  url: http://dx.doi.org/10.1109/sp.2013.47
  serial-number:
    doi: 10.1109/sp.2013.47
  parent:
    type: proceedings
    title: 2013 IEEE Symposium on Security and Privacy
    publisher: IEEE