{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:13:06Z","timestamp":1742915586951,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030788407"},{"type":"electronic","value":"9783030788414"}],"license":[{"start":{"date-parts":[[2021,5,28]],"date-time":"2021-05-28T00:00:00Z","timestamp":1622160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,5,28]],"date-time":"2021-05-28T00:00:00Z","timestamp":1622160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-78841-4_14","type":"book-chapter","created":{"date-parts":[[2022,2,8]],"date-time":"2022-02-08T13:03:04Z","timestamp":1644325384000},"page":"319-342","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["S*FSMs for Reduced Information Leakage: Power Side Channel Protection Through Secure Encoding"],"prefix":"10.1007","author":[{"given":"Mike","family":"Borowczak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranga","family":"Vemuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,5,28]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511816239","volume-title":"Switching and Finite Automata Theory","author":"Z Kohavi","year":"2009","unstructured":"Kohavi, Z., Jha, N.K.: Switching and Finite Automata Theory. Cambridge University Press, Cambridge (2009)"},{"key":"14_CR2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9657.001.0001","volume-title":"Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVerilog)","author":"VA Pedroni","year":"2013","unstructured":"Pedroni, V.A.: Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVerilog). MIT Press, Cambridge (2013)"},{"key":"14_CR3","doi-asserted-by":"publisher","DOI":"10.1201\/9781420013641","volume-title":"Modeling Software with Finite State Machines: A Practical Approach","author":"F Wagner","year":"2006","unstructured":"Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.: Modeling Software with Finite State Machines: A Practical Approach. CRC Press, Boca Raton (2006)"},{"key":"14_CR4","unstructured":"Hennessy, J., Patterson, D., Arpaci-Dusseau, A.: Computer Architecture: A Quantitative Approach. No. v. 1 in The Morgan Kaufmann Series in Computer Architecture and Design. Morgan Kaufmann, Burlington (2007)"},{"key":"14_CR5","first-page":"789","volume-title":"Advances in Cryptology \u2013 CRYPTO\u2019 99. Lecture Notes in Computer Science","author":"P Kocher","year":"1999","unstructured":"Kocher, P., Jaffe, J., Jun, B.: Differential power analysis. In: Wiener, M. (ed.) Advances in Cryptology \u2013 CRYPTO\u2019 99. Lecture Notes in Computer Science, vol. 1666, pp. 789\u2013789. Springer, Berlin (1999)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Verbauwhede, I.: Secure Integrated Circuits and Systems. Integrated Circuits and Systems. Springer, London (2010)","DOI":"10.1007\/978-0-387-71829-3"},{"key":"14_CR7","volume-title":"Power Analysis Attacks: Revealing the Secrets of Smart Cards (Advances in Information Security)","author":"S Mangard","year":"2007","unstructured":"Mangard, S., Oswald, E., Popp, T.: Power Analysis Attacks: Revealing the Secrets of Smart Cards (Advances in Information Security). Springer, New York (2007)"},{"key":"14_CR8","first-page":"403","volume":"2002","author":"K Tiri","year":"2002","unstructured":"Tiri, K., Akmal, M., Verbauwhede, I.: A dynamic and differential CMOS logic with signal independent power consumption to withstand differential power analysis on smart cards. In: Proceedings of the 28th European Solid-State Circuits Conference, 2002. ESSCIRC 2002, pp. 403\u2013406 (2002)","journal-title":"ESSCIRC"},{"key":"14_CR9","unstructured":"Tiri, K., Verbauwhede, I.: A logic level design methodology for a secure DPA resistant ASIC or FPGA implementation. In: Proceedings Design, Automation and Test in Europe Conference and Exhibition, pp. 246\u2013251 (2004)"},{"key":"14_CR10","first-page":"1","volume":"2007","author":"V Sundaresan","year":"2007","unstructured":"Sundaresan, V., Rammohan, S., Vemuri, R.: Power invariant secure IC design methodology using reduced complementary dynamic and differential logic. In: IFIP International Conference on Very Large Scale Integration, 2007. VLSI - SoC 2007, pp. 1\u20136 (2007)","journal-title":"VLSI - SoC"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Ramakrishnan, L.N., Chakkaravarthy, M., Manchanda, A.S., Borowczak, M., Vemuri, R.: SDMLp: On the use of complementary pass transistor logic for design of DPA resistant circuits. In: 2012 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) (2012)","DOI":"10.1109\/HST.2012.6224315"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-74735-2_7","volume-title":"Cryptographic Hardware and Embedded Systems\u2014CHES 2007. Lecture Notes in Computer Science","author":"P Schaumont","year":"2007","unstructured":"Schaumont, P., Tiri, K.: Masking and dual-rail logic don\u2019t add up. In: Paillier, P., Verbauwhede, I. (eds.) Cryptographic Hardware and Embedded Systems\u2014CHES 2007. Lecture Notes in Computer Science, vol. 4727, pp. 95\u2013106. Springer, Berlin (2007)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Kulikowski, K., Smirnov, A., Taubin, A.: Automated design of cryptographic devices resistant to multiple side-channel attacks. In: In Workshop on Cryptographic Hardware and Embedded Systems, pp. 339\u2013413 (2006)","DOI":"10.1007\/11894063_31"},{"key":"14_CR14","first-page":"31","volume-title":"Cryptographic Hardware and Embedded Systems\u2014CHES 2002. Lecture Notes in Computer Science","author":"J Goli\u0107","year":"2003","unstructured":"Goli\u0107, J., Tymen, C.: Multiplicative masking and power analysis of AES. In: Kaliski, B., Ko\u00e7, K., Paar, C. (eds.) Cryptographic Hardware and Embedded Systems\u2014CHES 2002. Lecture Notes in Computer Science, vol. 2523, pp. 31\u201347. Springer, Berlin (2003). http:\/\/doi.org\/10.1007\/3-540-36400-5_16"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Oswald, E., Mangard, S., Pramstaller, N., Rijmen, V.: A side-channel analysis resistant description of the AES S-box. In: Fast Software Encryption, pp. 413\u2013423 (2005). https:\/\/doi.org\/10.1007\/11502760_28","DOI":"10.1007\/11502760_28"},{"key":"14_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/11502760_28","volume-title":"A Side-Channel Analysis Resistant Description of the AES S-Box","author":"E Oswald","year":"2005","unstructured":"Oswald, E., Mangard, S., Pramstaller, N., Rijmen, V.: A Side-Channel Analysis Resistant Description of the AES S-Box. Springer, Berlin (2005)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Borowczak, M., Vemuri, R.: S*FSM: An paradigm shift for attack resistant FSM designs and encodings. In: Redefining and Integrating Security Engineering, 2012. RISE 2012. ASE International Conference on Cyber Security, pp. 651\u2013655 (2012)","DOI":"10.1109\/BioMedCom.2012.22"},{"key":"14_CR18","unstructured":"Borowczak, M.: Side Channel Attack Resistance: Migrating Towards High Level Methods. Ph.D. Thesis, University of Cincinnati (2013)"},{"issue":"4","key":"14_CR19","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1049\/iet-cdt.2018.5186","volume":"13","author":"M Borowczak","year":"2019","unstructured":"Borowczak, M., Vemuri, R.: Mitigating information leakage during critical communication using S*FSM. IET Comput. Digital Techni. 13(4), 292\u2013301 (2019)","journal-title":"IET Comput. Digital Techni."},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Borowczak, M., Vemuri, R.: A state encoding methodology for side-channel security vs. power trade-off exploration. In: 2019 32nd International Conference on VLSI Design and 2019 18th International Conference on Embedded Systems (VLSID), pp. 70\u201375. IEEE, Piscataway (2019)","DOI":"10.1109\/VLSID.2019.00031"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Grune, D., Jacobs, C.: Parsing Techniques: A Practical Guide. Monographs in Computer Science. Springer, Berlin (2008)","DOI":"10.1007\/978-0-387-68954-8"},{"issue":"6","key":"14_CR22","doi-asserted-by":"publisher","first-page":"1334","DOI":"10.1109\/18.59932","volume":"36","author":"AE Brouwer","year":"1990","unstructured":"Brouwer, A.E., Shearer, J.B., Sloane, N.J.A., Smith, W.D.: A new table of constant weight codes. IEEE Trans. Inf. Theory 36(6), 1334\u20131380 (1990)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"1","key":"14_CR23","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/TIT.1986.1057136","volume":"32","author":"D Knuth","year":"1986","unstructured":"Knuth, D.: Efficient balanced codes. IEEE Transact. Inf. Theory 32(1), 51\u201353 (1986)","journal-title":"IEEE Transact. Inf. Theory"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Garey, M.R., Johnson, D.S., Stockmeyer, L.: Some simplified NP-complete problems. In: Proceedings of the Sixth Annual ACM Symposium on Theory of Computing, STOC \u201974, p. 47\u201363. Association for Computing Machinery, New York (1974). https:\/\/doi.org\/10.1145\/800119.803884","DOI":"10.1145\/800119.803884"},{"issue":"3","key":"14_CR25","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The CLP(R) language and system. ACM Trans. Program. Lang. Syst. 14(3), 339\u2013395 (1992). https:\/\/doi.org\/10.1145\/129393.129398","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"14_CR26","unstructured":"Dincbas, M., Hentenryck, P.V., Simonis, H., Aggoun, A., Graf, T., Berthier, F.: The constraint logic programming language CHIP. In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, November 28-December 2, 1988, pp. 693\u2013702. OHMSHA Ltd. Tokyo and Springer, Berlin (1988)"},{"key":"14_CR27","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-642-85983-0_12","volume-title":"Constraint Programming","author":"G Lopez","year":"1994","unstructured":"Lopez, G., Freeman-Benson, B., Borning, A.: Kaleidoscope: A constraint imperative programming language. In: Mayoh, B., Tyugu, E., Penjam, J. (eds.) Constraint Programming, pp. 313\u2013329. Springer, Berlin (1994)"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 337\u2013340 (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"14_CR29","first-page":"160","volume":"2004","author":"L Jozwiak","year":"2004","unstructured":"Jozwiak, L., Gawlowski, D., Slusarczyk, A.: An effective solution of benchmarking problem FSM benchmark generator and its application to analysis of state assignment methods. In: Euromicro Symposium on Digital System Design, 2004. DSD 2004, pp. 160\u2013167 (2004)","journal-title":"DSD"},{"key":"14_CR30","unstructured":"Yang, S.: Logic Synthesis and Optimization Benchmarks User Guide Version 3.0 (1991)"}],"container-title":["Behavioral Synthesis for Hardware Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-78841-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,8]],"date-time":"2022-02-08T13:24:19Z","timestamp":1644326659000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-78841-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,28]]},"ISBN":["9783030788407","9783030788414"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-78841-4_14","relation":{},"subject":[],"published":{"date-parts":[[2021,5,28]]},"assertion":[{"value":"28 May 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}