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. ![Double DIP: Re-Evaluating Security of Logic Encryption Algorithms [link]](https://bibbase.org/img/filetypes/link.svg "link")
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}