activity
20102026
most citedOptimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability

3 citations · 3 across the 6 of their papers we have counts for

collaborators

8 papers

cs.AR2026

Cross-Layer Co-Optimized LSTM Accelerator for Real-Time Gait Analysis

Mohammad Hasan Ahmadilivani, Levent Aksoy, Mohammad Eslami +2

Long Short-Term Memory (LSTM) neural networks have penetrated healthcare applications where real-time requirements and edge computing capabilities are essential. Gait analysis that…

cs.CR2023

Hybrid Protection of Digital FIR Filters

Levent Aksoy, Quang-Linh Nguyen, Felipe Almeida +4

A digital Finite Impulse Response (FIR) filter is a ubiquitous block in digital signal processing applications and its behavior is determined by its coefficients. To protect filter…

cs.CR2023

Resynthesis-based Attacks Against Logic Locking

F. Almeida, L. Aksoy, Q-L. Nguyen +3

Logic locking has been a promising solution to many hardware security threats, such as intellectual property infringement and overproduction. Due to the increased attention that th…

cs.CR2022

Multiplierless Design of Very Large Constant Multiplications in Cryptography

Levent Aksoy, Debapriya Basu Roy, Malik Imran +2

This brief addresses the problem of implementing very large constant multiplications by a single variable under the shift-adds architecture using a minimum number of adders/subtrac…

cs.CR2022

Hardware Obfuscation of Digital FIR Filters

Levent Aksoy, Alexander Hepp, Johanna Baehr +1

A finite impulse response (FIR) filter is a ubiquitous block in digital signal processing applications. Its characteristics are determined by its coefficients, which are the intell…

cs.CR2021

High-level Intellectual Property Obfuscation via Decoy Constants

Levent Aksoy, Quang-Linh Nguyen, Felipe Almeida +4

This paper presents a high-level circuit obfuscation technique to prevent the theft of intellectual property (IP) of integrated circuits. In particular, our technique protects a cl…

cs.CR2021

Side-Channel Attacks on Triple Modular Redundancy Schemes

Felipe Almeida, Levent Aksoy, Jaan Raik +1

The interplay between security and reliability is poorly understood. This paper shows how triple modular redundancy affects a side-channel attack (SCA). Our counterintuitive findin…

cs.LO2010★ 3 cited

Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability

Nuno P. Lopes, Levent Aksoy, Vasco Manquinho +1

In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the MC…