{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,6]],"date-time":"2023-03-06T05:34:01Z","timestamp":1678080841057},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T00:00:00Z","timestamp":1567987200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T00:00:00Z","timestamp":1567987200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10836-019-05821-z","type":"journal-article","created":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T04:02:36Z","timestamp":1568001756000},"page":"621-639","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A State Machine Encoding Methodology Against Power Analysis Attacks"],"prefix":"10.1007","volume":"35","author":[{"given":"Richa","family":"Agrawal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranga","family":"Vemuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Borowczak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"5821_CR1","unstructured":"Agrawal R, Borowczak M, Vemuri R (2019) A state encoding methodology for side-channel security vs. power trade-off exploration. In: Proceedings of 2019 32nd international conference on VLSI design and 2019 18th international conference on embedded systems (VLSID). IEEE, pp 70?-75"},{"key":"5821_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal R, Vemuri R (2018) On state encoding against power analysis attacks for finite state controllers. In: Proceedings of international symposium on hardware oriented security and trust. IEEE, pp 181\u2013186","DOI":"10.1109\/HST.2018.8383911"},{"key":"5821_CR3","unstructured":"Akkar M-L, Bevan R, Dischamp P, Moyart D (2000) Power analysis, what is now possible.... In: Proceedings of international conference on the theory and application of cryptology and information security. Springer, pp 489\u2013502"},{"key":"5821_CR4","doi-asserted-by":"crossref","unstructured":"Aljazeera K, Nandakumar R, Ershad S (2016) Design and characterization of L-Block cryptocore. In: 2016 international conference on proceedings of signal processing, communication, power and embedded system (SCOPES). IEEE, pp 166\u2013172","DOI":"10.1109\/SCOPES.2016.7955732"},{"key":"5821_CR5","doi-asserted-by":"crossref","unstructured":"Ambrose JA, Ragel RG, Jayasinghe D, Li T, Parameswaran S (2015) Side channel attacks in embedded systems: a tale of hostilities and deterrence. In: Proceedings of sixteenth international symposium on quality electronic design. IEEE, pp 452\u2013459","DOI":"10.1109\/ISQED.2015.7085468"},{"key":"5821_CR6","doi-asserted-by":"crossref","unstructured":"Bahnasawi MA, Ibrahim K, Mohamed A, Mohamed MK, Moustafa A, Abdelmonem K, Ismail Y, Mostafa H (2016) ASIC-oriented comparative review of hardware security algorithms for Internet of Things applications. In: Proceedings of 2016 28th international conference on microelectronics (ICM). IEEE, pp 285\u2013288","DOI":"10.1109\/ICM.2016.7847871"},{"key":"5821_CR7","doi-asserted-by":"crossref","unstructured":"Borowczak M, Vemuri R (2012) S* FSM: a paradigm shift for attack resistant FSM designs and encodings. In: Proceedings of ASE\/IEEE international conference on biomedical computing. IEEE, pp 96\u2013100","DOI":"10.1109\/BioMedCom.2012.22"},{"key":"5821_CR8","doi-asserted-by":"crossref","unstructured":"Borowczak M, Vemuri R (2014) Enabling side channel secure FSMs in the presence of low power requirements. In: Proceedings of 2014 IEEE computer society annual symposium on VLSI. IEEE, pp 232\u2013235","DOI":"10.1109\/ISVLSI.2014.78"},{"key":"5821_CR9","doi-asserted-by":"crossref","unstructured":"Brutscheck M, Schmidt B, Franke M, Schwarzbacher AT, Becker S (2009) Identification of deterministic sequential finite state machines in unknown CMOS ICs","DOI":"10.1049\/cp.2009.1698"},{"issue":"1","key":"5821_CR10","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"EJ Chikofsky","year":"1990","unstructured":"Chikofsky EJ, Cross JH (1990) Reverse engineering and design recovery: a taxonomy. IEEE Softw 7 (1):13\u201317","journal-title":"IEEE Softw"},{"issue":"10","key":"5821_CR11","doi-asserted-by":"publisher","first-page":"3300","DOI":"10.1109\/TCSI.2018.2819499","volume":"65","author":"D Das","year":"2018","unstructured":"Das D, Maity S, Nasir SB, Ghosh S, Raychowdhury A, Sen S (2018) ASNI: attenuated signature noise injection for low-overhead power side-channel attack immunity. IEEE Trans Circuits Syst Regul Pap 65(10):3300\u20133311","journal-title":"IEEE Trans Circuits Syst Regul Pap"},{"key":"5821_CR12","doi-asserted-by":"crossref","unstructured":"De Moura L, Bj\u00d8Rner N. (2008) Z3: an efficient SMT solver. In: Proceedings of international conference on tools and algorithms for the construction and analysis of systems, pp 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"},{"issue":"1","key":"5821_CR13","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF01386390","volume":"1","author":"EW Dijkstra","year":"1959","unstructured":"Dijkstra EW (1959) A note on two problems in connexion with graphs. Numerische mathematik 1(1):269\u2013271","journal-title":"Numerische mathematik"},{"key":"5821_CR14","doi-asserted-by":"crossref","unstructured":"Dofe J, Frey J, Yu Q (2016) Hardware security assurance in emerging IoT applications. In: Proceedings of 2016 IEEE international symposium on circuits and systems (ISCAS), vol 2016. IEEE, pp 2050\u20132053","DOI":"10.1109\/ISCAS.2016.7538981"},{"issue":"3","key":"5821_CR15","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1049\/iet-ifs:20080038","volume":"2","author":"J Ferrigno","year":"2008","unstructured":"Ferrigno J, Hlav\u00e1\u010d M (2008) When AES blinks: introducing optical side channel. IET Inf Secur 2 (3):94\u201398","journal-title":"IET Inf Secur"},{"key":"5821_CR16","doi-asserted-by":"crossref","unstructured":"Gandolfi K, Mourtel C, Olivier F (2001) Electromagnetic analysis: Concrete results. In: Proceedings of international workshop on cryptographic hardware and embedded systems. Springer, pp 251\u2013261","DOI":"10.1007\/3-540-44709-1_21"},{"key":"5821_CR17","unstructured":"Gebotys CH, Gebotys RJ (2002) Secure elliptic curve implementations: an analysis of resistance to power-attacks in a DSP processor. In: Proceedings of international workshop on cryptographic hardware and embedded systems. Springer, pp 114\u2013128"},{"key":"5821_CR18","doi-asserted-by":"crossref","unstructured":"Gierlichs B, Batina L, Tuyls P, Preneel B (2008) Mutual information analysis. Cryptographic hardware and embedded systems\u2013cryptographic hardware and embedded systems 2008, pp 426\u2013 442","DOI":"10.1007\/978-3-540-85053-3_27"},{"issue":"1","key":"5821_CR19","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1134\/S1064230714010067","volume":"53","author":"T Grzes","year":"2014","unstructured":"Grzes T, Solov\u2019ev V (2014) Sequential algorithm for low-power encoding internal states of finite state machines. Journal of Computer & Systems Sciences International 53(1):92","journal-title":"Journal of Computer & Systems Sciences International"},{"key":"5821_CR20","doi-asserted-by":"crossref","unstructured":"Jozwiak L, Gawlowski D, Slusarczyk A (2004) An effective solution of benchmarking problem: FSM benchmark generator and its application to analysis of state assignment methods. In: Proceedings of Euromicro symposium on digital system design. IEEE, pp 160\u2013167","DOI":"10.1109\/DSD.2004.1333272"},{"key":"5821_CR21","unstructured":"Kar M, Singh A, Mathew S, Rajan A, De V, Mukhopadhyay S (2017) 8.1 improved power-side-channel-attack resistance of an AES-128 core via a security-aware integrated buck voltage regulator. In: Proceedings of 2017 IEEE international solid-state circuits conference (ISSCC). IEEE, pp 142?-143"},{"key":"5821_CR22","doi-asserted-by":"crossref","unstructured":"Kocher P, Jaffe J, Jun B (1999) Differential power analysis. In: Proceedings of advances in cryptology CRYPTO\u201999. Springer, pp 789\u2013789","DOI":"10.1007\/3-540-48405-1_25"},{"key":"5821_CR23","volume-title":"Power analysis attacks: Revealing the secrets of smart cards","author":"S Mangard","year":"2008","unstructured":"Mangard S, Oswald E, Popp T (2008) Power analysis attacks: Revealing the secrets of smart cards. Springer Science & Business Media, Berlin"},{"issue":"8","key":"5821_CR24","first-page":"25","volume":"88","author":"G Masalskis","year":"2008","unstructured":"Masalskis G, et al (2008) Reverse engineering of CMOS integrated circuits. Elektronika ir elektrotechnika 88(8):25\u201328","journal-title":"Elektronika ir elektrotechnika"},{"key":"5821_CR25","unstructured":"Newton A, et al Synthesis of multiple level logic from symbolic high-level description languages. In: Proceedings of VLSI conference"},{"issue":"1","key":"5821_CR26","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.vlsi.2005.12.013","volume":"40","author":"E Peeters","year":"2007","unstructured":"Peeters E, Standaert F-X, Quisquater J-J (2007) Power and electromagnetic analysis: Improved model, consequences and comparisons. Integration, the VLSI journal 40(1):52\u201360","journal-title":"Integration, the VLSI journal"},{"key":"5821_CR27","doi-asserted-by":"crossref","unstructured":"Popp T, Mangard S (2005) Masked dual-rail pre-charge logic: DPAResistance without routing constraints. In: Proceedings of international workshop on cryptographic hardware and embedded systems. Springer, pp 172\u2013186","DOI":"10.1007\/11545262_13"},{"key":"5821_CR28","doi-asserted-by":"crossref","unstructured":"Potkonjak M, Nahapetian A, Nelson M, Massey T (2009) Hardware trojan horse detection using gate-level characterization. In: Proceedings of design automation conference, 2009. 46th ACM. IEEE, pp 688\u2013?693","DOI":"10.1145\/1629911.1630091"},{"key":"5821_CR29","first-page":"393","volume":"6151","author":"M Renauld","year":"2009","unstructured":"Renauld M, Standaert F-X (2009) Algebraic side-channel attacks. Inscrypt 6151:393\u2013410","journal-title":"Inscrypt"},{"key":"5821_CR30","doi-asserted-by":"crossref","unstructured":"Smith J, Oler K, Miller C, Manz D (2017) Reverse engineering integrated circuits using finite state machine analysis. In: Proceedings of 50th Hawaii international conference on system sciences, pp 2906\u20132914","DOI":"10.24251\/HICSS.2017.351"},{"key":"5821_CR31","doi-asserted-by":"crossref","unstructured":"Tiri K, Verbauwhede I (2004) A logic level design methodology for a secure DPA resistant ASIC or FPGA implementation. In: Proceedings of the conference on design, automation and test in Europe-Volume 1. IEEE Computer Society, p 10246","DOI":"10.1109\/DATE.2004.1268856"},{"key":"5821_CR32","unstructured":"Tiri K, Akmal M, Verbauwhede I (2002) A dynamic and differential CMOS logic with signal independent power consumption to withstand differential power analysis on smart cards. In: Proceedings of 28th European solid-state circuits conference (ESSCIRC). IEEE, pp 403\u2013406"},{"key":"5821_CR33","doi-asserted-by":"crossref","unstructured":"Torrance R, James D (2011) The state-of-the-art in semiconductor reverse engineering. In: Proceedings of 2011 48th ACM\/EDAC\/IEEE design automation conference (DAC). IEEE, pp 333\u2013338","DOI":"10.1145\/2024724.2024805"},{"key":"5821_CR34","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/978-1-4419-5906-5-511","volume-title":"Invasive attacks","author":"A Tria","year":"2011","unstructured":"Tria A, Choukri H (2011) Invasive attacks. Springer, Boston, pp 623\u2013629. [Online]. Available: \nhttps:\/\/doi.org\/10.1007\/978-1-4419-5906-5-511"},{"issue":"3","key":"5821_CR35","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1109\/92.406998","volume":"3","author":"C-Y Tsui","year":"1995","unstructured":"Tsui C-Y, Monteiro J, Pedram M, Devadas S, Despain AM, Lin B (1995) Power estimation methods for sequential logic circuits. IEEE Trans Very Large Scale Integr VLSI Syst 3(3):404\u2013416","journal-title":"IEEE Trans Very Large Scale Integr VLSI Syst"},{"key":"5821_CR36","doi-asserted-by":"crossref","unstructured":"Uting S, Brutscheck M, Schwartzbacher A, Becker S (2011) FPGA based optimisation and implementation of nondestructive identification procedures. In: Proceedings of international solid state circuits conference","DOI":"10.1049\/cp.2010.0511"},{"key":"5821_CR37","doi-asserted-by":"crossref","unstructured":"Vamja H, Agrawal R, Vemuri R (2019) Non-invasive reverse engineering of finite state machines using power analysis and boolean satisfiability. In: Proceedings of 2019 IEEE 62nd international midwest symposium on circuits and systems (MWSCAS). IEEE, pp 452\u2013455","DOI":"10.1109\/MWSCAS.2019.8885300"},{"key":"5821_CR38","doi-asserted-by":"crossref","unstructured":"Verbauwhede I (2010) Secure integrated circuits and systems. Springer","DOI":"10.1007\/978-0-387-71829-3"},{"key":"5821_CR39","doi-asserted-by":"crossref","unstructured":"Villa T, Sangiovanni-Vincentelli A (1989) NOVA: state assignment of finite state machines for optimal two-level logic implementations. In: Proceedings of 26th ACM\/IEEE design automation conference. ACM, pp 327\u2013332","DOI":"10.1145\/74382.74437"},{"key":"5821_CR40","unstructured":"Yang S (1991) Logic synthesis and optimization benchmarks user guide: version 3.0 microelectronics center of North Carolina (MCNC)"},{"key":"5821_CR41","doi-asserted-by":"crossref","unstructured":"Yuan L, Qu G (2004) Information hiding in finite state machine. In: Proceedings of international workshop on information hiding. Springer, pp 340\u2013354","DOI":"10.1007\/978-3-540-30114-1_24"},{"key":"5821_CR42","first-page":"388","volume":"2005","author":"Y Zhou","year":"2005","unstructured":"Zhou Y, Feng D (2005) Side-channel attacks: ten years after its publication and the impacts on cryptographic module security testing. IACR Cryptology ePrint Archive 2005:388","journal-title":"IACR Cryptology ePrint Archive"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-019-05821-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-019-05821-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-019-05821-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,7]],"date-time":"2020-09-07T23:14:24Z","timestamp":1599520464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-019-05821-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,9]]},"references-count":42,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["5821"],"URL":"https:\/\/doi.org\/10.1007\/s10836-019-05821-z","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9,9]]},"assertion":[{"value":"21 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 August 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 September 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}