@InProceedings{CelikMT18Soteria,
  Title = {Soteria: Automated {IoT} Safety and Security Analysis},
  Author = {Z. Berkay Celik and Patrick McDaniel and Gang Tan},
  Booktitle = {USENIX Annual Technical Conference ({ATC})},
  Pages = {147--158},
  Year = {2018},
  url_Paper = {http://www.cse.psu.edu/~gxt29/papers/atc18.pdf},
  keywords = {IoT Security}
}

{"_id":"QMAi95NA6hCPBkvuX","bibbaseid":"celik-mcdaniel-tan-soteriaautomatediotsafetyandsecurityanalysis-2018","downloads":8,"creationDate":"2018-04-21T15:32:53.303Z","title":"Soteria: Automated IoT Safety and Security Analysis","author_short":["Celik, Z. B.","McDaniel, P.","Tan, G."],"year":2018,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/gangtan/gtanbib/main/mypapers.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Soteria: Automated IoT Safety and Security Analysis","author":[{"firstnames":["Z.","Berkay"],"propositions":[],"lastnames":["Celik"],"suffixes":[]},{"firstnames":["Patrick"],"propositions":[],"lastnames":["McDaniel"],"suffixes":[]},{"firstnames":["Gang"],"propositions":[],"lastnames":["Tan"],"suffixes":[]}],"booktitle":"USENIX Annual Technical Conference (ATC)","pages":"147–158","year":"2018","url_paper":"http://www.cse.psu.edu/~gxt29/papers/atc18.pdf","keywords":"IoT Security","bibtex":"@InProceedings{CelikMT18Soteria,\n Title = {Soteria: Automated {IoT} Safety and Security Analysis},\n Author = {Z. Berkay Celik and Patrick McDaniel and Gang Tan},\n Booktitle = {USENIX Annual Technical Conference ({ATC})},\n Pages = {147--158},\n Year = {2018},\n url_Paper = {http://www.cse.psu.edu/~gxt29/papers/atc18.pdf},\n keywords = {IoT Security}\n}\n\n","author_short":["Celik, Z. B.","McDaniel, P.","Tan, G."],"key":"CelikMT18Soteria","id":"CelikMT18Soteria","bibbaseid":"celik-mcdaniel-tan-soteriaautomatediotsafetyandsecurityanalysis-2018","role":"author","urls":{" paper":"http://www.cse.psu.edu/~gxt29/papers/atc18.pdf"},"keyword":["IoT Security"],"metadata":{"authorlinks":{"tan, g":"https://www.cse.psu.edu/~gxt29/sos/publications.html","celik, z":"https://beerkay.github.io/fullpublication/"}},"downloads":8},"search_terms":["soteria","automated","iot","safety","security","analysis","celik","mcdaniel","tan"],"keywords":["iot security"],"authorIDs":["G4h3agvfzsvS65YBg","uN77HDSE86zvjth5x"],"dataSources":["pzatXK8Qzi4taQTqY","Z6kChNLF2NcgPrzyg","HGP9Lqns6p9cZGdvN","bc73Eqox2pPuwmAyT","qbRxtdgQ5NSdrSiX3","zKytcgTsdu3euRBgS","QZu7oZrNHQ6m88cDC"]}