@InProceedings{Berkay2023PatchVerifUSENIXSecurity,
  title={{PatchVerif: Discovering Faulty Patches in Robotic Vehicles}},
  author = {Hyungsub Kim and M. Ozgur Ozmen and Z. Berkay Celik and Antonio Bianchi and Dongyan Xu},
  booktitle={USENIX Security Symposium},
  year={2023},
  pages = {1-18},
  url ={https://beerkay.github.io/papers/Berkay2023PatchVerifUSENIXSecurity.pdf}
}

{"_id":"NAv7ZdyFNQp4d2oEr","bibbaseid":"kim-ozmen-celik-bianchi-xu-patchverifdiscoveringfaultypatchesinroboticvehicles-2023","author_short":["Kim, H.","Ozmen, M. O.","Celik, Z. B.","Bianchi, A.","Xu, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"PatchVerif: Discovering Faulty Patches in Robotic Vehicles","author":[{"firstnames":["Hyungsub"],"propositions":[],"lastnames":["Kim"],"suffixes":[]},{"firstnames":["M.","Ozgur"],"propositions":[],"lastnames":["Ozmen"],"suffixes":[]},{"firstnames":["Z.","Berkay"],"propositions":[],"lastnames":["Celik"],"suffixes":[]},{"firstnames":["Antonio"],"propositions":[],"lastnames":["Bianchi"],"suffixes":[]},{"firstnames":["Dongyan"],"propositions":[],"lastnames":["Xu"],"suffixes":[]}],"booktitle":"USENIX Security Symposium","year":"2023","pages":"1-18","url":"https://beerkay.github.io/papers/Berkay2023PatchVerifUSENIXSecurity.pdf","bibtex":"@InProceedings{Berkay2023PatchVerifUSENIXSecurity,\n title={{PatchVerif: Discovering Faulty Patches in Robotic Vehicles}},\n author = {Hyungsub Kim and M. Ozgur Ozmen and Z. Berkay Celik and Antonio Bianchi and Dongyan Xu},\n booktitle={USENIX Security Symposium},\n year={2023},\n pages = {1-18},\n url ={https://beerkay.github.io/papers/Berkay2023PatchVerifUSENIXSecurity.pdf}\n}\n\n\n","author_short":["Kim, H.","Ozmen, M. O.","Celik, Z. B.","Bianchi, A.","Xu, D."],"key":"Berkay2023PatchVerifUSENIXSecurity","id":"Berkay2023PatchVerifUSENIXSecurity","bibbaseid":"kim-ozmen-celik-bianchi-xu-patchverifdiscoveringfaultypatchesinroboticvehicles-2023","role":"author","urls":{"Paper":"https://beerkay.github.io/papers/Berkay2023PatchVerifUSENIXSecurity.pdf"},"metadata":{"authorlinks":{}},"downloads":8},"bibtype":"inproceedings","biburl":"https://beerkay.github.io/papers/myPublications.bib","dataSources":["Z6kChNLF2NcgPrzyg","bc73Eqox2pPuwmAyT","zKytcgTsdu3euRBgS","QZu7oZrNHQ6m88cDC"],"keywords":[],"search_terms":["patchverif","discovering","faulty","patches","robotic","vehicles","kim","ozmen","celik","bianchi","xu"],"title":"PatchVerif: Discovering Faulty Patches in Robotic Vehicles","year":2023,"downloads":8}