-
Modeling Linear and Non-linear Layers: An MILP Approach Towards Finding Differential and Impossible Differential Propagations
Authors:
Debranjan Pal,
Vishal Pankaj Chandratreya,
Abhijit Das,
Dipanwita Roy Chowdhury
Abstract:
Symmetric key cryptography stands as a fundamental cornerstone in ensuring security within contemporary electronic communication frameworks. The cryptanalysis of classical symmetric key ciphers involves traditional methods and techniques aimed at breaking or analyzing these cryptographic systems. In the evaluation of new ciphers, the resistance against linear and differential cryptanalysis is comm…
▽ More
Symmetric key cryptography stands as a fundamental cornerstone in ensuring security within contemporary electronic communication frameworks. The cryptanalysis of classical symmetric key ciphers involves traditional methods and techniques aimed at breaking or analyzing these cryptographic systems. In the evaluation of new ciphers, the resistance against linear and differential cryptanalysis is commonly a key design criterion. The wide trail design technique for block ciphers facilitates the demonstration of security against linear and differential cryptanalysis. Assessing the scheme's security against differential attacks often involves determining the minimum number of active SBoxes for all rounds of a cipher. The propagation characteristics of a cryptographic component, such as an SBox, can be expressed using Boolean functions. Mixed Integer Linear Programming (MILP) proves to be a valuable technique for solving Boolean functions. We formulate a set of inequalities to model a Boolean function, which is subsequently solved by an MILP solver. To efficiently model a Boolean function and select a minimal set of inequalities, two key challenges must be addressed. We propose algorithms to address the second challenge, aiming to find more optimized linear and non-linear components. Our approaches are applied to modeling SBoxes (up to six bits) and EXOR operations with any number of inputs. Additionally, we introduce an MILP-based automatic tool for exploring differential and impossible differential propagations within a cipher. The tool is successfully applied to five lightweight block ciphers: Lilliput, GIFT64, SKINNY64, Klein, and MIBS.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Security Analysis of WG-7 Lightweight Stream Cipher against Cube Attack
Authors:
Bijoy Das,
Abhijit Das,
Dipanwita Roy Chowdhury
Abstract:
Welch--Gong (WG) is a hardware-oriented LFSR-based stream cipher. WG-7 is a version of the eStream submission Welch--Gong, used for RFID encryption and authentication purposes. It offers 80-bit cryptographic security. In modern days, almost all ciphers achieve the security by exploiting the nonlinear feedback structure. In this paper, we investigate the security of the nonlinear feedback-based ini…
▽ More
Welch--Gong (WG) is a hardware-oriented LFSR-based stream cipher. WG-7 is a version of the eStream submission Welch--Gong, used for RFID encryption and authentication purposes. It offers 80-bit cryptographic security. In modern days, almost all ciphers achieve the security by exploiting the nonlinear feedback structure. In this paper, we investigate the security of the nonlinear feedback-based initialization phase of the WG-7 stream cipher using the conventional bit-based division property of cube attack, by considering the cipher in a non-blackbox polynomial setting. In our work, we mount the cube attack using mixed-integer-linear-programming(MILP) models. The results of our attack enable us to recover the secret key of WG-7 after 20 rounds of initialization utilizing $2^{10}$ keystream bits in $2^{73}$ time. We show that our proposed attack takes significantly lower data complexity. To the best of our knowledge, our attack is the first one that investigates the security of the nonlinear feedback-based initialization phase of WG-7 cipher.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Efficient Algorithms for Modeling SBoxes Using MILP
Authors:
Debranjan Pal,
Vishal Pankaj Chandratreya,
Dipanwita Roy Chowdhury
Abstract:
Mixed Integer Linear Programming (MILP) is a well-known approach for the cryptanalysis of a symmetric cipher. A number of MILP-based security analyses have been reported for non-linear (SBoxes) and linear layers. Researchers proposed word- and bit-wise SBox modeling techniques using a set of inequalities which helps in searching differential trails for a cipher. In this paper, we propose two new t…
▽ More
Mixed Integer Linear Programming (MILP) is a well-known approach for the cryptanalysis of a symmetric cipher. A number of MILP-based security analyses have been reported for non-linear (SBoxes) and linear layers. Researchers proposed word- and bit-wise SBox modeling techniques using a set of inequalities which helps in searching differential trails for a cipher. In this paper, we propose two new techniques to reduce the number of inequalities to represent the valid differential transitions for SBoxes. Our first technique chooses the best greedy solution with a random tiebreaker and achieves improved results for the 4-bit SBoxes of MIBS, LBlock, and Serpent over the existing results of Sun et al. [25]. Subset addition, our second approach, is an improvement over the algorithm proposed by Boura and Coggia. Subset addition technique is faster than Boura and Coggia [10] and also improves the count of inequalities. Our algorithm emulates the existing results for the 4-bit SBoxes of Minalpher, LBlock, Serpent, Prince, and Rectangle. The subset addition method also works for 5-bit and 6-bit SBoxes. We improve the boundary of minimum number inequalities from the existing results for 5-bit SBoxes of ASCON and SC2000. Application of subset addition technique for 6-bit SBoxes of APN, FIDES, and SC2000 enhances the existing results. By applying multithreading, we reduced the execution time needed to find the minimum inequality set over the existing techniques.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Bijections on strictly convex sets and closed convex projective surfaces that preserve complete geodesics
Authors:
Drimik Roy Chowdhury
Abstract:
In this paper, we study bijections on strictly convex sets of $\mathbf R \mathbf P^n$ for $n \geq 2$ and closed convex projective surfaces equipped with the Hilbert metric that map complete geodesics to complete geodesics as sets. Hyperbolic $n$-space with its standard metric is a special example of the spaces we consider, and it is known that these bijections in this context are precisely the iso…
▽ More
In this paper, we study bijections on strictly convex sets of $\mathbf R \mathbf P^n$ for $n \geq 2$ and closed convex projective surfaces equipped with the Hilbert metric that map complete geodesics to complete geodesics as sets. Hyperbolic $n$-space with its standard metric is a special example of the spaces we consider, and it is known that these bijections in this context are precisely the isometries. We first prove that this result generalizes to an arbitrary strictly convex set. For the surfaces setting, we prove the equivalence of map** simple closed geodesics to simple closed geodesics and map** closed geodesics to closed geodesics. We also outline some future directions and questions to further explore these topics.
△ Less
Submitted 11 September, 2022;
originally announced September 2022.
-
Efficient Parameter Sampling for Neural Network Construction
Authors:
Drimik Roy Chowdhury,
Muhammad Firmansyah Kasim
Abstract:
The customizable nature of deep learning models have allowed them to be successful predictors in various disciplines. These models are often trained with respect to thousands or millions of instances for complicated problems, but the gathering of such an immense collection may be infeasible and expensive. However, what often occurs is the pollution of redundant information from these instances to…
▽ More
The customizable nature of deep learning models have allowed them to be successful predictors in various disciplines. These models are often trained with respect to thousands or millions of instances for complicated problems, but the gathering of such an immense collection may be infeasible and expensive. However, what often occurs is the pollution of redundant information from these instances to the deep learning models. This paper outlines an algorithm that dynamically selects and appends instances to a training dataset from uncertain regions of the parameter space based on differences in predictions from multiple convolutional neural networks (CNNs). These CNNs are also simultaneously trained on this growing dataset to construct more accurate and knowledgable models. The methodology presented has reduced training dataset sizes by almost 90% and maintained predictive power in two diagnostics of high energy density physics.
△ Less
Submitted 22 December, 2019;
originally announced December 2019.
-
Data Preprocessing for Evaluation of Recommendation Models in E-Commerce
Authors:
Namrata Chaudhary,
Drimik Roy Chowdhury
Abstract:
E-commerce businesses employ recommender models to assist in identifying a personalized set of products for each visitor. To accurately assess the recommendations' influence on customer clicks and buys, three target areas -- customer behavior, data collection, user-interface -- will be explored for possible sources of erroneous data. Varied customer behavior misrepresents the recommendations' true…
▽ More
E-commerce businesses employ recommender models to assist in identifying a personalized set of products for each visitor. To accurately assess the recommendations' influence on customer clicks and buys, three target areas -- customer behavior, data collection, user-interface -- will be explored for possible sources of erroneous data. Varied customer behavior misrepresents the recommendations' true influence on a customer due to the presence of B2B interactions and outlier customers. Non-parametric statistical procedures for outlier removal are delineated and other strategies are investigated to account for the effect of a large percentage of new customers or high bounce rates. Subsequently, in data collection we identify probable misleading interactions in the raw data, propose a robust method of tracking unique visitors, and accurately attributing the buy influence for combo products. Lastly, user-interface issues discuss the possible problems caused due to the recommendation widget's positioning on the e-commerce website and the stringent conditions that should be imposed when utilizing data from the product listing page. This collective methodology results in an exact and valid estimation of the customer's interactions influenced by the recommendation model in the context of standard industry metrics, such as Click-through rates, Buy-through rates, and Conversion revenue.
△ Less
Submitted 25 October, 2019;
originally announced November 2019.
-
Children's Drawings and the Riemann-Hilbert Problem
Authors:
Drimik Roy Chowdhury
Abstract:
Dessin d'enfants (French for children's drawings) serve as a unique standpoint of studying classical complex analysis under the lens of combinatorial constructs. A thorough development of the background of this theory is developed with an emphasis on the relationship of monodromy to Dessins, which serve as a pathway to the Riemann Hilbert problem. This paper investigates representations of Dessins…
▽ More
Dessin d'enfants (French for children's drawings) serve as a unique standpoint of studying classical complex analysis under the lens of combinatorial constructs. A thorough development of the background of this theory is developed with an emphasis on the relationship of monodromy to Dessins, which serve as a pathway to the Riemann Hilbert problem. This paper investigates representations of Dessins by permutations, the connection of Dessins to a particular class of Riemann surfaces established by Belyi's theorem and how these combinatorial objects provide another perspective of solving the discrete Riemann-Hilbert problem.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Expanding Click and Buy rates: Exploration of evaluation metrics that measure the impact of personalized recommendation engines on e-commerce platforms
Authors:
Namrata Chaudhary,
Drimik Roy Chowdhury
Abstract:
To identify the most appropriate recommendation model for an e-commerce business, a live evaluation should be performed on the shop** website to measure the influence of personalization in real-time. The aim of this paper is to introduce and justify two new metrics -- CTR NoRepeat and Click & Buy rate -- which stem from the standard metrics, Click-through(CTR) and Buy-through rate(BTR), respecti…
▽ More
To identify the most appropriate recommendation model for an e-commerce business, a live evaluation should be performed on the shop** website to measure the influence of personalization in real-time. The aim of this paper is to introduce and justify two new metrics -- CTR NoRepeat and Click & Buy rate -- which stem from the standard metrics, Click-through(CTR) and Buy-through rate(BTR), respectively. The former variation tackles the issue of overestimation of clicks in the original CTR while the latter accounts for noting purchases of products that have been previously clicked, in order to validate that the buy included in the metric is a result of customer interactions. A significance test for independence of two means is conducted for multiple datasets, between each of the new metrics and its respective parent to determine the novelty and necessity of the variants. The Pearson-correlation coefficient is calculated to assess the strength of the linear relationships and conclude on the predictability factor amongst the aforementioned factors to investigate unknown connections between customer clicks and buys. Additionally, other metrics such as hits per customer, buyers per customer, clicks per customer etc. are introduced that help explain indicators of customer behavior on the e-commerce website in reference.
△ Less
Submitted 20 January, 2019;
originally announced January 2019.
-
Plasmon induced transparency in graphene based terahertz metamaterials
Authors:
Koijam Monika Devi,
M. Islam,
Dibakar R. Chowdhury,
Amarendra K. Sarma,
Gagan Kumar
Abstract:
Plasmon induced transparency (PIT) effect in a terahertz graphene metamaterial is numerically and theoretically analyzed. The proposed metamaterial comprises of a pair of graphene split ring resonators placed alternately on both sides of a graphene strip of nanometer scale. The PIT effect in the graphene metamaterial is studied for different vertical and horizontal configurations. Our results reve…
▽ More
Plasmon induced transparency (PIT) effect in a terahertz graphene metamaterial is numerically and theoretically analyzed. The proposed metamaterial comprises of a pair of graphene split ring resonators placed alternately on both sides of a graphene strip of nanometer scale. The PIT effect in the graphene metamaterial is studied for different vertical and horizontal configurations. Our results reveal that there is no PIT effect in the graphene metamaterial when the centers of both the split ring resonators and the graphene strip are collinear to each other. This is a noteworthy feature, as the PIT effect does not vanish for similar configuration in a metal-based metamaterial structure. We have further shown that the PIT effect can be tuned by varying the Fermi energy of graphene layer. A theoretical model using the three level plasmonic system is established in order to validate the numerical results. Our studies could be significant in designing graphene based frequency agile ultra-thin devices for terahertz applications.
△ Less
Submitted 10 November, 2017;
originally announced November 2017.
-
Ultrafast Switching in Terahertz Metamaterials using Ion Implanted Silicon on Sapphire
Authors:
Dibakar Roy Chowdhury,
Ranjan Singh,
Antoinette J. Taylor,
Abul K. Azad
Abstract:
We demonstrate ultrafast resonance switching of terahertz metamaterials through optical excitation of radiation damaged silicon placed in the gap of single split gap ring resonator. We observe the dynamic switching OFF of the fundamental resonance mode on a time scale of 4 picoseconds (ps) followed by the switching ON of the same resonance after 20 ps. Electric field distributions in the metamater…
▽ More
We demonstrate ultrafast resonance switching of terahertz metamaterials through optical excitation of radiation damaged silicon placed in the gap of single split gap ring resonator. We observe the dynamic switching OFF of the fundamental resonance mode on a time scale of 4 picoseconds (ps) followed by the switching ON of the same resonance after 20 ps. Electric field distributions in the metamaterials unit cell derived through numerical simulations clearly support our experimental observations, showing that the high electric field at the resonator gaps, responsible for inductive-capacitive resonance (LC), completely disappears and switches OFF the resonance after being optically excited. The ultrafast switching of the metamaterial resonance is attributed to the generation of free carriers in ion-implanted silicon and their recombination at an ultra-short time scale. Such silicon based active control of metamaterials can lead to the ultrafast terahertz metadevices.
△ Less
Submitted 10 July, 2014;
originally announced July 2014.
-
Terahertz metamaterials for linear polarization conversion and anomalous refraction
Authors:
Nathaniel K. Grady,
Jane E. Heyes,
Dibakar Roy Chowdhury,
Yong Zeng,
Matthew T. Reiten,
Abul K. Azad,
Antoinette J. Taylor,
Diego A. R. Dalvit,
Hou-Tong Chen
Abstract:
Polarization is one of the basic properties of electromagnetic waves conveying valuable information in signal transmission and sensitive measurements. Conventional methods for advanced polarization control impose demanding requirements on material properties and attain only limited performance. Here, we demonstrate ultrathin, broadband, and highly efficient metamaterial-based terahertz polarizatio…
▽ More
Polarization is one of the basic properties of electromagnetic waves conveying valuable information in signal transmission and sensitive measurements. Conventional methods for advanced polarization control impose demanding requirements on material properties and attain only limited performance. Here, we demonstrate ultrathin, broadband, and highly efficient metamaterial-based terahertz polarization converters that are capable of rotating a linear polarization state into its orthogonal one. Based on these results we create metamaterial structures capable of realizing near-perfect anomalous refraction. Our work opens new opportunities for creating high performance photonic devices and enables emergent metamaterial functionalities for applications in the technologically difficult terahertz frequency regime.
△ Less
Submitted 14 August, 2013;
originally announced August 2013.
-
Impact of resonator geometry and its coupling with ground plane on ultrathin metamaterial perfect absorbers
Authors:
Li Huang,
Dibakar Roy Chowdhury,
Suchitra Ramani,
Matthew T. Reiten,
Sheng-Nian Luo,
Abul K. Azad,
Antoinette J. Taylor,
Hou-Tong Chen
Abstract:
We investigate the impact of resonator geometry and its coupling with ground plane on the performance of metamaterial perfect absorbers. Using a cross-resonator as an example structure, we find that the absorber thickness can be further reduced through modifying the geometric dimensions of the resonators. Numerical simulations and theoretical calculations reveal that destructive interference of mu…
▽ More
We investigate the impact of resonator geometry and its coupling with ground plane on the performance of metamaterial perfect absorbers. Using a cross-resonator as an example structure, we find that the absorber thickness can be further reduced through modifying the geometric dimensions of the resonators. Numerical simulations and theoretical calculations reveal that destructive interference of multiple reflections is responsible for the near-unity absorption. The near-field coupling between the resonator array and ground plane can be significant. When this coupling is taken into account, the theoretical results calculated using the interference model are in excellent agreement with experiments and numerical simulations.
△ Less
Submitted 2 July, 2012;
originally announced July 2012.
-
Experimental demonstration of terahertz metamaterial absorbers with a broad and flat high absorption band
Authors:
Li Huang,
Dibakar Roy Chowdhury,
Suchitra Ramani,
Matthew T. Reiten,
Sheng-Nian Luo,
Antoinette J. Taylor,
Hou-Tong Chen
Abstract:
We present the design, numerical simulations and experimental measurements of THz metamaterial absorbers with a broad and flat absorption top both for transverse electric and transverse magnetic polarizations over a wide incidence angle range. The metamaterial absorber unit cell consists of two sets of structures resonating at different but close frequencies. The overall absorption spectrum is the…
▽ More
We present the design, numerical simulations and experimental measurements of THz metamaterial absorbers with a broad and flat absorption top both for transverse electric and transverse magnetic polarizations over a wide incidence angle range. The metamaterial absorber unit cell consists of two sets of structures resonating at different but close frequencies. The overall absorption spectrum is the superposition of individual components and becomes flat at the top over a significant bandwidth. The experimental results are in excellent agreement with numerical simulations.
△ Less
Submitted 18 September, 2011;
originally announced September 2011.
-
A Secure and Efficient Protocol for Group Key agreement in Heterogeneous Environment
Authors:
Mounita Saha,
Dipanwita Roy Chowdhury
Abstract:
Secure group communication in heterogeneous environment is gaining popularity due to the advent of wireless and ubiquitous computing. Although a number of protocols for group key agreement have been proposed, most of them are not applicable in heterogeneous environment where a number of computationally limited nodes coexist with one or more computationally efficient nodes. Among the few existing…
▽ More
Secure group communication in heterogeneous environment is gaining popularity due to the advent of wireless and ubiquitous computing. Although a number of protocols for group key agreement have been proposed, most of them are not applicable in heterogeneous environment where a number of computationally limited nodes coexist with one or more computationally efficient nodes. Among the few existing protocols, where some fail to satisfy the key agreement properties, some are unable to handle the agreement for dynamic group. In this work, we propose a constant round group key agreement protocol for heterogeneous environment using polynomial interpolation. The protocol ensures both communication and computation efficiency by shifting the major computation load on powerful users, achieves true contributory key agreement property and dynamic handling of user join and leave. The security of the protocol has been analyzed under formal model. The comparison result shows considerable improvement in protocol efficiency compared to the existing ones.
△ Less
Submitted 18 August, 2009;
originally announced August 2009.