Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

We consider the problem of compressing an information source when a correlated one is available as side information only at the decoder side, which is a special case of the distributed source coding problem in information theory. In particular, we consider ...

Harnessing quantum randomness for the generation of random numbers is an important concept crucial for information security and many other computer-related applications. Quantum random number generators (QRNGs) are evolving from bulky, slow, and expensive ...

Background: Although digital mobility outcomes (DMOs) can be readily calculated from real-world data collected with wearable devices and ad-hoc algorithms, technical validation is still required. The aim of this paper is to comparatively assess and validat ...

Most logic synthesis algorithms work on graph representations of logic functions with nodes associated with arbitrary logic expressions or simple logic functions and iteratively optimize such graphs. While recent multilevel logic synthesis efforts focused ...

Organic electrochemical transistors (OECTs) have gained enormous attention due to their potential for bioelectronics and neuromorphic computing. However, their implementation into real-world applications is still impeded by a lack of understanding of the c ...

At the FSE conference of ToSC 2018, Kranz et al. presented their results on shortest linear programs for the linear layers of several well known block ciphers in literature. Shortest linear programs are essentially the minimum number of 2-input xor gates r ...

Current procedures for the rapid inspection of buildings and infrastructure are subjective, time-consuming, and cumbersome to document, necessitating new technologies to automate the process and eliminate these shortcomings. Fortunately, recent development ...

Collective spin excitations can propagate in magnetically ordered materials in the form of waves. These so-called spin waves (SWs) or magnons are promising for low-power beyond-CMOS information processing, which does not rely anymore on the lossy movement ...

In the last few years, the field of lightweight cryptography has seen an influx in the number of block ciphers and hash functions being proposed. In the past there have been numerous papers that have looked at circuit level implementation of block ciphers ...

Nickel iron layered double hydroxide (NiFe LDH) is one of the best oxygen evolution reaction (OER) catalysts in alkaline electrolytes. However, it performs poorly in neutral electrolytes, and the detailed mechanism is still unclear. Herein, we introduce el ...

Emerging reconfigurable nanotechnologies allow the implementation of self-dual functions with a fewer number of transistors as compared to traditional CMOS technologies. To achieve better area results for Reconfigurable Field-Effect Transistors (RFET)-base ...

The synthesis of high-performance gas-sieving zeolitic film is challenging because it involves seeded secondary growth which is complex and difficult to reproduce. Additionally, expensive asymmetric inorganic porous supports are often needed for calcinatio ...

Threshold Implementations have become a popular generic technique to construct circuits resilient against power analysis attacks.In this paper, we look to devise efficient threshold circuits for the lightweight block cipher family SKINNY. The only threshol ...

Stimulated by the COVID-19 outbreak, the global healthcare industry better acknowledges the necessity of innovating novel methods for remote healthcare monitoring and treating patients outside clinics. Here we report the development of two different types ...

This paper defines a Maximum Likelihood Estimator (MLE) for the admittance matrix estimation of distribution grids, utilising voltage magnitude and power measurements collected only from common, unsychronised measuring devices (Smart Meters). First, we pre ...

Despite FPGAs rapidly evolving to support the requirements of the most demanding emerging applications, their high static power consumption, concentrated within the routing resources, still presents a major hurdle for low-power applications. Augmenting the ...

Over the past decade, significant advancements have been made in the study of silicon nanowires (SiNWs). These nanoscaled devices can exhibit a memristive type of hysteresis in the current/voltage (I/V) plane that has been utilized in the biosensors leadin ...

With the advent of intelligent sensor nodes in everyday life, low power aspects of system design become more and more important. Adaptive body biasing is a promising methodology to achieve dynamic adaptation of the tradeoff between performance and energy b ...

Monolithic pixel sensors integrate the sensor matrix and readout in the same silicon die, and therefore present several advantages over the more largely used hybrid detectors in high-energy physics. They offer an easier detector assembly, lower cost, lower ...

Gallium Nitride (GaN) is one of the most promising materials for high frequency power switching due to its exceptional properties such as large saturation velocity, high carrier mobility, and high breakdown field strength. The high switching frequency of G ...

Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers

Chat with Graph Search

Neural Distributed Image Compression with Cross-Attention Feature Alignment

Random flip-flop: adding quantum randomness to digital circuits for improved cyber security, artificial intelligence and more

Assessing real-world gait with digital technology? Validation, insights and recommendations from the Mobilise-D consortium

Three-Input Gates for Logic Synthesis

Unraveling the Electrochemical Electrode Coupling in Integrated Organic Electrochemical Transistors

Further Results on Efficient Implementations of Block Cipher Linear Layers

Damage-augmented digital twins towards the automated inspection of buildings

Magnonic crystals with reconfigurable magnetic defects for spin-based microwave electronics

A Deeper Look at the Energy Consumption of Lightweight Block Ciphers

Investigation of nickel iron layered double hydroxide for water oxidation in different pH electrolytes

Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies

Hydrogen-sieving zeolitic films by coating zeolite nanosheets on porous polymeric support

Improving First-Order Threshold Implementations of SKINNY

Single-arm diagnostic electrocardiography with printed graphene on wearable textiles

Maximum likelihood estimation of distribution grid topology and parameters from Smart Meter data

Shrinking FPGA Static Power via Machine Learning-Based Power Gating and Enhanced Routing

New Insights Into the I/V Hysteretic Characteristics of Memristive Biosensors

Adaptive Body Biasing in Strong Body Factor Technologies

Front-End Circuits for Radiation-Hard Monolithic CMOS Sensors targeting High-Energy Physics Applications

Enhancement Mode Tri-gate GaN Power Devices and Logic Circuits