Hadi Mardani Kamali is an author at University of Florida specializing in hardware security, formal verification, and data security.
Top concepts
EngineeringCryptographyData SecurityComputer ScienceHardware SecurityFormal VerificationComputer EngineeringInformation SecurityComputer ArchitectureFormal Methods
Publications per year
2022–2024
8
8
M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali et al. · Proceedings of the 59th ACM/IEEE Design Automation Conference · 2022 · 20 citations
ReTrustFSM: Toward RTL Hardware Obfuscation-A Hybrid FSM Approach
M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali et al. · IEEE Access · 2023 · 20 citations · Full text
SheLL: Shrinking eFPGA Fabrics for Logic Locking
Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi et al. · 2023 · 14 citations
Engineering, Information Security, Computer Architecture +22
Rows per page
1–5 of 8