{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T16:31:51Z","timestamp":1770136311949,"version":"3.49.0"},"reference-count":63,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/codesisss.2015.7331365","type":"proceedings-article","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T22:44:30Z","timestamp":1448318670000},"page":"30-36","source":"Crossref","is-referenced-by-count":20,"title":["Design methodologies for securing cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Mohammad Al","family":"Faruque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Regazzoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2266831"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2735960.2735984"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2331147.2331168"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-642-20465-4_6","article-title":"Pushing the limits: A very compact and a threshold implementation of aes","author":"moradi","year":"2011","journal-title":"Advances in Cryptology–EUROCRYPT 2011"},{"key":"ref31","article-title":"Attack modeling for information security and survivability","author":"moore","year":"2001","journal-title":"Technical report DTIC Document"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1109\/JPROC.2011.2161428","article-title":"Cyber-physical security of a smart grid infrastructure","volume":"100","author":"mo","year":"2012","journal-title":"Proceedings of the IEEE"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843720"},{"key":"ref36","article-title":"Attack-Resilient State Estimation in the Presence of Noise","author":"pajic","year":"2015","journal-title":"Technical Report"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2461446.2461457"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.11"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593095"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ISRCS.2012.6309293"},{"key":"ref61","article-title":"Patients put at risk by computer viruses","author":"weaver","year":"2013","journal-title":"The Wall Street Journal"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2012.2227342"},{"key":"ref28","first-page":"150","article-title":"Securing the aes finalists against power analysis attacks","author":"messerges","year":"2001","journal-title":"Fast Software Encryption"},{"key":"ref27","volume":"31","author":"mangard","year":"2008","journal-title":"Power Analysis Attacks Revealing the Secrets of Smart Cards"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"1854","DOI":"10.1109\/CDC.2013.6760152","article-title":"Stochastic game approach for replay attack detection","author":"miao","year":"2013","journal-title":"Decision and Control (CDC) 2013 IEEE 52nd Annual Conference"},{"key":"ref2","year":"0","journal-title":"'Spoofers' Use Fake GPS Signals to Knock A Yacht off Course"},{"key":"ref1","year":"0"},{"key":"ref20","first-page":"388","article-title":"Differential power analysis","author":"kocher","year":"1999","journal-title":"Adv Cryptology"},{"key":"ref22","first-page":"104","article-title":"Timing attacks on implementations of diffie-hellman, rsa, dss, and other systems","author":"kocher","year":"1996","journal-title":"Adv Cryptology"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1145\/996566.996771","article-title":"Security as a new dimension in embedded system design","author":"kocher","year":"2004","journal-title":"Proceedings of the 41st Annual Design Automation Conference"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"ref26","first-page":"150","article-title":"Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system","author":"li","year":"2011","journal-title":"E-Health Networking Applications and Services (Healthcom) 2011 13th IEEE International Conference on"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.67"},{"key":"ref50","first-page":"90","article-title":"A decoupled feedback structure for covertly appropriating networked control systems","author":"smith","year":"2011","journal-title":"Proc IFAC World Congress"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717166"},{"key":"ref59","first-page":"19","article-title":"A simple demonstration that the global positioning system (gps) is vulnerable to spoofing","volume":"25","author":"warner","year":"2002","journal-title":"Journal of Security Administration"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2015.7301644"},{"key":"ref57","article-title":"Functional Model-based Design Methodology for Automotive Cyber-Physical Systems","author":"wan","year":"2014","journal-title":"IEEE Syst J (ISJ)"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268856"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046719"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2185505.2185515"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2566468.2566482"},{"key":"ref52","article-title":"Computer viruses are Srampant'T on medical devices in hospitals","author":"talbot","year":"2012","journal-title":"MIT Technology Review"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502539"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2014.7001327"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/11545262_13","article-title":"Masked dual-rail pre-charge logic: Dpa-resistance without routing constraints","author":"popp","year":"2005","journal-title":"Cryptographic Hardware and Embedded Systems ? CHES 2005"},{"key":"ref12","first-page":"1","article-title":"Comprehensive experimental analyses of automotive attack surfaces","author":"checkoway","year":"2011","journal-title":"SEC'11 Proceedings of the 20th USENIX Conference on Security"},{"key":"ref13","article-title":"W32. stuxnet dossier","author":"falliere","year":"2011","journal-title":"Security Response"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1080\/00396338.2011.555586"},{"key":"ref15","article-title":"Secure estimation and control for cyber-physical systems under adversarial attacks","author":"fawzi","year":"2012"},{"key":"ref16","first-page":"56","article-title":"Assessing the spoofing threat: Development of a portable gps civilian spoofer","volume":"55","author":"humphreys","year":"2008","journal-title":"Proceedings of the ION GNSS International Technical Meeting of the Satellite Division"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.7873\/DATE2014.067","article-title":"Attack-resilient sensor fusion","author":"ivanov","year":"2014","journal-title":"Design Automation and Test in Europe DATE03"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2566468.2566475"},{"key":"ref19","author":"ivanov","year":"2014","journal-title":"Resilient sensor fusion for safety-critical cyber-physical systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.862424"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISICIR.2014.7029580"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-3-642-40349-1_12","article-title":"Stealthy dopant-level hardware trojans","author":"becker","year":"2013","journal-title":"Cryptographic Hardware and Embedded Systems-CHES 2013"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25286-0_4"},{"key":"ref8","author":"bogdanov","year":"2007","journal-title":"PRESENT An Ultra-Lightweight Block Cipher"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2015.7169073"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-75462-8_6"},{"key":"ref9","first-page":"315","article-title":"Multi-disciplinary integrated design automation tool for automotive cyber-physical systems","author":"canedo","year":"2014","journal-title":"Proc Design Automation & Test Europe Conf"},{"key":"ref46","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-540-74619-5_12","article-title":"The 128-bit blockcipher clefia","author":"shirai","year":"2007","journal-title":"Fast Software Encryption"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-71817-0_15"},{"key":"ref48","author":"shoukry","year":"2013","journal-title":"Event-triggered state observers for sparse sensor noise\/attacks"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_4"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1015047.1015049"},{"key":"ref41","article-title":"Lightweight cryptography - cryptographic engineering for a pervasive world","author":"poschmann","year":"2009","journal-title":"Cryptology ePrint Archive Report"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-3-642-04138-9_15","article-title":"A design flow and evaluation framework for dpa-resistant instruction set extensions","author":"regazzoni","year":"2009","journal-title":"Cryptographic Hardware and Embedded Systems-CHES 2009"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSAMOS.2007.4285753"}],"event":{"name":"2015 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)","location":"Amsterdam, Netherlands","start":{"date-parts":[[2015,10,4]]},"end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7318233\/7331356\/07331365.pdf?arnumber=7331365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T13:52:38Z","timestamp":1748699558000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7331365\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":63,"URL":"https:\/\/doi.org\/10.1109\/codesisss.2015.7331365","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}