@misc{W2034711041,
  author = {George C. Necula},
  title = {Proof-carrying code},
  year = {1997},
  doi = {https://doi.org/10.1145/263699.263712}
}