{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:08:46Z","timestamp":1725865726539},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319469812"},{"type":"electronic","value":"9783319469829"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46982-9_17","type":"book-chapter","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T15:41:08Z","timestamp":1474299668000},"page":"268-284","source":"Crossref","is-referenced-by-count":4,"title":["Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace"],"prefix":"10.1007","author":[{"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":[[2016,9,20]]},"reference":[{"key":"17_CR1","unstructured":"One, A.: Smashing the stack for fun and profit. Phrack Magazine (1996)"},{"key":"17_CR2","unstructured":"Atmel Corporation: ATmega2560 (2016). http:\/\/www.atmel.com\/devices\/ATMEGA2560.aspx"},{"issue":"3","key":"17_CR3","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/1541880.1541882","volume":"41","author":"V Chandola","year":"2009","unstructured":"Chandola, V., Banerjee, A., Kumar, V.: Anomaly detection: a survey. ACM Computing Surveys (CSUR) 41(3), 15 (2009)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-31980-1_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Chen","year":"2005","unstructured":"Chen, F., Ro\u015fu, G.: Java-MOP: a monitoring oriented programming environment for Java. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 546\u2013550. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31980-1_36"},{"key":"17_CR5","unstructured":"Clark, S.S., Ransford, B., Rahmati, A., Guineau, S., Sorber, J., Fu, K., Xu, W.: WattsUpDoc: power side channels to nonintrusively discover untargeted malware on embedded medical devices. In: USENIX Workshop on Health Information Technologies. USENIX (2013)"},{"key":"17_CR6","volume-title":"Introduction to Algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press, Cambridge (2009)","edition":"3"},{"key":"17_CR7","unstructured":"Solar Designer: \u201creturn-to-libc\u201d Attack, Bugtraq, August 1997"},{"key":"17_CR8","unstructured":"Dormoy, F.X.: SCADE 6: a model based solution for safety critical software development. In: Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS 2008) (2008)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-17499-5_4","volume-title":"Transactions on Computational Science X","author":"T Eisenbarth","year":"2010","unstructured":"Eisenbarth, T., Paar, C., Weghenkel, B.: Building a side channel based disassembler. In: Gavrilova, M.L., Tan, C.J.K., Moreno, E.D. (eds.) Transactions on Computational Science X. LNCS, vol. 6340, pp. 78\u201399. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-17499-5_4"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Frigo, M., Johnson, S.G.: The design and implementation of FFTW3. In: Proceedings of the IEEE special issue on \u201cProgram Generation, Optimization, and Platform Adaptation\" (2005)","DOI":"10.1109\/JPROC.2004.840301"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Guthaus, M.R., Ringenberg, J.S., Ernst, D., Austin, T.M., Mudge, T., Brown, R.B.: MiBench: a free, commercially representative embedded benchmark suite. In: Proceedings of the Workload Characterization. IEEE Computer Society (2001)","DOI":"10.1109\/WWC.2001.990739"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Havelund, K.: Runtime verification of C programs. In: International Conference on Testing of Software and Communicating Systems (2008)","DOI":"10.1007\/978-3-540-68524-1_3"},{"issue":"2","key":"17_CR13","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/S1571-0661(04)00253-1","volume":"55","author":"K Havelund","year":"2001","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring Java programs with Java PathExplorer. Electron. Notes Theoret. Comput. Sci. 55(2), 200\u2013217 (2001). Runtime Verification (RV 2001)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"2","key":"17_CR14","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.: Java-MaC: a run-time assurance approach for Java programs. Formal Methods Syst. Des. 24(2), 129\u2013155 (2004)","journal-title":"Formal Methods Syst. Des."},{"key":"17_CR15","volume-title":"The Art of Computer Programming, Volume 2: Seminumerical Algorithms","author":"DE Knuth","year":"1998","unstructured":"Knuth, D.E.: The Art of Computer Programming, Volume 2: Seminumerical Algorithms, 3rd edn. Addison-Wesley, Reading (1998)","edition":"3"},{"key":"17_CR16","unstructured":"Lattner, C., the LLVM Developer Group: The LLVM Compiler Infrastructure - online documentation. http:\/\/llvm.org"},{"key":"17_CR17","volume-title":"Computer Security: Art and Science","author":"M Bishop","year":"2003","unstructured":"Bishop, M.: Computer Security: Art and Science. Addison-Wesley, Reading (2003)"},{"key":"17_CR18","unstructured":"Moreno, C.: Side-channel analysis: countermeasures and application to embedded systems debugging. Ph.D. Thesis (University of Waterloo) (2013)"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Moreno, C., Fischmeister, S., Hasan, M.A.: 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 (2013)","DOI":"10.1145\/2491899.2465570"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Moreno, C., Kauffman, S., Fischmeister, S.: Efficient program tracing and monitoring through power consumption - with a little help from the compiler. In: Design, Automation, and Test (DATE) (2016)","DOI":"10.3850\/9783981537079_0829"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Navabpour, S., Joshi, Y., Wu, W., Berkovich, S., Medhat, R., Bonakdarpour, B., Fischmeister, S.: RiTHM: a tool for enabling time-triggered runtime verification for C programs. In: Foundations of Software Engineering, pp. 603\u2013606. ACM (2013)","DOI":"10.1145\/2491411.2494596"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Zacks, A.: PSL model checking and run-time verification via testers. In: 14th International Symposium on Formal Methods (2006)","DOI":"10.1007\/11813040_38"},{"key":"17_CR23","volume-title":"Numerical Recipes in C","author":"W Press","year":"1992","unstructured":"Press, W., Teukolsky, S., Vetterling, W., Flannery, B.: Numerical Recipes in C, 2nd edn. Cambridge University Press, Cambridge (1992)","edition":"2"},{"key":"17_CR24","volume-title":"Digital Signal Processing: Principles, Algorithms, and Applications","author":"JG Proakis","year":"2006","unstructured":"Proakis, J.G., Manolakis, D.G.: Digital Signal Processing: Principles, Algorithms, and Applications, 4th edn. Prentice Hall, Upper Saddle River (2006)","edition":"4"},{"key":"17_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-642-16612-9_31","volume-title":"Runtime Verification","author":"J Seyster","year":"2010","unstructured":"Seyster, J., Dixit, K., Huang, X., Grosu, R., Havelund, K., Smolka, S.A., Stoller, S.D., Zadok, E.: Aspect-oriented instrumentation with GCC. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 405\u2013420. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16612-9_31"},{"key":"17_CR26","doi-asserted-by":"crossref","DOI":"10.1002\/9781119952954","volume-title":"Statistical Pattern Recognition","author":"AR Webb","year":"2011","unstructured":"Webb, A.R., Copsey, K.D.: Statistical Pattern Recognition, 3rd edn. Wiley, New York (2011)","edition":"3"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46982-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T19:12:08Z","timestamp":1568401928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46982-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319469812","9783319469829"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46982-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}