{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:26:09Z","timestamp":1740122769790,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,9,19]],"date-time":"2017-09-19T00:00:00Z","timestamp":1505779200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s10703-017-0298-3","type":"journal-article","created":{"date-parts":[[2017,9,19]],"date-time":"2017-09-19T06:24:23Z","timestamp":1505802263000},"page":"113-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems"],"prefix":"10.1007","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7828-1215","authenticated-orcid":false,"given":"Carlos","family":"Moreno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,19]]},"reference":[{"key":"298_CR1","unstructured":"Aleph One (1996) Smashing the stack for fun and profit. Phrack magazine"},{"key":"298_CR2","unstructured":"Atmel Corporation (2012) AVR 8-bit and 32-bit microcontrollers. http:\/\/www.atmel.com\/products\/microcontrollers\/avr"},{"key":"298_CR3","volume-title":"Computer security: art and science","author":"M Bishop","year":"2003","unstructured":"Bishop M (2003) Computer security: art and science. Addison-Wesley, Boston"},{"key":"298_CR4","doi-asserted-by":"crossref","unstructured":"Chandola V, Banerjee A, Kumar V (2009) Anomaly detection: a survey. ACM Comput Surv (CSUR)","DOI":"10.1145\/1541880.1541882"},{"key":"298_CR5","doi-asserted-by":"crossref","unstructured":"Chen F, Ro\u015fu G (2005) Java-MOP: a monitoring oriented programming environment for Java. In: 11th international conference on tools and algorithms for the construction and analysis of systems","DOI":"10.1007\/978-3-540-31980-1_36"},{"key":"298_CR6","unstructured":"Chris Lattner and the LLVM Developer Group: The LLVM compiler infrastructure. http:\/\/llvm.org"},{"key":"298_CR7","unstructured":"Clark SS, Ransford B, Rahmati A, Guineau S, Sorber J, Fu K, Xu W (2013) WattsUpDoc: power side channels to nonintrusively discover untargeted malware on embedded medical devices. In: USENIX workshop on health information technologies. USENIX"},{"key":"298_CR8","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen TH, Leiserson CE, Rivest RL, Stein C (2009) Introduction to algorithms, 3rd edn. The MIT Press, Cambridge","edition":"3"},{"key":"298_CR9","unstructured":"Dormoy FX (2008) SCADE 6: a model based solution for safety critical software development. In: Proceedings of the 4th European congress on embedded real time software (ERTS\u201908)"},{"key":"298_CR10","doi-asserted-by":"crossref","unstructured":"Eisenbarth T, Paar C, Weghenkel B (2010) Building a side channel based disassembler. In: Transactions on computational science X, pp. 78\u201399. Springer, Berlin","DOI":"10.1007\/978-3-642-17499-5_4"},{"key":"298_CR11","doi-asserted-by":"crossref","unstructured":"Frigo M, Johnson SG (2005) The design and implementation of FFTW3. In: Proceedings of the IEEE. Special issue on \u201cprogram generation, optimization, and platform adaptation\u201d","DOI":"10.1109\/JPROC.2004.840301"},{"key":"298_CR12","doi-asserted-by":"crossref","unstructured":"Guthaus MR, Ringenberg JS, Ernst D, Austin TM, Mudge T, Brown RB (2001) MiBench: a free, commercially representative embedded benchmark suite. In: Proceedings of the workload characterization. IEEE Computer Society","DOI":"10.1109\/WWC.2001.990739"},{"key":"298_CR13","doi-asserted-by":"crossref","unstructured":"Havelund K (2008) Runtime verification of C programs. In: International conference on testing of software and communicating systems","DOI":"10.1007\/978-3-540-68524-1_3"},{"key":"298_CR14","doi-asserted-by":"crossref","unstructured":"Havelund K, Ro\u015fu G (2001) Monitoring Java programs with Java PathExplorer. Electronic Notes in Theoretical Computer Science 55(2):200\u2013217. RV\u20192001, Runtime Verification","DOI":"10.1016\/S1571-0661(04)00253-1"},{"issue":"2","key":"298_CR15","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/B:FORM.0000017719.43755.7c","volume":"24","author":"M Kim","year":"2004","unstructured":"Kim M, Viswanathan M, Kannan S, Lee I, Sokolsky O (2004) Java-MaC: a run-time assurance approach for Java programs. Formal Methods Syst Des 24(2):129\u2013155","journal-title":"Formal Methods Syst Des"},{"key":"298_CR16","volume-title":"The art of computer programming. Volume 2: seminumerical algorithms","author":"DE Knuth","year":"1998","unstructured":"Knuth DE (1998) The art of computer programming. Volume 2: seminumerical algorithms, 3rd edn. Addison-Wesley, Boston","edition":"3"},{"key":"298_CR17","doi-asserted-by":"crossref","unstructured":"Liu Y, Wei L, Zhou Z, Zhang K, Xu W, Xu Q (2016) On code execution tracking via power side-channel. In: ACM conference on computer and communications security. ACM, pp. 1019\u20131031","DOI":"10.1145\/2976749.2978299"},{"key":"298_CR18","unstructured":"Moreno C (2013) Side-channel analysis: countermeasures and application to embedded systems debugging. Ph.D. Thesis, University of Waterloo"},{"key":"298_CR19","doi-asserted-by":"crossref","unstructured":"Moreno C, Fischmeister S (2016) Non-intrusive runtime monitoring through power consumption: a signals and system analysis approach to reconstruct the trace. In: International conference on runtime verification. Springer, pp. 268\u2013284","DOI":"10.1007\/978-3-319-46982-9_17"},{"key":"298_CR20","doi-asserted-by":"crossref","unstructured":"Moreno C, Fischmeister S (2017) On the security of safety-critical embedded systems: who watches the watchers? Who reprograms the watchers? In: 3rd international conference on information systems security and privacy","DOI":"10.5220\/0006228304930498"},{"key":"298_CR21","doi-asserted-by":"crossref","unstructured":"Moreno C, Fischmeister S, Hasan MA (2013) Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis. In: Conference on languages, compilers and tools for embedded systems, pp 77\u201388","DOI":"10.1145\/2491899.2465570"},{"key":"298_CR22","doi-asserted-by":"crossref","unstructured":"Moreno C, Kauffman S, Fischmeister S (2016) Efficient program tracing and monitoring through power consumption\u2014with a little help from the compiler. In: Design, automation, and test (DATE)","DOI":"10.3850\/9783981537079_0829"},{"key":"298_CR23","doi-asserted-by":"crossref","unstructured":"Msgna M, Markantonakis K, Mayes K (2013) The B-side of side channel leakage: control flow security in embedded systems. In: International conference on security and privacy in communication systems. Springer, pp 288\u2013304","DOI":"10.1007\/978-3-319-04283-1_18"},{"key":"298_CR24","doi-asserted-by":"crossref","unstructured":"Navabpour S, Joshi Y, Wu W, Berkovich S, Medhat R, Bonakdarpour B, Fischmeister S (2013) RiTHM: a tool for enabling time-triggered runtime verification for C programs. In: Foundations of software engineering. ACM, pp 603\u2013606","DOI":"10.1145\/2491411.2494596"},{"key":"298_CR25","doi-asserted-by":"crossref","unstructured":"Pnueli A, Zacks A (2006) PSL model checking and run-time verification via testers. In: 14th international symposium on formal methods","DOI":"10.1007\/11813040_38"},{"key":"298_CR26","volume-title":"Numerical recipes in C","author":"W Press","year":"1992","unstructured":"Press W, Teukolsky S, Vetterling W, Flannery B (1992) Numerical recipes in C, 2nd edn. Cambridge University Press, Cambridge","edition":"2"},{"key":"298_CR27","volume-title":"Digital signal processing: principles, algorithms, and applications","author":"JG Proakis","year":"2006","unstructured":"Proakis JG, Manolakis DG (2006) Digital signal processing: principles, algorithms, and applications, 4th edn. Prentice Hall, Upper Saddle River","edition":"4"},{"key":"298_CR28","doi-asserted-by":"crossref","unstructured":"Seyster J, Dixit K, Huang X, Grosu R, Havelund K, Smolka SA, Stoller SD, Zadok E (2010) Aspect-oriented instrumentation with GCC, In: RV. Springer, pp 405\u2013420","DOI":"10.1007\/978-3-642-16612-9_31"},{"key":"298_CR29","unstructured":"Solar Designer (1997) \u201creturn-to-libc\u201d attack. Bugtraq"},{"key":"298_CR30","doi-asserted-by":"crossref","DOI":"10.1002\/9781119952954","volume-title":"Statistical pattern recognition","author":"AR Webb","year":"2011","unstructured":"Webb AR, Copsey KD (2011) Statistical pattern recognition, 3rd edn. Wiley, New York","edition":"3"},{"key":"298_CR31","volume-title":"Data structures and algorithm analysis in C++","author":"MA Weiss","year":"2006","unstructured":"Weiss MA (2006) Data structures and algorithm analysis in C++, 3rd edn. Addison-Wesley, Boston","edition":"3"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-017-0298-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0298-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0298-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T13:26:54Z","timestamp":1570109214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-017-0298-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,19]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["298"],"URL":"https:\/\/doi.org\/10.1007\/s10703-017-0298-3","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2017,9,19]]}}}