skip to main content


Title: A Secure Boot Framework with Multi Security Features and Logic Locking Applications for Reconfigurable Logic
Award ID(s):
1814420
NSF-PAR ID:
10345424
Author(s) / Creator(s):
Date Published:
Journal Name:
Journal of hardware and systems security
ISSN:
2509-3436
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Prevention of integrated circuit counterfeiting through logic locking faces the fundamental challenge of securing an obfuscation key against both physical and algorithmic threats. Previous work has focused on strengthening the logic encryption to protect the key against algorithmic attacks, but failed to provide adequate physical security. In this work, we propose a logic locking scheme that leverages the non-volatility of the nanomagnet logic (NML) family to achieve both physical and algorithmic security. Polymorphic NML minority gates protect the obfuscation key against algorithmic attacks, while a strain-inducing shield surrounding the nanomagnets provides physical security via a self-destruction mechanism. 
    more » « less
  2. We consider the problem of establishing that a program-synthesis problem is unrealizable (i.e., has no solution in a given search space of programs). Prior work on unrealizability has developed some automatic techniques to establish that a problem is unrealizable; however, these techniques are all black-box , meaning that they conceal the reasoning behind why a synthesis problem is unrealizable. In this paper, we present a Hoare-style reasoning system, called unrealizability logic for establishing that a program-synthesis problem is unrealizable. To the best of our knowledge, unrealizability logic is the first proof system for overapproximating the execution of an infinite set of imperative programs. The logic provides a general, logical system for building checkable proofs about unrealizability. Similar to how Hoare logic distills the fundamental concepts behind algorithms and tools to prove the correctness of programs, unrealizability logic distills into a single logical system the fundamental concepts that were hidden within prior tools capable of establishing that a program-synthesis problem is unrealizable. 
    more » « less
  3. null (Ed.)
  4. Textiles hold great promise as a soft yet durable material for building comfortable robotic wearables and assistive devices at low cost. Nevertheless, the development of smart wearables composed entirely of textiles has been hindered by the lack of a viable sheet-based logic architecture that can be implemented using conventional fabric materials and textile manufacturing processes. Here, we develop a fully textile platform for embedding pneumatic digital logic in wearable devices. Our logic-enabled textiles support combinational and sequential logic functions, onboard memory storage, user interaction, and direct interfacing with pneumatic actuators. In addition, they are designed to be lightweight, easily integrable into regular clothing, made using scalable fabrication techniques, and durable enough to withstand everyday use. We demonstrate a textile computer capable of input-driven digital logic for controlling untethered wearable robots that assist users with functional limitations. Our logic platform will facilitate the emergence of future wearables powered by embedded fluidic logic that fully leverage the innate advantages of their textile construction. 
    more » « less