@InProceedings{Dep2007,
author={{Condit}, Jeremy and {Harren}, Matthew and {Anderson}, Zachary and
  {Gay}, David and {Necula}, George C.},
title={{Dependent Types for Low-Level Programming}},
booktitle={{Programming Languages and Systems}},
year={2007}
}

@MISC{CVE-2022-38866,
  title = {{CVE}-2022-38866},
  howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-38866",
  month=aug,
  year = {2022},
  url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-38866},
  urldate = {2022-09-28},
}

@MISC{CVE-2022-38864,
  title = {{CVE}-2022-38864},
  howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-38864",
  month=aug,
  year = {2022},
  url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-38864},
  urldate = {2022-09-28},
}

@MISC{CVE-2022-38533,
  title = {{CVE}-2022-38533},
  howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-38533",
  month=aug,
  year = {2022},
  url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-38533},
  urldate = {2022-09-28},
}

@MISC{CVE-2022-39842,
  title = {{CVE}-2022-39842},
  howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-39842",
  month=aug,
  year = {2022},
  url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-39842},
  urldate = {2022-09-28},
}

@MISC{CVE-2022-1483,
  title = {{CVE}-2022-1483},
  howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-1483",
  month=apr,
  year = {2022},
  url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-1483},
  urldate = {2022-09-28},
}

/* vim: set filetype=bib ts=2 sw=2 tw=0 et :*/