{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T10:44:36Z","timestamp":1766486676086,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,12,7]],"date-time":"2015-12-07T00:00:00Z","timestamp":1449446400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,12,7]]},"DOI":"10.1145\/2843966.2843975","type":"proceedings-article","created":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T17:06:08Z","timestamp":1449853568000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Intrusion Detection System for Embedded Systems"],"prefix":"10.1145","author":[{"given":"Farid Molazem","family":"Tabrizi","sequence":"first","affiliation":[{"name":"University of British Columbia, Vancouver, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karthik","family":"Pattabiraman","sequence":"additional","affiliation":[{"name":"University of British Columbia, Vancouver, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,12,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"NIST Special Publication 800-55 Revision 1 2008.   NIST Special Publication 800-55 Revision 1 2008."},{"key":"e_1_3_2_1_2_1","unstructured":"CERT research anual report 2009.  CERT research anual report 2009."},{"key":"e_1_3_2_1_3_1","volume-title":"Temporal and modal logic. Handbook of Theoretical Computer Science","author":"Emerson E. A.","year":"1990","unstructured":"E. A. Emerson . Temporal and modal logic. Handbook of Theoretical Computer Science , Volume B: Formal Models and Sematics (B), 995: 1072 , 1990 . E. A. Emerson. Temporal and modal logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 995:1072, 1990."},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of CAV'01","author":"Gastin P.","year":"2001","unstructured":"P. Gastin and D. Oddoux . Fast LTL to B\u00fcchi automata translation . In Proceedings of CAV'01 , volume 2102 of Lecture Notes in Computer Science , Paris, France, July 2001 . Springer . P. Gastin and D. Oddoux. Fast LTL to B\u00fcchi automata translation. In Proceedings of CAV'01, volume 2102 of Lecture Notes in Computer Science, Paris, France, July 2001. Springer."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2004.06.011"},{"key":"e_1_3_2_1_6_1","unstructured":"Hacking Medical Devices for Fun and Insulin: Breaking the Human. https:\/\/media.blackhat.com\/bh-us-11\/Radcliffe\/BH_US_11_Radcliffe_Hacking_Medical_Devices_WP.pdf.  Hacking Medical Devices for Fun and Insulin: Breaking the Human. https:\/\/media.blackhat.com\/bh-us-11\/Radcliffe\/BH_US_11_Radcliffe_Hacking_Medical_Devices_WP.pdf."},{"key":"e_1_3_2_1_7_1","unstructured":"Hacking Humans. http:\/\/blog.kaspersky.com\/hacking-humans\/.  Hacking Humans. http:\/\/blog.kaspersky.com\/hacking-humans\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"e_1_3_2_1_9_1","volume-title":"Smart meter crypto flaw worse than thought","author":"Lewson N.","year":"2010","unstructured":"N. Lewson . Smart meter crypto flaw worse than thought , 2010 . http:\/\/rdist.root.org\/2010\/01\/11\/smart-meter-crypto-flaw-worse-than-thought. N. Lewson. Smart meter crypto flaw worse than thought, 2010. http:\/\/rdist.root.org\/2010\/01\/11\/smart-meter-crypto-flaw-worse-than-thought."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1920261.1920277"},{"key":"e_1_3_2_1_11_1","volume-title":"Dependable Systems and Networks Workshops (DSN-W)","author":"Molazem F.","year":"2012","unstructured":"F. Molazem and K. Pattabiraman . A model for security analysis of smart meters. In WRAITS , Dependable Systems and Networks Workshops (DSN-W) , 2012 . F. Molazem and K. Pattabiraman. A model for security analysis of smart meters. In WRAITS, Dependable Systems and Networks Workshops (DSN-W), 2012."},{"key":"e_1_3_2_1_12_1","volume-title":"Flexible intrusion detection systems for memory-constrained embedded systems","author":"Molazem Tabrizi F.","year":"2015","unstructured":"F. Molazem Tabrizi and K. Pattabiraman . Flexible intrusion detection systems for memory-constrained embedded systems . In EDCC. IEEE , 2015 . F. Molazem Tabrizi and K. Pattabiraman. Flexible intrusion detection systems for memory-constrained embedded systems. In EDCC. IEEE, 2015."},{"key":"e_1_3_2_1_13_1","unstructured":"Smart energy groups home page. http:\/\/smartenergygroups.com.  Smart energy groups home page. http:\/\/smartenergygroups.com."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2014.12"},{"key":"e_1_3_2_1_15_1","unstructured":"The smart meter revolution. https:\/\/m2m.telefonica.comy.  The smart meter revolution. https:\/\/m2m.telefonica.comy."}],"event":{"name":"Middleware '15: 16th International Middleware Conference","sponsor":["ACM Association for Computing Machinery","USENIX Assoc USENIX Assoc","IFIP International Federation for Information Processing"],"location":"Vancouver BC Canada","acronym":"Middleware '15"},"container-title":["Proceedings of the Doctoral Symposium of the 16th International Middleware Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2843966.2843975","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2843966.2843975","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:51Z","timestamp":1750225731000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2843966.2843975"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,7]]},"references-count":15,"alternative-id":["10.1145\/2843966.2843975","10.1145\/2843966"],"URL":"https:\/\/doi.org\/10.1145\/2843966.2843975","relation":{},"subject":[],"published":{"date-parts":[[2015,12,7]]},"assertion":[{"value":"2015-12-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}