/* @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 :*/