Provably-Secure Logic Locking: From Theory To Practice Conference Paper

name of conference

• Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security

authors

• Rajendran, Jeyavijayan

published proceedings

• CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY

altmetric score

• 2.7

author list (cited authors)

• Yasin, M., Sengupta, A., Nabeel, M. T., Ashraf, M., Rajendran, J., & Sinanoglu, O.

citation count

• 170

complete list of authors

• Yasin, Muhammad||Sengupta, Abhrajit||Nabeel, Mohammed Thari||Ashraf, Mohammed||Rajendran, Jeyavijayan JV||Sinanoglu, Ozgur

publication date

• January 2017

publisher

• Association for Computing Machinery (ACM)  Publisher

keywords

• Boolean Satisfiability (sat)
• Design-for-trust
• Hardware Trojan
• Ip Piracy
• Logic Locking
• Reverse Engineering

Digital Object Identifier (DOI)

• 10.1145/3133956.3133985

start page

• 1601

end page

• 1618

URL

• http://dx.doi.org/10.1145/3133956.3133985