73 lines
2.1 KiB
BibTeX
73 lines
2.1 KiB
BibTeX
@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 :*/
|