{"id":132,"date":"2016-05-10T00:42:48","date_gmt":"2016-05-10T00:42:48","guid":{"rendered":"http:\/\/sites.nyuad.nyu.edu\/dfx\/?page_id=132"},"modified":"2020-11-09T09:42:18","modified_gmt":"2020-11-09T09:42:18","slug":"design-for-trust-le","status":"publish","type":"page","link":"https:\/\/sites.nyuad.nyu.edu\/dfx\/research-topics\/design-for-trust-le\/","title":{"rendered":"Design-for-Trust — Logic Locking"},"content":{"rendered":"

[et_pb_section bb_built=”1″ admin_label=”section” inner_shadow=”on” fullwidth=”on” custom_padding_last_edited=”on|desktop” _builder_version=”3.22″ background_color=”#6f9a48″ custom_padding_tablet=”50px|0|50px|0″ transparent_background=”off” padding_mobile=”off” make_fullwidth=”off” use_custom_width=”off” width_unit=”on” next_background_color=”#ffffff”][et_pb_fullwidth_header title=”Design-for-Trust Techniques ” content_max_width=”none” _builder_version=”4.5.7″ subhead_font_size=”1px” background_color=”rgba(255, 255, 255, 0)” button_one_letter_spacing_hover=”0″ button_two_letter_spacing_hover=”0″ button_one_text_size__hover_enabled=”off” button_two_text_size__hover_enabled=”off” button_one_text_color__hover_enabled=”off” button_two_text_color__hover_enabled=”off” button_one_border_width__hover_enabled=”off” button_two_border_width__hover_enabled=”off” button_one_border_color__hover_enabled=”off” button_two_border_color__hover_enabled=”off” button_one_border_radius__hover_enabled=”off” button_two_border_radius__hover_enabled=”off” button_one_letter_spacing__hover_enabled=”on” button_one_letter_spacing__hover=”0″ button_two_letter_spacing__hover_enabled=”on” button_two_letter_spacing__hover=”0″ button_one_bg_color__hover_enabled=”off” button_two_bg_color__hover_enabled=”off” box_shadow_horizontal_image_tablet=”0px” box_shadow_vertical_image_tablet=”0px” box_shadow_blur_image_tablet=”40px” box_shadow_spread_image_tablet=”0px” text_shadow_horizontal_length=”text_shadow_style,%91object Object%93″ text_shadow_horizontal_length_tablet=”0px” text_shadow_vertical_length=”text_shadow_style,%91object Object%93″ text_shadow_vertical_length_tablet=”0px” text_shadow_blur_strength=”text_shadow_style,%91object Object%93″ text_shadow_blur_strength_tablet=”1px” title_text_shadow_horizontal_length=”title_text_shadow_style,%91object Object%93″ title_text_shadow_horizontal_length_tablet=”0px” title_text_shadow_vertical_length=”title_text_shadow_style,%91object Object%93″ title_text_shadow_vertical_length_tablet=”0px” title_text_shadow_blur_strength=”title_text_shadow_style,%91object Object%93″ title_text_shadow_blur_strength_tablet=”1px” content_text_shadow_horizontal_length=”content_text_shadow_style,%91object Object%93″ content_text_shadow_horizontal_length_tablet=”0px” content_text_shadow_vertical_length=”content_text_shadow_style,%91object Object%93″ content_text_shadow_vertical_length_tablet=”0px” content_text_shadow_blur_strength=”content_text_shadow_style,%91object Object%93″ content_text_shadow_blur_strength_tablet=”1px” content_link_text_shadow_horizontal_length=”content_link_text_shadow_style,%91object Object%93″ content_link_text_shadow_horizontal_length_tablet=”0px” content_link_text_shadow_vertical_length=”content_link_text_shadow_style,%91object Object%93″ content_link_text_shadow_vertical_length_tablet=”0px” content_link_text_shadow_blur_strength=”content_link_text_shadow_style,%91object Object%93″ content_link_text_shadow_blur_strength_tablet=”1px” content_ul_text_shadow_horizontal_length=”content_ul_text_shadow_style,%91object Object%93″ content_ul_text_shadow_horizontal_length_tablet=”0px” content_ul_text_shadow_vertical_length=”content_ul_text_shadow_style,%91object Object%93″ content_ul_text_shadow_vertical_length_tablet=”0px” content_ul_text_shadow_blur_strength=”content_ul_text_shadow_style,%91object Object%93″ content_ul_text_shadow_blur_strength_tablet=”1px” content_ol_text_shadow_horizontal_length=”content_ol_text_shadow_style,%91object Object%93″ content_ol_text_shadow_horizontal_length_tablet=”0px” content_ol_text_shadow_vertical_length=”content_ol_text_shadow_style,%91object Object%93″ content_ol_text_shadow_vertical_length_tablet=”0px” content_ol_text_shadow_blur_strength=”content_ol_text_shadow_style,%91object Object%93″ content_ol_text_shadow_blur_strength_tablet=”1px” content_quote_text_shadow_horizontal_length=”content_quote_text_shadow_style,%91object Object%93″ content_quote_text_shadow_horizontal_length_tablet=”0px” content_quote_text_shadow_vertical_length=”content_quote_text_shadow_style,%91object Object%93″ content_quote_text_shadow_vertical_length_tablet=”0px” content_quote_text_shadow_blur_strength=”content_quote_text_shadow_style,%91object Object%93″ content_quote_text_shadow_blur_strength_tablet=”1px” subhead_text_shadow_horizontal_length=”subhead_text_shadow_style,%91object Object%93″ subhead_text_shadow_horizontal_length_tablet=”0px” subhead_text_shadow_vertical_length=”subhead_text_shadow_style,%91object Object%93″ subhead_text_shadow_vertical_length_tablet=”0px” subhead_text_shadow_blur_strength=”subhead_text_shadow_style,%91object Object%93″ subhead_text_shadow_blur_strength_tablet=”1px” button_one_text_shadow_horizontal_length=”button_one_text_shadow_style,%91object Object%93″ button_one_text_shadow_horizontal_length_tablet=”0px” button_one_text_shadow_vertical_length=”button_one_text_shadow_style,%91object Object%93″ button_one_text_shadow_vertical_length_tablet=”0px” button_one_text_shadow_blur_strength=”button_one_text_shadow_style,%91object Object%93″ button_one_text_shadow_blur_strength_tablet=”1px” box_shadow_horizontal_button_one_tablet=”0px” box_shadow_vertical_button_one_tablet=”0px” box_shadow_blur_button_one_tablet=”40px” box_shadow_spread_button_one_tablet=”0px” button_two_text_shadow_horizontal_length=”button_two_text_shadow_style,%91object Object%93″ button_two_text_shadow_horizontal_length_tablet=”0px” button_two_text_shadow_vertical_length=”button_two_text_shadow_style,%91object Object%93″ button_two_text_shadow_vertical_length_tablet=”0px” button_two_text_shadow_blur_strength=”button_two_text_shadow_style,%91object Object%93″ button_two_text_shadow_blur_strength_tablet=”1px” box_shadow_horizontal_button_two_tablet=”0px” box_shadow_vertical_button_two_tablet=”0px” box_shadow_blur_button_two_tablet=”40px” box_shadow_spread_button_two_tablet=”0px” box_shadow_horizontal_tablet=”0px” box_shadow_vertical_tablet=”0px” box_shadow_blur_tablet=”40px” box_shadow_spread_tablet=”0px” vertical_offset_tablet=”0″ horizontal_offset_tablet=”0″ z_index_tablet=”0″ \/][\/et_pb_section][et_pb_section bb_built=”1″ admin_label=”section” _builder_version=”3.22″ prev_background_color=”#6f9a48″][et_pb_row admin_label=”row” _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text admin_label=”Logic Encryption Title” _builder_version=”4.5.7″ text_font_size=”20px” background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_text_shadow_horizontal_length=”text_text_shadow_style,%91object Object%93″ text_text_shadow_horizontal_length_tablet=”0px” text_text_shadow_vertical_length=”text_text_shadow_style,%91object Object%93″ text_text_shadow_vertical_length_tablet=”0px” text_text_shadow_blur_strength=”text_text_shadow_style,%91object Object%93″ text_text_shadow_blur_strength_tablet=”1px” link_text_shadow_horizontal_length=”link_text_shadow_style,%91object Object%93″ link_text_shadow_horizontal_length_tablet=”0px” link_text_shadow_vertical_length=”link_text_shadow_style,%91object Object%93″ link_text_shadow_vertical_length_tablet=”0px” link_text_shadow_blur_strength=”link_text_shadow_style,%91object Object%93″ link_text_shadow_blur_strength_tablet=”1px” ul_text_shadow_horizontal_length=”ul_text_shadow_style,%91object Object%93″ ul_text_shadow_horizontal_length_tablet=”0px” ul_text_shadow_vertical_length=”ul_text_shadow_style,%91object Object%93″ ul_text_shadow_vertical_length_tablet=”0px” ul_text_shadow_blur_strength=”ul_text_shadow_style,%91object Object%93″ ul_text_shadow_blur_strength_tablet=”1px” ol_text_shadow_horizontal_length=”ol_text_shadow_style,%91object Object%93″ ol_text_shadow_horizontal_length_tablet=”0px” ol_text_shadow_vertical_length=”ol_text_shadow_style,%91object Object%93″ ol_text_shadow_vertical_length_tablet=”0px” ol_text_shadow_blur_strength=”ol_text_shadow_style,%91object Object%93″ ol_text_shadow_blur_strength_tablet=”1px” quote_text_shadow_horizontal_length=”quote_text_shadow_style,%91object Object%93″ quote_text_shadow_horizontal_length_tablet=”0px” quote_text_shadow_vertical_length=”quote_text_shadow_style,%91object Object%93″ quote_text_shadow_vertical_length_tablet=”0px” quote_text_shadow_blur_strength=”quote_text_shadow_style,%91object Object%93″ quote_text_shadow_blur_strength_tablet=”1px” header_text_shadow_horizontal_length=”header_text_shadow_style,%91object Object%93″ header_text_shadow_horizontal_length_tablet=”0px” header_text_shadow_vertical_length=”header_text_shadow_style,%91object Object%93″ header_text_shadow_vertical_length_tablet=”0px” header_text_shadow_blur_strength=”header_text_shadow_style,%91object Object%93″ header_text_shadow_blur_strength_tablet=”1px” header_2_text_shadow_horizontal_length=”header_2_text_shadow_style,%91object Object%93″ header_2_text_shadow_horizontal_length_tablet=”0px” header_2_text_shadow_vertical_length=”header_2_text_shadow_style,%91object Object%93″ header_2_text_shadow_vertical_length_tablet=”0px” header_2_text_shadow_blur_strength=”header_2_text_shadow_style,%91object Object%93″ header_2_text_shadow_blur_strength_tablet=”1px” header_3_text_shadow_horizontal_length=”header_3_text_shadow_style,%91object Object%93″ header_3_text_shadow_horizontal_length_tablet=”0px” header_3_text_shadow_vertical_length=”header_3_text_shadow_style,%91object Object%93″ header_3_text_shadow_vertical_length_tablet=”0px” header_3_text_shadow_blur_strength=”header_3_text_shadow_style,%91object Object%93″ header_3_text_shadow_blur_strength_tablet=”1px” header_4_text_shadow_horizontal_length=”header_4_text_shadow_style,%91object Object%93″ header_4_text_shadow_horizontal_length_tablet=”0px” header_4_text_shadow_vertical_length=”header_4_text_shadow_style,%91object Object%93″ header_4_text_shadow_vertical_length_tablet=”0px” header_4_text_shadow_blur_strength=”header_4_text_shadow_style,%91object Object%93″ header_4_text_shadow_blur_strength_tablet=”1px” header_5_text_shadow_horizontal_length=”header_5_text_shadow_style,%91object Object%93″ header_5_text_shadow_horizontal_length_tablet=”0px” header_5_text_shadow_vertical_length=”header_5_text_shadow_style,%91object Object%93″ header_5_text_shadow_vertical_length_tablet=”0px” header_5_text_shadow_blur_strength=”header_5_text_shadow_style,%91object Object%93″ header_5_text_shadow_blur_strength_tablet=”1px” header_6_text_shadow_horizontal_length=”header_6_text_shadow_style,%91object Object%93″ header_6_text_shadow_horizontal_length_tablet=”0px” header_6_text_shadow_vertical_length=”header_6_text_shadow_style,%91object Object%93″ header_6_text_shadow_vertical_length_tablet=”0px” header_6_text_shadow_blur_strength=”header_6_text_shadow_style,%91object Object%93″ header_6_text_shadow_blur_strength_tablet=”1px” box_shadow_horizontal_tablet=”0px” box_shadow_vertical_tablet=”0px” box_shadow_blur_tablet=”40px” box_shadow_spread_tablet=”0px” vertical_offset_tablet=”0″ horizontal_offset_tablet=”0″ z_index_tablet=”0″]<\/p>\n

Logic Locking
<\/strong><\/p>\n

[\/et_pb_text][et_pb_text admin_label=”logic encryption intro” _builder_version=”4.5.7″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” custom_css_main_element=”text-indent: -25px;” use_border_color=”off” text_text_shadow_horizontal_length=”text_text_shadow_style,%91object Object%93″ text_text_shadow_horizontal_length_tablet=”0px” text_text_shadow_vertical_length=”text_text_shadow_style,%91object Object%93″ text_text_shadow_vertical_length_tablet=”0px” text_text_shadow_blur_strength=”text_text_shadow_style,%91object Object%93″ text_text_shadow_blur_strength_tablet=”1px” link_text_shadow_horizontal_length=”link_text_shadow_style,%91object Object%93″ link_text_shadow_horizontal_length_tablet=”0px” link_text_shadow_vertical_length=”link_text_shadow_style,%91object Object%93″ link_text_shadow_vertical_length_tablet=”0px” link_text_shadow_blur_strength=”link_text_shadow_style,%91object Object%93″ link_text_shadow_blur_strength_tablet=”1px” ul_text_shadow_horizontal_length=”ul_text_shadow_style,%91object Object%93″ ul_text_shadow_horizontal_length_tablet=”0px” ul_text_shadow_vertical_length=”ul_text_shadow_style,%91object Object%93″ ul_text_shadow_vertical_length_tablet=”0px” ul_text_shadow_blur_strength=”ul_text_shadow_style,%91object Object%93″ ul_text_shadow_blur_strength_tablet=”1px” ol_text_shadow_horizontal_length=”ol_text_shadow_style,%91object Object%93″ ol_text_shadow_horizontal_length_tablet=”0px” ol_text_shadow_vertical_length=”ol_text_shadow_style,%91object Object%93″ ol_text_shadow_vertical_length_tablet=”0px” ol_text_shadow_blur_strength=”ol_text_shadow_style,%91object Object%93″ ol_text_shadow_blur_strength_tablet=”1px” quote_text_shadow_horizontal_length=”quote_text_shadow_style,%91object Object%93″ quote_text_shadow_horizontal_length_tablet=”0px” quote_text_shadow_vertical_length=”quote_text_shadow_style,%91object Object%93″ quote_text_shadow_vertical_length_tablet=”0px” quote_text_shadow_blur_strength=”quote_text_shadow_style,%91object Object%93″ quote_text_shadow_blur_strength_tablet=”1px” header_text_shadow_horizontal_length=”header_text_shadow_style,%91object Object%93″ header_text_shadow_horizontal_length_tablet=”0px” header_text_shadow_vertical_length=”header_text_shadow_style,%91object Object%93″ header_text_shadow_vertical_length_tablet=”0px” header_text_shadow_blur_strength=”header_text_shadow_style,%91object Object%93″ header_text_shadow_blur_strength_tablet=”1px” header_2_text_shadow_horizontal_length=”header_2_text_shadow_style,%91object Object%93″ header_2_text_shadow_horizontal_length_tablet=”0px” header_2_text_shadow_vertical_length=”header_2_text_shadow_style,%91object Object%93″ header_2_text_shadow_vertical_length_tablet=”0px” header_2_text_shadow_blur_strength=”header_2_text_shadow_style,%91object Object%93″ header_2_text_shadow_blur_strength_tablet=”1px” header_3_text_shadow_horizontal_length=”header_3_text_shadow_style,%91object Object%93″ header_3_text_shadow_horizontal_length_tablet=”0px” header_3_text_shadow_vertical_length=”header_3_text_shadow_style,%91object Object%93″ header_3_text_shadow_vertical_length_tablet=”0px” header_3_text_shadow_blur_strength=”header_3_text_shadow_style,%91object Object%93″ header_3_text_shadow_blur_strength_tablet=”1px” header_4_text_shadow_horizontal_length=”header_4_text_shadow_style,%91object Object%93″ header_4_text_shadow_horizontal_length_tablet=”0px” header_4_text_shadow_vertical_length=”header_4_text_shadow_style,%91object Object%93″ header_4_text_shadow_vertical_length_tablet=”0px” header_4_text_shadow_blur_strength=”header_4_text_shadow_style,%91object Object%93″ header_4_text_shadow_blur_strength_tablet=”1px” header_5_text_shadow_horizontal_length=”header_5_text_shadow_style,%91object Object%93″ header_5_text_shadow_horizontal_length_tablet=”0px” header_5_text_shadow_vertical_length=”header_5_text_shadow_style,%91object Object%93″ header_5_text_shadow_vertical_length_tablet=”0px” header_5_text_shadow_blur_strength=”header_5_text_shadow_style,%91object Object%93″ header_5_text_shadow_blur_strength_tablet=”1px” header_6_text_shadow_horizontal_length=”header_6_text_shadow_style,%91object Object%93″ header_6_text_shadow_horizontal_length_tablet=”0px” header_6_text_shadow_vertical_length=”header_6_text_shadow_style,%91object Object%93″ header_6_text_shadow_vertical_length_tablet=”0px” header_6_text_shadow_blur_strength=”header_6_text_shadow_style,%91object Object%93″ header_6_text_shadow_blur_strength_tablet=”1px” box_shadow_horizontal_tablet=”0px” box_shadow_vertical_tablet=”0px” box_shadow_blur_tablet=”40px” box_shadow_spread_tablet=”0px” vertical_offset_tablet=”0″ horizontal_offset_tablet=”0″ z_index_tablet=”0″]<\/p>\n

Below, you will find a series of lectures on logic locking. The first one (MEST Webinar) should be your starting point if you would like to get an understanding of the logic locking research evolution over the last decade and where the field is moving. Subsequently, the lectures provided in modules will help you delve deeper into the technical details various research efforts in logic locking.<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.26.5″][et_pb_column type=”4_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/youtu.be\/S-eTSlpCh7M” _builder_version=”4.5.7″ box_shadow_horizontal_tablet=”0px” box_shadow_vertical_tablet=”0px” box_shadow_blur_tablet=”40px” box_shadow_spread_tablet=”0px” vertical_offset_tablet=”0″ horizontal_offset_tablet=”0″ z_index_tablet=”0″]<\/p>\n

[\/et_pb_video][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_4,1_4,1_4,1_4″ _builder_version=”3.26.5″][et_pb_column type=”1_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/www.youtube.com\/watch?v=AnODJQoQOd4&t=1s” _builder_version=”3.26.5″]<\/p>\n

[\/et_pb_video][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/www.youtube.com\/watch?v=ke7WHIyElkE” _builder_version=”3.26.5″]<\/p>\n

[\/et_pb_video][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/www.youtube.com\/watch?v=NuMU8BXuFXM” _builder_version=”3.26.5″]<\/p>\n

[\/et_pb_video][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/www.youtube.com\/watch?v=BuMtj-t9fGc” _builder_version=”3.26.5″]<\/p>\n

[\/et_pb_video][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_4,1_4,1_4,1_4″ _builder_version=”3.26.5″][et_pb_column type=”1_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/www.youtube.com\/watch?v=NaDhdjI3frg” _builder_version=”3.26.5″]<\/p>\n

[\/et_pb_video][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/www.youtube.com\/watch?v=NlgSfGh34GY” _builder_version=”3.26.5″]<\/p>\n

[\/et_pb_video][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/www.youtube.com\/watch?v=y6efE5TjoCU” _builder_version=”3.26.5″]<\/p>\n

[\/et_pb_video][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/www.youtube.com\/watch?v=wH5A9LxIlxk” _builder_version=”3.26.5″]<\/p>\n

[\/et_pb_video][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.26.5″][et_pb_column type=”4_4″ _builder_version=”3.26.5″][et_pb_video src=”https:\/\/youtu.be\/6eI_tn_jX4M” _builder_version=”3.26.5″]<\/p>\n

[\/et_pb_video][\/et_pb_column][\/et_pb_row][et_pb_row admin_label=”row” _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text admin_label=”Logic Encryption Title” _builder_version=”3.26.5″ text_font_size=”20″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

Logic Locking
<\/strong><\/p>\n

[\/et_pb_text][et_pb_image admin_label=”logic enc flow image” src=”https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-content\/uploads\/2016\/05\/encryption_flow.png” alt=”logic encryption flow” title_text=”logic encryption flow” align_tablet=”center” align_last_edited=”on|desktop” _builder_version=”3.23″ use_border_color=”off” border_color=”#ffffff” border_style=”solid” animation=”off” sticky=”off” always_center_on_mobile=”on”]<\/p>\n

[\/et_pb_image][et_pb_text admin_label=”logic encryption intro” _builder_version=”3.26.5″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” custom_css_main_element=”text-indent: -25px;” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

Logic locking (encryption\/obfuscation)<\/em> inserts locks into a given design netlist at the gate or RT level. The resulting netlist is locked; instead of taking the original design through the potentially untrusted flow, the netlist with the locks goes through the physical design steps and gets fabricated. Upon fabrication the chip is locked; the correct secret key needs to be loaded on the chip to unlock the chip. The chip, when locked, produces wrong outputs, and is thus useless. Logic locking therefore protects against overproduction by the foundry<\/em>.<\/p>\n

The locked design netlist can be obtained by reverse engieering during any of the untrusted stages; yet it will be of no use without the knowledge of the secret key. Logic locking therefore protects against design IP piracy<\/em>.<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_4,1_2,1_4″ _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_image admin_label=”logic encrypted netlist image” src=”https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-content\/uploads\/2016\/05\/LE_netlist.png” alt=”logic encrypted netlist” title_text=”logic encrypted netlist” align_tablet=”center” align_last_edited=”on|desktop” _builder_version=”3.23″ use_border_color=”off” border_color=”#ffffff” border_style=”solid” animation=”off” sticky=”off” always_center_on_mobile=”on”]<\/p>\n

[\/et_pb_image][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text admin_label=”encrypted IC text” _builder_version=”3.26.5″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

When the foundry has produced chips with logic locking built-in, each chip will have to be unlocked (activated). Only then the chip produces the correct outputs and becomes functional. The key is the designer’s secret, and is hidden from all the untrusted parties, including the foundry. Unlocking the chip refers to loading this secret key somewhere safe on the chip; this can be tamper-proof memory, for instance. The same secret key can be shared for the entire family of chips produced from the same design, or unique keys can be used for individual chips by integrating a PUF into the design.<\/p>\n

The lock elements can be simple XOR\/XNOR gates — key gates<\/em> — with one input controlled by the secret key bit. Every key gate needs to be configured into either a buffer or an inverter in order to restore the functionality of the original netlist. The exact configuration is dictated by the secret key, which is known only by the designer. Wrong key bits configure the key gates to wrong functionality, leading to “errors” stemming from the key gates. These errors may propagate to the outputs and corrupt them.<\/p>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_image admin_label=”Encrypted IC image” src=”https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-content\/uploads\/2016\/05\/encrypted_chip.png” alt=”encrypted IC” title_text=”encrypted IC” align_tablet=”center” align_last_edited=”on|desktop” _builder_version=”3.23″ use_border_color=”off” border_color=”#ffffff” border_style=”solid” animation=”off” sticky=”off” always_center_on_mobile=”on”]<\/p>\n

[\/et_pb_image][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.26.5″ text_font_size=”16″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

Types\/Objectives of Logic Locking<\/strong><\/p>\n

[\/et_pb_text][et_pb_image admin_label=”logic enc types image” src=”https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-content\/uploads\/2016\/05\/LE_types.png” alt=”logic encryption types” title_text=”logic encryption types” align_tablet=”center” align_last_edited=”on|desktop” _builder_version=”3.23″ use_border_color=”off” border_color=”#ffffff” border_style=”solid” animation=”off” sticky=”off” always_center_on_mobile=”on”]<\/p>\n

[\/et_pb_image][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_3,1_3,1_3″ _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_3″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

In random logic locking, key gates are inserted at random locations in the letlist. This technique was proposed in: “EPIC: Ending piracy of integrated circuits” by Roy, Koushanfar and Markov at DATE 2008.<\/p>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

In fault analysis based logic locking, key gates are inserted so as to maximize corruption at the outputs when a random wrong key is loaded on the chip. Refer to our papers c55<\/a> and j41<\/a>, or patent p9<\/a> for more details.<\/p>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.26.5″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

In strong logic locking, key gates are inserted such that they interfere with each other maximally, preventing individual sensitization of key bits to the outputs. For more details, please refer to our papers c58<\/a> and j49<\/a>, or patent p14<\/a>.<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

Random logic locking<\/em> cannot ensure a controlled level of corruption at the outputs; when an attacker tries a random incorrect key, the chip may still produce almost correct outputs. We therefore developed fault analysis based logic locking<\/em>; in this technique, key gates are inserted in locations that have the most influential effect on the outputs. The locations are identified via a fault analysis through the use of fault simulation. This way, when an attacker tries a random incorrect key, most of the outputs will produce wrong results (be corrupted).<\/p>\n

We also showed that both random and fault analysis based logic locking techniques are vulnerable to attacks that have access to a reverse engineered locked netlist and a working chip (oracle). We illustrated this attack where the attacker computes, from the locked netlist, specialized input patterns that can “leak” key bits to the outputs. We refer to this attack as the sensitization attack<\/em>. This attack then uses the specialized patterns on the working chip, and infers the secret key (stored on-chip) from the responses collected from the chip.<\/p>\n

To protect against sensitization attacks, we developed strong logic locking<\/em>. In this technique, the key gates are inserted in a way that maximizes interference between them, preventing their individual sensitization to the outputs. We used a graph-theoretical approach to identify the best locations in the design to insert key gates and form a large clique of interference between them.<\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”3.26.5″ text_font_size=”16″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

Recent Attacks on Logic Locking<\/strong><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_2,1_2″ _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_image admin_label=”SAT attack Image” src=”https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-content\/uploads\/2016\/05\/SAT_attack.png” alt=”SAT attack” title_text=”SAT attack” align_tablet=”center” align_last_edited=”on|desktop” _builder_version=”3.23″ use_border_color=”off” border_color=”#ffffff” border_style=”solid” animation=”off” sticky=”off” always_center_on_mobile=”on”]<\/p>\n

[\/et_pb_image][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

A recent Boolean Satisfiability (SAT) based attack was proposed by Subramanyan, Ray and Malik to break our strong logic locking. The paper “Evaluating the Security of Logic Encryption Algorithms” was presented at HOST 2015 and won the best paper award. The attack relies on iteratively determining discriminating inputs (DIs). When a DI is applied to two instances of the netlist with two different keys, the output of the two instances will be different. The attack employs a SAT solver to compute the DIs.<\/p>\n

The computed DI is then applied to the chip. The chip response is used to eliminate the incorrect keys that lead to a response that differs from the one obtained from the chip. Subsequently, a new DI is determined, and this process is repeated until all the incorrect keys are determined, resulting in a successful attack. The output of the attack is the correct key. Mode details about this attack as well as the code is available online<\/a>.<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.0.87″ text_font_size=”16″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

Defense Against SAT Attacks: SARLock [c95<\/a>]
<\/strong><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_2,1_2″ _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_image admin_label=”SARLock Image” src=”https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-content\/uploads\/2016\/05\/SARLock.png” alt=”SARLock” title_text=”SARLock” align_tablet=”center” align_last_edited=”on|desktop” _builder_version=”3.23″ use_border_color=”off” border_color=”#ffffff” border_style=”solid” animation=”off” sticky=”off” always_center_on_mobile=”on”]<\/p>\n

[\/et_pb_image][et_pb_text _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

SARLock architecture. Logic under protection can be optionally locked (SLE). For one input combination, the design output needs to be flipped; that’s when the flip signal is asserted. For more information on SARLock, refer to our paper c95<\/a> and patent p17<\/a>.<\/p>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

The worst-case scenario for the SAT attack arises when the attack can discriminate at most one incorrect key value with each DIP. We developed SARLock, a SAT attack resistant architecture, based on this simple observation. We modify the functionality of the design under protection by flipping its response to only one input combination. Optionally, in addition, the design under protection can be logic locked using strong logic locking. To restore the functionality of design under protection, we also use a flip<\/em> signal, which is rarely active. It is asserted only for specific input and key value combinations; when asserted, it flips the output of the design back to the correct value.<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

The illustration above is for protecting only one logic cone (only one output), while it easily can be extended to multiple cones. The designer’s secret is the input combination for which the output of the design is flipped. It could be any input combination, leaving the attacker with exponentially many input combinations to try and find out. Furthermore, as the design under protection is made minimally different from the original version from a functionality point of view (the two produce different outputs for only one input combination), the resulting locked circuit achieves the desired resistance against the SAT attack (has exponential attack complexity on SARLock) at minimal overhead.<\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”3.26.5″ text_font_size=”16″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

When to Activate Logic Locked Chips: Pre-Test or Post-Test? [c92<\/a>]
<\/strong><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_image admin_label=”pre post test activation image” src=”https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-content\/uploads\/2016\/05\/test_data_mining.png” alt=”logic encryption types” title_text=”logic encryption types” align_tablet=”center” align_last_edited=”on|desktop” _builder_version=”3.23″ use_border_color=”off” border_color=”#ffffff” border_style=”solid” animation=”off” sticky=”off” always_center_on_mobile=”on”]<\/p>\n

[\/et_pb_image][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text admin_label=”Pre post activation Text” _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

State of the art logic locking frameworks pursue two different activation models, pre-test and post-test activation,\u00a0 that differ in the time of activation of an IC with respect to the manufacturing test.<\/p>\n

Pre-test activation<\/em>: The ICs are activated prior to the manufacturing test, typically conducted in the foundry or outsourced to an OSAT.
Since the IP owner does not want to reveal the secret key to the untrusted foundry, on-chip public key cryptographic infrastructure is used to load the secret key securely on the chip. On passing the manufacturing test, the ICs are shipped for assembly\/sales directly from the foundry, which is\u00a0 useful in meeting time-to-market constraints.<\/p>\n

Post-test activation<\/em>: The ICs are activated after performing the manufacturing test. Either remote activation or in-house activation can be employed. In-house activation requires shipping of the locked IC from the foundry to the trusted facility, eliminating the need for\u00a0 on-chip cryptography.<\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”3.0.87″ text_font_size=”16″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

Test Data Mining Attack [c92<\/a>]
<\/strong><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_2,1_2″ _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_image admin_label=”Test data mining Image” src=”https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-content\/uploads\/2016\/05\/TDM.png” align_tablet=”center” align_last_edited=”on|desktop” _builder_version=”3.23″ use_border_color=”off” border_color=”#ffffff” border_style=”solid” animation=”off” sticky=”off” always_center_on_mobile=”on”]<\/p>\n

[\/et_pb_image][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

We developed a test data mining attack<\/em> that can successfully determine the logic locking key of a pre-test activated chip by utilizing the test data. The attacker is a person in the foundry or test facility with access to an locked netlist and test stimuli and responses. The attack searches for the key that maximizes the fault coverage for the given set of test patterns on the locked netlist.<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.0.87″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” use_border_color=”off” border_color=”#ffffff” border_style=”solid” text_orientation=”left”]<\/p>\n

The rationale for the attack to return the correct key is that the test patterns have been generated with the objective of maximizing the fault coverage in the presence of the correct key as a constraint. When the same set of test patterns are used as constraints, the key that maximizes the fault coverage will\u00a0 be the one that is used to generate the patterns.<\/p>\n

Attacks and defenses on logic locking to be continued…<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

Logic Locking Below, you will find a series of lectures on logic locking. The first one (MEST Webinar) should be your starting point if you would like to get an understanding of the logic locking research evolution over the last decade and where the field is moving. Subsequently, the lectures provided in modules will help […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":125,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","_exactmetrics_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"footnotes":""},"class_list":["post-132","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-json\/wp\/v2\/pages\/132","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-json\/wp\/v2\/comments?post=132"}],"version-history":[{"count":19,"href":"https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-json\/wp\/v2\/pages\/132\/revisions"}],"predecessor-version":[{"id":1095,"href":"https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-json\/wp\/v2\/pages\/132\/revisions\/1095"}],"up":[{"embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-json\/wp\/v2\/pages\/125"}],"wp:attachment":[{"href":"https:\/\/sites.nyuad.nyu.edu\/dfx\/wp-json\/wp\/v2\/media?parent=132"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}