@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},
}

@unpublished{spg,
  Author = {Skornia, Christoph},
  Institution = {OTH Regensburg},
  Howpublished = {University Lecture},
  Year = {2021},
  Title = {Secure Programming --- Input Validation},
}

@misc{directoryStructure,
  title = {Classic SysAdmin: The Linux Filesystem Explained},
  Institution = {The Linux Foundation},
  Howpublished = {\url{https://www.linuxfoundation.org/blog/blog/classic-sysadmin-the-linux-filesystem-explained}},
  year = {2022},
  month = {feb},
  url = {https://www.linuxfoundation.org/blog/blog/classic-sysadmin-the-linux-filesystem-explained},
  urldate = {2022-10-21},
}

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