{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:01Z","timestamp":1750306681118,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1145\/2593069.2593193","type":"proceedings-article","created":{"date-parts":[[2014,5,27]],"date-time":"2014-05-27T12:57:10Z","timestamp":1401195430000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["QMS"],"prefix":"10.1145","author":[{"given":"Hassan","family":"Eldib","sequence":"first","affiliation":[{"name":"Department of ECE, Virginia Tech, Blacksburg, VA 24061, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of ECE, Virginia Tech, Blacksburg, VA 24061, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mostafa","family":"Taha","sequence":"additional","affiliation":[{"name":"Department of ECE, Virginia Tech, Blacksburg, VA 24061, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Schaumont","sequence":"additional","affiliation":[{"name":"Department of ECE, Virginia Tech, Blacksburg, VA 24061, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27954-6_2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_17"},{"key":"e_1_3_2_1_3_1","unstructured":"G. Bertoni J. Daemen M. Peeters G. V. Assche and R. V. Keer. Keccak implementation overview. URL: http:\/\/keccak.neokeon.org\/Keccak-implementation-3.2.pdf.  G. Bertoni J. Daemen M. Peeters G. V. Assche and R. V. Keer. Keccak implementation overview. URL: http:\/\/keccak.neokeon.org\/Keccak-implementation-3.2.pdf."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30564-4_5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30436-1_24"},{"key":"e_1_3_2_1_6_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . MIT Press , Cambridge, MA , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_11"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679401"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/648254.752571"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767480_16"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646764.703989"},{"key":"e_1_3_2_1_13_1","volume-title":"A satisfiability-based approach to abstraction refinement in model checking. ENTCS, 89(4)","author":"Li B.","year":"2003","unstructured":"B. Li , C. Wang , and F. Somenzi . A satisfiability-based approach to abstraction refinement in model checking. ENTCS, 89(4) , 2003 . B. Li, C. Wang, and F. Somenzi. A satisfiability-based approach to abstraction refinement in model checking. ENTCS, 89(4), 2003."},{"key":"e_1_3_2_1_14_1","volume-title":"Power Analysis Attacks -- Revealing the Secrets of Smart Sards","author":"Mangard S.","year":"2007","unstructured":"S. Mangard , E. Oswald , and T. Popp . Power Analysis Attacks -- Revealing the Secrets of Smart Sards . Springer , 2007 . S. Mangard, E. Oswald, and T. Popp. Power Analysis Attacks -- Revealing the Secrets of Smart Sards. Springer, 2007."},{"key":"e_1_3_2_1_15_1","volume-title":"Fast Software Encryption","author":"Messerges T. S.","year":"2000","unstructured":"T. S. Messerges . Securing the AES finalists against power analysis attacks . In Fast Software Encryption , 2000 . T. S. Messerges. Securing the AES finalists against power analysis attacks. In Fast Software Encryption, 2000."},{"key":"e_1_3_2_1_16_1","volume-title":"IACR Cryptology","author":"Moradi A.","year":"2011","unstructured":"A. Moradi , A. Barenghi , T. Kasper , and C. Paar . On the vulnerability of FPGA bitstream encryption against power analysis attacks - extracting keys from Xilinx Virtex-II FPGAs . IACR Cryptology , 2011 . A. Moradi, A. Barenghi, T. Kasper, and C. Paar. On the vulnerability of FPGA bitstream encryption against power analysis attacks - extracting keys from Xilinx Virtex-II FPGAs. IACR Cryptology, 2011."},{"key":"e_1_3_2_1_17_1","unstructured":"NIST. Keccak reference code submission to the SHA-3 competition. URL: http:\/\/csrc.nist.gov\/groups\/ST\/hash\/sha-3\/Round3\/documents\/Keccak_FinalRnd.zip.  NIST. Keccak reference code submission to the SHA-3 competition. URL: http:\/\/csrc.nist.gov\/groups\/ST\/hash\/sha-3\/Round3\/documents\/Keccak_FinalRnd.zip."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2009.44"},{"key":"e_1_3_2_1_19_1","volume-title":"EUROCRYPT.","author":"Prouff E.","year":"2013","unstructured":"E. Prouff and M. Rivain . Masking against side-channel attacks: A formal security proof . In EUROCRYPT. 2013 . E. Prouff and M. Rivain. Masking against side-channel attacks: A formal security proof. In EUROCRYPT. 2013."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41383-4_5"},{"key":"e_1_3_2_1_22_1","volume-title":"Abstraction Refinement for Large Scale Model Checking","author":"Wang C.","year":"2006","unstructured":"C. Wang , G. D. Hachhtel , and F. Somenzi . Abstraction Refinement for Large Scale Model Checking . Springer , 2006 . C. Wang, G. D. Hachhtel, and F. Somenzi. Abstraction Refinement for Large Scale Model Checking. Springer, 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996713"},{"key":"e_1_3_2_1_24_1","unstructured":"Xilinx. Microblaze soft processor core. URL: http:\/\/www.xilinx.com\/tools\/microblaze.htm.  Xilinx. Microblaze soft processor core. URL: http:\/\/www.xilinx.com\/tools\/microblaze.htm."},{"key":"e_1_3_2_1_25_1","first-page":"17","volume-title":"MEMOCODE","author":"Yang Z.","year":"2006","unstructured":"Z. Yang , C. Wang , F. Ivan\u010di\u0107 , and A. Gupta . Mixed symbolic representations for model checking software programs . In MEMOCODE , pages 17 -- 24 , July 2006 . Z. Yang, C. Wang, F. Ivan\u010di\u0107, and A. Gupta. Mixed symbolic representations for model checking software programs. In MEMOCODE, pages 17--24, July 2006."}],"event":{"name":"DAC '14: The 51st Annual Design Automation Conference 2014","sponsor":["EDAC Electronic Design Automation Consortium","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA"],"location":"San Francisco CA USA","acronym":"DAC '14"},"container-title":["Proceedings of the 51st Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593193","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593069.2593193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:10Z","timestamp":1750230070000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593193"}},"subtitle":["Evaluating the Side-Channel Resistance of Masked Software from Source Code"],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":25,"alternative-id":["10.1145\/2593069.2593193","10.1145\/2593069"],"URL":"https:\/\/doi.org\/10.1145\/2593069.2593193","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]},"assertion":[{"value":"2014-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}