In this paper we formulate the static load balancing problem in single class job distributed
systems as a cooperative game among computers. It is shown that the Nash Bargaining …

LOOPLock is the state-of-the-art cyclic logic locking method in hardware security. LOOPLock
is able to invalidate SAT Attack, Removal Attack, and CycSAT simultaneously by introducing …

Majority-inverter graphs (MIGs) are a logic representation with remarkable algebraic and
Boolean properties that enable efficient logic optimizations beyond the capabilities of …

Cyclic logic locking is a new type of SAT-resistant techniques in hardware security. Recently,
LOOPLock 2.0 was proposed, which is a cyclic logic locking method creating cycles …

The future of computing is at crossroads. The technological advances that have sustained
the exponential growth of computing performance over the last several decades are slowing …

Node merging is a popular and effective logic restructuring technique that has recently been
applied to minimize logic circuits. However, in the previous satisfiability (SAT)-based …

Rewiring is a well developed and widely used technique in the synthesis and optimization of
traditional Boolean logic designs. The threshold logic is a new alternative logic …

Quantum-dot Cellular Automata (QCA) has emerged as a new design paradigm for
nanotechnologies. Since the operational logic in QCA is the majority logic, much research …

Recently, many works have been focused on synthesis, verification, and testing of threshold
circuits due to the rapid development in efficient implementation of threshold logic circuits …

Cyclic logic locking is a cutting-edge hardware security method developed to defend against
SAT Attack. It introduces cycles into the original circuit, which can cause the circuit to either …