55 lines
1.5 KiB
BibTeX
55 lines
1.5 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},
|
|
}
|
|
|
|
/* vim: set filetype=bib ts=2 sw=2 tw=0 et :*/
|