-
SubLock: Sub-Circuit Replacement based Input Dependent Key-based Logic Locking for Robust IP Protection
Authors:
Vijaypal Singh Rathor,
Munesh Singh,
Kshira Sagar Sahoo,
Saraju P. Mohanty
Abstract:
Intellectual Property (IP) piracy, overbuilding, reverse engineering, and hardware Trojan are serious security concerns during integrated circuit (IC) development. Logic locking has proven to be a solid defence for mitigating these threats. The existing logic locking techniques are vulnerable to SAT-based attacks. However, several SAT-resistant logic locking methods are reported; they require sign…
▽ More
Intellectual Property (IP) piracy, overbuilding, reverse engineering, and hardware Trojan are serious security concerns during integrated circuit (IC) development. Logic locking has proven to be a solid defence for mitigating these threats. The existing logic locking techniques are vulnerable to SAT-based attacks. However, several SAT-resistant logic locking methods are reported; they require significant overhead. This paper proposes a novel input dependent key-based logic locking (IDKLL) that effectively prevents SAT-based attacks with low overhead. We first introduce a novel idea of IDKLL, where a design is locked such that it functions correctly for all input patterns only when their corresponding valid key sequences are applied. In contrast to conventional logic locking, the proposed IDKLL method uses multiple key sequences (instead of a single key sequence) as a valid key that provides correct functionality for all inputs. Further, we propose a sub-circuit replacement based IDKLL approach called SubLock that locks the design by replacing the original sub-circuitry with the corresponding IDKLL based locked circuit to prevent SAT attack with low overhead. The experimental evaluation on ISCAS benchmarks shows that the proposed SubLock mitigates the SAT attack with high security and reduced overhead over the well-known existing methods.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Predictability in Rotating Turbulence: Insights from a Shell Model Study
Authors:
Shailendra K. Rathor
Abstract:
We investigate the predictability aspects of rotating turbulent flows through extensive numerical simulations of a shell model of rotating turbulence. In particular, we measure the large-scale predictability time and find that it increases with rotation rate to satisfy a power law in Rossby number with a scaling exponent of $-2/3$. Intriguingly, we find that before entering the algebraic growth st…
▽ More
We investigate the predictability aspects of rotating turbulent flows through extensive numerical simulations of a shell model of rotating turbulence. In particular, we measure the large-scale predictability time and find that it increases with rotation rate to satisfy a power law in Rossby number with a scaling exponent of $-2/3$. Intriguingly, we find that before entering the algebraic growth stage, the error dynamics freezes for a time period determined by the finite Rossby number. We further analyse the scale dependence of the predictability time and observe that it tends to become scale independent in the Zeman range as the Rossby number decreases. Finally, we compute the finite size Lyapunov exponent and validate the dimensional prediction of its scaling $\simδ^{-1}$ for large $δ$ of the order of velocities in the Zeman range for small Rossby numbers.
△ Less
Submitted 23 May, 2022;
originally announced May 2022.
-
Dynamic Scaling in Rotating Turbulence: A Shell Model Study
Authors:
Shailendra K. Rathor,
Sagar Chakraborty,
Samriddhi Sankar Ray
Abstract:
We investigate the scaling form of appropriate time-scales extracted from time-dependent correlation functions in rotating, turbulent flows. In particular, we obtain precise estimates of the dynamic exponents $z_p$, associated with the time-scales, and their relation with the more commonly measured equal-time exponents $ζ_p$. These theoretical predictions, obtained by using the multifractal formal…
▽ More
We investigate the scaling form of appropriate time-scales extracted from time-dependent correlation functions in rotating, turbulent flows. In particular, we obtain precise estimates of the dynamic exponents $z_p$, associated with the time-scales, and their relation with the more commonly measured equal-time exponents $ζ_p$. These theoretical predictions, obtained by using the multifractal formalism, are validated through extensive numerical simulations of a shell model for such rotating flows.
△ Less
Submitted 11 June, 2022; v1 submitted 13 December, 2021;
originally announced December 2021.
-
OptSmart: A Space Efficient Optimistic Concurrent Execution of Smart Contracts
Authors:
Parwat Singh Anjana,
Sweta Kumari,
Sathya Peri,
Sachin Rathor,
Archit Somani
Abstract:
Popular blockchains such as Ethereum and several others execute complex transactions in blocks through user-defined scripts known as smart contracts. Serial execution of smart contract transactions/atomic-units (AUs) fails to harness the multiprocessing power offered by the prevalence of multi-core processors. By adding concurrency to the execution of AUs, we can achieve better efficiency and high…
▽ More
Popular blockchains such as Ethereum and several others execute complex transactions in blocks through user-defined scripts known as smart contracts. Serial execution of smart contract transactions/atomic-units (AUs) fails to harness the multiprocessing power offered by the prevalence of multi-core processors. By adding concurrency to the execution of AUs, we can achieve better efficiency and higher throughput.
In this paper, we develop a concurrent miner that proposes a block by executing the AUs concurrently using optimistic Software Transactional Memory systems (STMs). It captures the independent AUs in a concurrent bin and dependent AUs in the block graph (BG) efficiently. Later, we propose a concurrent validator that re-executes the same AUs concurrently and deterministically using a concurrent bin followed by a BG given by the miner to verify the proposed block. We rigorously prove the correctness of concurrent execution of AUs and achieve significant performance gain over the state-of-the-art.
△ Less
Submitted 17 February, 2021; v1 submitted 9 February, 2021;
originally announced February 2021.
-
Bridging Inertial and Dissipation Range Statistics in Rotating Turbulence
Authors:
Shailendra K. Rathor,
Manohar Kumar Sharma,
Samriddhi Sankar Ray,
Sagar Chakraborty
Abstract:
We investigate the connection between the inertial range and the dissipation range statistics of rotating turbulence through detailed simulations of a helical shell model and a multifractal analysis. In particular, by using the latter, we find an explicit relation between the (anomalous) scaling exponents of equal-time structure functions in the inertial range in terms of the generalised dimension…
▽ More
We investigate the connection between the inertial range and the dissipation range statistics of rotating turbulence through detailed simulations of a helical shell model and a multifractal analysis. In particular, by using the latter, we find an explicit relation between the (anomalous) scaling exponents of equal-time structure functions in the inertial range in terms of the generalised dimensions associated with the energy dissipation rate. This theoretical prediction is validated by detailed simulations of a helical shell model for various strengths of rotation from where the statistics of dissipation rate, and thus the generalised dimensions, as well as the inertial range, in particular the anomalous scaling exponents, are extracted. Our work also underlines a surprisingly good agreement---such as in the spatial structure of the energy dissipation rates and the decrease in inertial range intermittency with increasing strengths of rotation---between solutions of the Navier--Stokes equation in a rotating frame with those obtained from low-dimensional, dynamical systems such as the shell model which are not explicitly anisotropic. Finally, we perform direct numerical simulations of the Navier--Stokes equation, with the Coriolis force incorporated, to confirm the robustness of the conclusions drawn from our multifractal and shell model studies.
△ Less
Submitted 2 September, 2020; v1 submitted 18 December, 2019;
originally announced December 2019.
-
An Efficient Framework for Optimistic Concurrent Execution of Smart Contracts
Authors:
Parwat Singh Anjana,
Sweta Kumari,
Sathya Peri,
Sachin Rathor,
Archit Somani
Abstract:
Blockchain platforms such as Ethereum and several others execute complex transactions in blocks through user-defined scripts known as smart contracts. To append a correct block into blockchain, miners execute these transactions of smart contracts sequentially. Later the validators serially re-execute the smart contract transactions of the block to validate it. If validation is successful then the…
▽ More
Blockchain platforms such as Ethereum and several others execute complex transactions in blocks through user-defined scripts known as smart contracts. To append a correct block into blockchain, miners execute these transactions of smart contracts sequentially. Later the validators serially re-execute the smart contract transactions of the block to validate it. If validation is successful then the block is added to the blockchain using a consensus protocol and miner gets the incentive. In the current era of multi-core processors, by employing the serial execution of the transactions, the miners and validators fail to utilize the cores properly and as a result, have poor throughput. By entitling concurrency to smart contracts execution, we can achieve better efficiency and higher throughput. In this proposal, we develop a novel and efficient technique to execute the smart contract transactions concurrently by miner using optimistic Software Transactional Memory systems (STMs). The miner proposes a block which consists of the set of transactions, conflict graph, hash of previous block and final state of each shared data-objects. Later, we propose concurrent validator which re-executes the same smart contracts concurrently and deterministically with the help of conflict graph given by miner and verifies the final states. On successful validation, proposed block appended into the blockchain and miner gets the incentive. We consider a benchmarks from solidity documentation. We execute the smart contract transactions concurrently using Basic Time stamp Ordering (BTO) and Multi-Version Time stamp Ordering (MVTO) protocols as optimistic STMs. BTO and MVTO miner achieves 3.6x and 3.7x average speedups over serial miner respectively. BTO and MVTO validator outperform average 40.8x and 47.1x than serial validator respectively.
△ Less
Submitted 14 January, 2019; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Stability Analysis of Convection in the Intracluster Medium
Authors:
Himanshu Gupta,
Shailendra K. Rathor,
Martin E. Pessah,
Sagar Chakraborty
Abstract:
We use the machinery usually employed for studying the onset of Rayleigh--Bénard convection in hydro- and magnetohydro-dynamic settings to address the onset of convection induced by the magnetothermal instability and the heat-flux-buoyancy-driven-instability in the weakly-collisional magnetized plasma permeating the intracluster medium. Since most of the related numerical simulations consider the…
▽ More
We use the machinery usually employed for studying the onset of Rayleigh--Bénard convection in hydro- and magnetohydro-dynamic settings to address the onset of convection induced by the magnetothermal instability and the heat-flux-buoyancy-driven-instability in the weakly-collisional magnetized plasma permeating the intracluster medium. Since most of the related numerical simulations consider the plasma being bounded between two `plates' on which boundary conditions are specified, our strategy provides a framework that could enable a more direct connection between analytical and numerical studies. We derive the conditions for the onset of these instabilities considering the effects of induced magnetic tension resulting from a finite plasma beta. We provide expressions for the Rayleigh number in terms of the wave vector associated with a given mode, which allow us to characterize the modes that are first to become unstable. For both the heat-flux-buoyancy-driven-instability and the magnetothermal instability, oscillatory marginal stable states are possible.
△ Less
Submitted 31 May, 2016;
originally announced May 2016.
-
Power-efficient Routing & Increased Yield Approach For WSNs
Authors:
Kalpana Sharma,
Anurag S. Rathor,
S. R. Biradar,
M. K Ghose
Abstract:
The sensor nodes in a Wireless Sensor Network are generally constrained with limited power supply. Efficient power management is a must for any sensor network to keep the sensor nodes in the network to be operational for a longer period of time this increasing the lifetime of the sensor network. Hierarchy based routing enables the sensor networks to be deployed in larger areas. In this paper we pr…
▽ More
The sensor nodes in a Wireless Sensor Network are generally constrained with limited power supply. Efficient power management is a must for any sensor network to keep the sensor nodes in the network to be operational for a longer period of time this increasing the lifetime of the sensor network. Hierarchy based routing enables the sensor networks to be deployed in larger areas. In this paper we present a hierarchical cluster based routing protocol which improves the scalability as the data travels from one cluster level to another covering a greater amount of distance and increases the lifetime of the wireless sensor network by distributing the power dissipation load evenly among all the sensor nodes within the network. Also the time delay in case of critical data to be received by the Base Station has also been lowered.
△ Less
Submitted 3 September, 2010;
originally announced September 2010.