More Like this

1. Physically Secure Logic Locking With Nanomagnet Logic

   https://doi.org/10.1109/TCAD.2024.3434362  

   Edwards, Alexander J ; Hassan, Naimul ; Arzate, Jared D ; Chin, Alexander N ; Bhattacharya, Dhritiman ; Shihab, Mustafa M ; Zhou, Peng ; Hu, Xuan ; Atulasimha, Jayasimha ; Makris, Yiorgos ; et al ( January 2024 , IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
2. Secure Logic Locking with Strain-Protected Nanomagnet Logic

   https://doi.org/10.1109/DAC18074.2021.9586258  

   Hassan, Naimul ; Edwards, Alexander J. ; Bhattacharya, Dhritiman ; Shihab, Mustafa M. ; Venkat, Varun ; Zhou, Peng ; Hu, Xuan ; Kundu, Shamik ; Kuruvila, Abraham P. ; Basu, Kanad ; et al ( December 2021 , 2021 58th ACM/IEEE Design Automation Conference (DAC))

   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
3. Unrealizability Logic

   https://doi.org/10.1145/3571216  

   Kim, Jinwoo ; D'Antoni, Loris ; Reps, Thomas ( January 2023 , Proceedings of the ACM on Programming Languages)

   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
4. A Quantum Interpretation of Bunched Logic & Quantum Separation Logic

   https://doi.org/10.1109/LICS52264.2021.9470673  

   Zhou, Li ; Barthe, Gilles ; Hsu, Justin ; Ying, Mingsheng ; Yu, Nengkun ( June 2021 , 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS))

   null (Ed.)
5. Logic-enabled textiles

   https://doi.org/10.1073/pnas.2202118119  

   Rajappan, Anoop ; Jumet, Barclay ; Shveda, Rachel A. ; Decker, Colter J. ; Liu, Zhen ; Yap, Te Faye ; Sanchez, Vanessa ; Preston, Daniel J. ( August 2022 , Proceedings of the National Academy of Sciences)

   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