Soteria: Automated IoT Safety and Security Analysis. Celik, Z. B., McDaniel, P., & Tan, G. In USENIX Annual Technical Conference (ATC), pages 147–158, 2018.
![Soteria: Automated IoT Safety and Security Analysis [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @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}
}Downloads: 0
{"_id":"QMAi95NA6hCPBkvuX","bibbaseid":"celik-mcdaniel-tan-soteriaautomatediotsafetyandsecurityanalysis-2018","downloads":1,"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":"http://www.cse.psu.edu/~gxt29/papers/papers.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":"http://www.cse.psu.edu/~gxt29/sos/publications.html","celik, z":"https://beerkay.github.io/"}},"html":""},"search_terms":["soteria","automated","iot","safety","security","analysis","celik","mcdaniel","tan"],"keywords":["iot security"],"authorIDs":["G4h3agvfzsvS65YBg","uN77HDSE86zvjth5x"],"dataSources":["pzatXK8Qzi4taQTqY","Z6kChNLF2NcgPrzyg","HGP9Lqns6p9cZGdvN","bc73Eqox2pPuwmAyT"]}