Results 31 to 40 of about 1,245,287 (248)

FeSATLock: An Energy Efficient and SAT Attack Resilient Logic Locking Design With FeFET LUT Architecture for Enhanced Hardware Security

IEEE Access
Boolean satisfiability (SAT) attacks have been proven to be highly effective against logic locking techniques that secure intellectual property (IP). Prior research has improved the output corruptibility and SAT attack resiliency of logic locking, but ...
Tirumala Rao Kadiyam, Venu Birudu, A. Japa, Fadi N. Sibai, Venkateswarlu Gonuguntla, Ramesh Vaddi   +5 more
semanticscholar   +1 more source

A TRAP for SAT: On the Imperviousness of a Transistor-Level Programmable Fabric to Satisfiability-Based Attacks

Transactions on Cryptographic Hardware and Embedded Systems
Locking-based intellectual property (IP) protection for integrated circuits (ICs) being manufactured at untrusted facilities has been largely defeated by the satisfiability (SAT) attack, which can retrieve the secret key needed for instantiating ...
Aric Fowler, Shayan Mohammed, Mustafa Shihab, Thomas Broadfoot, Peter Beerel, Carl Sechen, Yiorgos Makris   +6 more
doaj   +1 more source

Hybrid Shielding: Amplifying the Power of Camouflaging and Logic Encryption

IEEE Access, 2023
In the semiconductor industry, protecting Integrated Circuits (IC) throughout the IC supply chain has become a major concern. In-depth research has been done on logic encryption, split manufacturing, and layout camouflaging to safeguard ICs against ...
Nikhil Saxena, Ranga Vemuri
doaj   +1 more source

SAT-based lazy formal analysis method for security protocols

Tongxin xuebao, 2014
A SAT-based security protocol formalization analysis method named SAT-LMC is proposed.The method introduces optimized the initial state and transformational rules with “lazy” idea.The efficiency of detection is significantly improved.Moreover，by adding ...
Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU   +4 more
doaj   +2 more sources

Sustained Therapeutic Efficacy of Intravenous Plasminogen Concentrate in Pediatric Patients With Type 1 Plasminogen Deficiency: An Analysis of Dosing Parameters and Clinical Outcomes

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Type 1 plasminogen deficiency (PLGD‐1) is an ultra‐rare autosomal recessive disorder caused by variants in the PLG gene and affects approximately 1.6 individuals per million. The condition is characterized by decreased plasminogen levels and impaired function, resulting in fibrin‐rich lesions on mucous membranes throughout the body.
Charles Nakar, Karen Thibaudeau, Mary Mathias, Heather McDaniel, Madlen Reschke, Klaus Tenbrock, Joseph M. Parker, Amy Shapiro   +7 more
wiley   +1 more source

Personalized Zebrafish Models for Fusion‐Positive Pediatric Sarcomas

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Clinical sequencing efforts have revolutionized our approaches to categorizing pediatric cancers in real time. This has dramatically improved our ability to profile pediatric tumors, identify actionable vulnerabilities, and influence clinical care.
Lisa H. Hall, Emma N. Harrison, Genevieve C. Kendall   +2 more
wiley   +1 more source

Using Linearizing Sets to Solve Multivariate Quadratic Equations in Algebraic Cryptanalysis

IEEE Access, 2023
In this paper we describe a class of cryptographic guess-and-determine attacks which is based on the notion of a linearizing set. A linearizing set-based attack is applied to a system of Multivariate Quadratic equations (MQ) over $GF(2)$ field, which ...
Alexander Semenov, Kirill Antonov, Stepan Kochemazov, Artem Pavlenko   +3 more
doaj   +1 more source

Misperception of Body Weight After Childhood Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Misperception of body weight can negatively impact the weight management efforts of childhood cancer survivors (CCSs). Both being overweight or underweight are associated with chronic health conditions commonly observed in CCS; therefore, accurate weight perception is critical for reducing long‐term health risks.
Fabiën N. Belle, Tomáš Sláma, Eva Haegler‐Laube, Reto D. Kurmann, Gabriela M. Kuster, Christoph Saner, Eva Scheler, Yara Shoman, Christina Schindera   +8 more
wiley   +1 more source

Strengthening Crypto-1 Cipher Against Algebraic Attacks

Journal of ICT Research and Applications, 2015
In the last few years, several studies addressed the problem of data security in Mifare Classic. One of its weaknesses is the low random number quality. This causes SAT solver attacks to have lower complexity.
Farah Afianti, Ari M. Barmawi
doaj   +1 more source

Tracking Health Related Quality of Life From Diagnosis to Follow‐Up Among Australian Children With Acute Lymphoblastic Leukaemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Acute lymphoblastic leukaemia (ALL) is one of the most treatable forms of paediatric cancer; however, there is a substantial burden of treatment‐related toxicities (TRTs). In addition, the long‐term changes in children's health‐related quality of life (HRQoL) due to toxic treatments are not well understood.
Clare Ghows, Clarissa E. Schilstra, Karen McCleary, Nancy E. Briggs, Rishi S. Kotecha, Richard De Abreu Lourenco, Shanti Ramachandran, Ruelleyn Cockcroft, Rachel Conyers, Siobhan Cross, Luciano Dalla‐Pozza, Peter Downie, Tamas Revesz, Michael Osborn, Frank Alvaro, Claire E. Wakefield, Glenn M. Marshall, Toby Trahair, Marion K. Mateos, Joanna E. Fardell   +19 more
wiley   +1 more source