Publications – Dr. Bijan Alizadeh (University of Tehran)

HyLock: Hybrid Logic Locking based on Structural Fuzzing for Resisting Learning-based Attacks

Journal

Mohammad Moradi Shahmiri, and Bijan Alizadeh

The ISC International Journal of Information Security (ISeCure)

Year of publication : 2024

Concealing Exposed Circuit Features Through a MaxSAT-based Logic Locking Method

Journal

Mohammad Moradi Shahmiri, and Bijan Alizadeh

IEEE Transactions on Circuits and Systems - Express Briefs

Year of publication : 2024

An FPGA-based Hardware Architecture for P+M class PMU using Accuracy-aware O-spline Filter Selection and Modulation Detection

Journal

Ali Falahati, Mahdieh Shamirzaee, and Bijan Alizadeh

IEEE Transactions on Instrumentation and Measurement

Year of publication : 2024

DC-PUF: Machine Learning-Resistant PUF-based Authentication Protocol using Dependency Chain for Resource-Constrained IoT Devices

Journal

Abolfazl Sajadi, Ahmad Shabani, and Bijan Alizadeh

Elsevier Journal of Network and Computer Applications (JNCA), Vol. 217, August 2023, 103693

Year of publication : 2023

Automatic Correction of RTL Designs using A Lightweight Partial High Level Synthesis

Journal

Bijan Alizadeh, and Masoud Shiroei

Integration, the VLSI Journal (INTEGRATION)

Year of publication : 2023

A Resistant PUF-based Authentication Protocol Against Machine Learning Attacks

Journal

Abolfazl Sajadi, and Bijan Alizadeh

International Journal of electrical and Computer Engineering (IJECE)

Year of publication : 2023

Vulnerability Analysis of Digital Circuits Against Capacitor-based Timing Hardware Trojan

Journal

Fatemeh Khormizi, and Bijan Alizadeh

Biannual Journal for CyberSpace Security (Monadi AFTA)

Year of publication : 2022

Mutual Lightweight PUF-based Authentication Scheme using Random Key Management Mechanism for Resource-constrained IoT Devices

Journal

Amir Ashtari, Ahmad Shabani, and Bijan Alizadeh

The ISC International Journal of Information Security (ISeCure)

Year of publication : 2022

Hardware Patching Methodology for Neutralizing Timing Hardware Trojans using Vulnerability Analysis and Time Borrowing Scheme

Journal

Fatemeh Khormizi, Ahmad Shabani, and Bijan Alizadeh

IEEE Transactions on Circuits and Systems II: Express Briefs

Year of publication : 2022

A Comparative Study of Machine Learning Classifiers for Secure RF-PUF-based Authentication in Internet of Things

Journal

Amir Ashtari, Ahmad Shabani, and Bijan Alizadeh

Microprocessors and Microsystems – Embedded Hardware Design (MICPRO)

Year of publication : 2022

SAT-Based Integrated Hardware Trojan Detection and Localization Approach Through Path-Delay Analysis

Journal

Mohammad Sabri, Ahmad Shabani, and Bijan Alizadeh

IEEE Transactions on Circuits and Systems II: Express Briefs

Year of publication : 2021

Arithmetic Circuit Correction by Adding Optimized Correctors Based on Groebner Basis Computation

Conference

Negar Aghapour, and Bijan Alizadeh

26th IEEE European Test Symposium (ETS)

Year of publication : 2021

PODEM: A Low-cost Property-based Design Modification for Detecting Hardware Trojans in Resource-constraint IoT Devices

Journal

Ahmad Shabani and Bijan Alizadeh

Elsevier Journal of Network and Computer Applications

Year of publication : 2020

Incremental SAT-based Correction of Gate Level Circuits by Reusing Partially Corrected Circuits

Journal

Bijan Alizadeh and Yasaman Abadi

IEEE Transactions on Circuits and Systems II: Express Briefs, 2020

Year of publication : 2020

Formal Verification of Non-Functional Strategies of System-Level Power Management Architecture in Modern Processors

Conference

Seyed Reza Sharafinejad, Bijan Alizadeh, and Tooraj Nikoubin

14th IEEE Dallas Circuits and Systems Conference

Year of publication : 2020

Enhancing Hardware Trojan Detection Sensitivity using Partition-based Shuffling Scheme

Journal

Ahmad Shabani and Bijan Alizadeh

IEEE Transactions on Circuits and Systems II: Express Briefs, 2020

Year of publication : 2020

AIOSC: Analytical Integer Word-length Optimization Based on System Characteristics for Recursive Fixed-point Linear Time Invariant Systems

Journal

Mahdieh Grailoo and Bijan Alizadeh

International Journal of Engineering TRANSACTIONS A: Basics, 2020.

Year of publication : 2020

ACPA: Exploiting Approximate Computing for High-Level Imprecision Optimization of Fixed-Point LTI Systems

Conference

Mahdieh Grailoo, Bijan Alizadeh, and Tooraj Nikoubin

14th IEEE Dallas Circuits and Systems Conference

Year of publication : 2020

QBF-Based Post-Silicon Debug of Speed-Paths Under Timing Variations

Journal

Bijan Alizadeh, Mehdi Shakeri

IEEE Transactions on Circuits and Systems I: Regular Papers

Year of publication : 2019

PMTP: A MAX-SAT Based Approach to Detect Hardware Trojan Using Propagation of Maximum Transition Probability

Journal

Ahmad Shabani, Bijan Alizadeh

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year of publication : 2019

FPGA-Based Implementation of an Artificial Neural Network for Measurement Acceleration in BOTDA Sensors

Journal

M Abbasnezhad, B Alizadeh

IEEE Transactions on Instrumentation and Measurement

Year of publication : 2019

FPGA-based Implementation of a Real-Time Object Recognition System using Convolutional Neural Network

Journal

Ali Azarmi Gilan, Mohammad Emad, Bijan Alizadeh

IEEE Transactions on Circuits and Systems II: Express Briefs

Year of publication : 2019

Data-path aware high-level ECO synthesis

Journal

Masoud Shiroei, Bijan Alizadeh, Masahiro Fujita

Integration

Year of publication : 2019

Combinational Hybrid Signal Selection with Updated Reachability Lists for Post-Silicon Debug

Journal

Siamack Beig Mohammadi ; Bijan Alizadeh

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year of publication : 2019

A Dynamic Timing Error Avoidance Technique Using Prediction Logic in High-Performance Designs

Journal

Mehrnaz Ahmadi, Sahand Salamat, Bijan Alizadeh

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year of publication : 2019

Scalable Symbolic Simulation-Based Automatic Correction of Modern Processors

Journal

Fatemeh Refan, Bijan Alizadeh, Zainalabedin Navabi

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year of publication : 2018

Incremental SAT-Based Accurate Auto-Correction of Sequential Circuits Through Automatic Test Pattern Generation

Journal

Bijan Alizadeh, Seyyed Reza Sharafinejad

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year of publication : 2018

High-Level Synthesis of Non-Rectangular Multi-Dimensional Nested Loops Using Reshaping and Vectorization

Conference

Sahand Salamat, Mohammad Reza Azarbad, Bijan Alizadeh

2018 IEEE International Conference on Rebooting Computing (ICRC)

Year of publication : 2018

Systematic approximate logic optimization using don't care conditions

Conference

Sahand Salamat, Mehrnaz Ahmadi, Bijan Alizadeh, Masahiro Fujita

2017 18th International Symposium on Quality Electronic Design (ISQED)

Year of publication : 2017

Scalable SMT-based equivalence checking of nested loop pipelining in behavioral synthesis

Journal

Mohammad Reza Azarbad, Bijan Alizadeh

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Year of publication : 2017