HOP: Hardware makes Obfuscation Practical

HOP: Hardware makes Obfuscation Practical. Nayak, K., Fletcher, C. W., Ren, L., Chandran, N., Lokam, S., Shi, E., & Goyal, V. In Proceedings 2017 Network and Distributed System Security Symposium, San Diego, CA, 2017. Internet Society.

Paper doi abstract bibtex

Program obfuscation is a central primitive in cryptography, and has important real-world applications in protecting software from IP theft. However, well known results from the cryptographic literature have shown that software only virtual black box (VBB) obfuscation of general programs is impossible. In this paper we propose HOP, a system (with matching theoretic analysis) that achieves simulation-secure obfuscation for RAM programs, using secure hardware to circumvent previous impossibility results. To the best of our knowledge, HOP is the ﬁrst implementation of a provably secure VBB obfuscation scheme in any model under any assumptions.

@inproceedings{nayak_hop:_2017,
	address = {San Diego, CA},
	title = {{HOP}: {Hardware} makes {Obfuscation} {Practical}},
	isbn = {978-1-891562-46-4},
	shorttitle = {{HOP}},
	url = {https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/hop-hardware-makes-obfuscation-practical/},
	doi = {10.14722/ndss.2017.23349},
	abstract = {Program obfuscation is a central primitive in cryptography, and has important real-world applications in protecting software from IP theft. However, well known results from the cryptographic literature have shown that software only virtual black box (VBB) obfuscation of general programs is impossible. In this paper we propose HOP, a system (with matching theoretic analysis) that achieves simulation-secure obfuscation for RAM programs, using secure hardware to circumvent previous impossibility results. To the best of our knowledge, HOP is the ﬁrst implementation of a provably secure VBB obfuscation scheme in any model under any assumptions.},
	language = {en},
	urldate = {2019-02-04TZ},
	booktitle = {Proceedings 2017 {Network} and {Distributed} {System} {Security} {Symposium}},
	publisher = {Internet Society},
	author = {Nayak, Kartik and Fletcher, Christopher W. and Ren, Ling and Chandran, Nishanth and Lokam, Satya and Shi, Elaine and Goyal, Vipul},
	year = {2017}
}

Downloads: 0

{"_id":"cnp6h4c7ggSFPnK5P","bibbaseid":"nayak-fletcher-ren-chandran-lokam-shi-goyal-hophardwaremakesobfuscationpractical-2017","authorIDs":[],"author_short":["Nayak, K.","Fletcher, C. W.","Ren, L.","Chandran, N.","Lokam, S.","Shi, E.","Goyal, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"San Diego, CA","title":"HOP: Hardware makes Obfuscation Practical","isbn":"978-1-891562-46-4","shorttitle":"HOP","url":"https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/hop-hardware-makes-obfuscation-practical/","doi":"10.14722/ndss.2017.23349","abstract":"Program obfuscation is a central primitive in cryptography, and has important real-world applications in protecting software from IP theft. However, well known results from the cryptographic literature have shown that software only virtual black box (VBB) obfuscation of general programs is impossible. In this paper we propose HOP, a system (with matching theoretic analysis) that achieves simulation-secure obfuscation for RAM programs, using secure hardware to circumvent previous impossibility results. To the best of our knowledge, HOP is the ﬁrst implementation of a provably secure VBB obfuscation scheme in any model under any assumptions.","language":"en","urldate":"2019-02-04TZ","booktitle":"Proceedings 2017 Network and Distributed System Security Symposium","publisher":"Internet Society","author":[{"propositions":[],"lastnames":["Nayak"],"firstnames":["Kartik"],"suffixes":[]},{"propositions":[],"lastnames":["Fletcher"],"firstnames":["Christopher","W."],"suffixes":[]},{"propositions":[],"lastnames":["Ren"],"firstnames":["Ling"],"suffixes":[]},{"propositions":[],"lastnames":["Chandran"],"firstnames":["Nishanth"],"suffixes":[]},{"propositions":[],"lastnames":["Lokam"],"firstnames":["Satya"],"suffixes":[]},{"propositions":[],"lastnames":["Shi"],"firstnames":["Elaine"],"suffixes":[]},{"propositions":[],"lastnames":["Goyal"],"firstnames":["Vipul"],"suffixes":[]}],"year":"2017","bibtex":"@inproceedings{nayak_hop:_2017,\n\taddress = {San Diego, CA},\n\ttitle = {{HOP}: {Hardware} makes {Obfuscation} {Practical}},\n\tisbn = {978-1-891562-46-4},\n\tshorttitle = {{HOP}},\n\turl = {https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/hop-hardware-makes-obfuscation-practical/},\n\tdoi = {10.14722/ndss.2017.23349},\n\tabstract = {Program obfuscation is a central primitive in cryptography, and has important real-world applications in protecting software from IP theft. However, well known results from the cryptographic literature have shown that software only virtual black box (VBB) obfuscation of general programs is impossible. In this paper we propose HOP, a system (with matching theoretic analysis) that achieves simulation-secure obfuscation for RAM programs, using secure hardware to circumvent previous impossibility results. To the best of our knowledge, HOP is the ﬁrst implementation of a provably secure VBB obfuscation scheme in any model under any assumptions.},\n\tlanguage = {en},\n\turldate = {2019-02-04TZ},\n\tbooktitle = {Proceedings 2017 {Network} and {Distributed} {System} {Security} {Symposium}},\n\tpublisher = {Internet Society},\n\tauthor = {Nayak, Kartik and Fletcher, Christopher W. and Ren, Ling and Chandran, Nishanth and Lokam, Satya and Shi, Elaine and Goyal, Vipul},\n\tyear = {2017}\n}\n\n","author_short":["Nayak, K.","Fletcher, C. W.","Ren, L.","Chandran, N.","Lokam, S.","Shi, E.","Goyal, V."],"key":"nayak_hop:_2017","id":"nayak_hop:_2017","bibbaseid":"nayak-fletcher-ren-chandran-lokam-shi-goyal-hophardwaremakesobfuscationpractical-2017","role":"author","urls":{"Paper":"https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/hop-hardware-makes-obfuscation-practical/"},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/ky25","creationDate":"2019-05-11T17:47:04.344Z","downloads":0,"keywords":[],"search_terms":["hop","hardware","makes","obfuscation","practical","nayak","fletcher","ren","chandran","lokam","shi","goyal"],"title":"HOP: Hardware makes Obfuscation Practical","year":2017,"dataSources":["XxiQtwZYfozhQmvGR"]}