Double DIP: Re-Evaluating Security of Logic Encryption Algorithms. Shen, Y. & Zhou, H. In Proceedings of the on Great Lakes Symposium on VLSI 2017, of GLSVLSI '17, pages 179–184, Banff, Alberta, Canada, May, 2017. Association for Computing Machinery. Paper doi abstract bibtex Logic encryption is a hardware security technique that uses extra key inputs to lock a given combinational circuit. A recent study by Subramanyan et al. shows that all existing logic encryption techniques can be successfully attacked. As a countermeasure, SARLock was proposed to enhance the security of existing logic encryptions. In this paper, we re-evaluate the security of these approaches. A SAT-based attack called Double DIP is proposed and shown to successfully defeat SARLock-enhanced encryptions.
@inproceedings{shen_double_2017,
address = {Banff, Alberta, Canada},
series = {{GLSVLSI} '17},
title = {Double {DIP}: {Re}-{Evaluating} {Security} of {Logic} {Encryption} {Algorithms}},
isbn = {978-1-4503-4972-7},
shorttitle = {Double {DIP}},
url = {https://doi.org/10.1145/3060403.3060469},
doi = {10.1145/3060403.3060469},
abstract = {Logic encryption is a hardware security technique that uses extra key inputs to lock a given combinational circuit. A recent study by Subramanyan et al. shows that all existing logic encryption techniques can be successfully attacked. As a countermeasure, SARLock was proposed to enhance the security of existing logic encryptions. In this paper, we re-evaluate the security of these approaches. A SAT-based attack called Double DIP is proposed and shown to successfully defeat SARLock-enhanced encryptions.},
urldate = {2020-03-17},
booktitle = {Proceedings of the on {Great} {Lakes} {Symposium} on {VLSI} 2017},
publisher = {Association for Computing Machinery},
author = {Shen, Yuanqi and Zhou, Hai},
month = may,
year = {2017},
keywords = {hardware security, logic encryption algorithms, sarlock, sat attack},
pages = {179--184},
}
Downloads: 0
{"_id":"xtmrbQswTRusM8Qrh","bibbaseid":"shen-zhou-doubledipreevaluatingsecurityoflogicencryptionalgorithms-2017","author_short":["Shen, Y.","Zhou, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Banff, Alberta, Canada","series":"GLSVLSI '17","title":"Double DIP: Re-Evaluating Security of Logic Encryption Algorithms","isbn":"978-1-4503-4972-7","shorttitle":"Double DIP","url":"https://doi.org/10.1145/3060403.3060469","doi":"10.1145/3060403.3060469","abstract":"Logic encryption is a hardware security technique that uses extra key inputs to lock a given combinational circuit. A recent study by Subramanyan et al. shows that all existing logic encryption techniques can be successfully attacked. As a countermeasure, SARLock was proposed to enhance the security of existing logic encryptions. In this paper, we re-evaluate the security of these approaches. A SAT-based attack called Double DIP is proposed and shown to successfully defeat SARLock-enhanced encryptions.","urldate":"2020-03-17","booktitle":"Proceedings of the on Great Lakes Symposium on VLSI 2017","publisher":"Association for Computing Machinery","author":[{"propositions":[],"lastnames":["Shen"],"firstnames":["Yuanqi"],"suffixes":[]},{"propositions":[],"lastnames":["Zhou"],"firstnames":["Hai"],"suffixes":[]}],"month":"May","year":"2017","keywords":"hardware security, logic encryption algorithms, sarlock, sat attack","pages":"179–184","bibtex":"@inproceedings{shen_double_2017,\n\taddress = {Banff, Alberta, Canada},\n\tseries = {{GLSVLSI} '17},\n\ttitle = {Double {DIP}: {Re}-{Evaluating} {Security} of {Logic} {Encryption} {Algorithms}},\n\tisbn = {978-1-4503-4972-7},\n\tshorttitle = {Double {DIP}},\n\turl = {https://doi.org/10.1145/3060403.3060469},\n\tdoi = {10.1145/3060403.3060469},\n\tabstract = {Logic encryption is a hardware security technique that uses extra key inputs to lock a given combinational circuit. A recent study by Subramanyan et al. shows that all existing logic encryption techniques can be successfully attacked. As a countermeasure, SARLock was proposed to enhance the security of existing logic encryptions. In this paper, we re-evaluate the security of these approaches. A SAT-based attack called Double DIP is proposed and shown to successfully defeat SARLock-enhanced encryptions.},\n\turldate = {2020-03-17},\n\tbooktitle = {Proceedings of the on {Great} {Lakes} {Symposium} on {VLSI} 2017},\n\tpublisher = {Association for Computing Machinery},\n\tauthor = {Shen, Yuanqi and Zhou, Hai},\n\tmonth = may,\n\tyear = {2017},\n\tkeywords = {hardware security, logic encryption algorithms, sarlock, sat attack},\n\tpages = {179--184},\n}\n\n","author_short":["Shen, Y.","Zhou, H."],"key":"shen_double_2017","id":"shen_double_2017","bibbaseid":"shen-zhou-doubledipreevaluatingsecurityoflogicencryptionalgorithms-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3060403.3060469"},"keyword":["hardware security","logic encryption algorithms","sarlock","sat attack"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/bxt101","dataSources":["Wsv2bQ4jPuc7qme8R"],"keywords":["hardware security","logic encryption algorithms","sarlock","sat attack"],"search_terms":["double","dip","evaluating","security","logic","encryption","algorithms","shen","zhou"],"title":"Double DIP: Re-Evaluating Security of Logic Encryption Algorithms","year":2017}