Md Kawser Bepary
Digital Design & Verification | Embedded Applications | Security Verification |
Hardware Security Researcher,
Florida Institute for Cybersecurity (FICS) Research
Ph.D. Candidate in Electrical & Computer Engineering,
University of Florida, USA
Welcome to my homepage!
I am a microelectronics security researcher and Ph.D. candidate at the University of Florida, specializing in secure SoC design, verification, and embedded systems. My research focuses on identifying and mitigating side-channel leakage in power, electromagnetic (EM), and cache to enhance hardware security for critical applications.
Experienced in RTL design, lightweight cryptography, and FPGA-based implementations, I have contributed to DARPA-funded projects and collaborated with Synopsys Inc. on developing security solutions that protect critical semiconductor technologies. My work is driven by a passion for advancing hardware security and ensuring that future systems are resilient, trustworthy, and secure.
Research Interests
Education
Ph.D. in Electrical and Computer Engineering
University of Florida
Focusing on hardware security and side-channel leakage assessment, my doctoral research explores secure design and verification of System-on-Chip (SoC) architectures. Under the mentorship of Prof. Mark Tehranipoor, I am developing pre-silicon analysis frameworks to enhance the security of cryptographic hardware.
M.Sc. in Computer Engineering
The University of Alabama in Huntsville
Specialized in digital design, computer architecture and embedded systems. My thesis, supervised by Prof. M. Tauhidur Rahman, investigated the reliability and security of DRAM modules, focusing on retention errors and bit-flip analysis under accelerated aging.
B.Sc. in Electrical and Electronic Engineering
Bangladesh University of Engineering and Technology (BUET)
Developed a solid foundation in electronics, VLSI and digital design, with early exposure to embedded applications and hardware security challenges.
Technical Skills
Python, C/C++, Rust, MATLAB, RISC-V/MIPS/8086 Assembly
Verilog, VHDL, SystemVerilog
- RTL Design and Synthesis: Synopsys Design Compiler, Cadence Genus, ABC, Xilinx Vivado
- Functional Verification: Synopsys VCS, iVerilog, SystemVerilog Assertion, UVM
- Formal Verification: Incisive Formal Verifier, Cadence JasperGold, Synopsys Formality
- Physical Design: Cadence Innovus, Synopsys ICC2
- Other Tools: Synopsys PrimeTime, TetraMax, StarRC
Make, CMake, Tcl/Tk, Unix Shell, Bash
Numpy, SciPy, Pandas, Scikit-learn, TensorFlow, Keras
Synopsys HSpice, Proteus, gem5, multi2sim, Linux, Git, LaTeX, Minitab
Graduate Research Assistant
• Developing a GNN-based power and EM side-channel leakage modeling framework at the pre-silicon stage to enhance the security of cryptographic designs against physical attacks.
• Designing an EM-based side-channel disassembler to reconstruct executed instructions in microcontrollers, contributing to secure embedded systems analysis.
• Developed a novel PMU-based approach for detecting CPU workloads and mitigating cache side-channel vulnerabilities to counter speculative execution attacks.
• Implemented an automated CAD toolflow to assess physical-design-aware EM side-channel vulnerability at the gate level, in support of the CYAN Research Program, enabling rapid pre-silicon security sign-off.
• Built a Python-based framework to estimate IP and SoC-level resilience against power side-channel threats at the RTL level as part of a DARPA AISS project in collaboration with Synopsys.
• Designed security primitive IPs in RTL for device lifecycle management as part of the DARPA AISS project in collaboration with Synopsys.
Graduate Technical Intern
• Developed embedded applications for secure boot, TLS communication, and cryptographic services as part of the DARPA-funded AISS project.
• Implemented ASCON lightweight cryptographic applications for embedded firmware encryption and authentication within a secure boot protocol.
• Integrated ASCON authenticated encryption and hashing hardware modules into the Synopsys security engine subsystem, incorporating a masking scheme for side-channel resiliency.
Graduate Teaching Assistant
• Managed assignments, projects, and exams for "Intro to Hardware Security and Trust," helped develop tutorials on commercial EDA tools for VLSI design, synthesis, and functional and security verification.
Graduate Research Assistant
• Developed open-source API-based C++ scripts to interface with commercial DDR3 DRAM chips on a Xilinx ML605 FPGA, enabling read/write operations with configurable timing parameters.
• Analyzed device aging and retention error-induced bit-flips under stress conditions, exploring reliability and security issues while generating robust signatures.
Graduate Teaching Assistant
• Assisted 100+ graduate and undergraduate students with grading, homework, quizzes, projects, and exams on computer organization, architecture, memory hierarchy, assembly language, and MIPS ISA.
Research Projects
DRAM Reliability and Security Assessment
At The University of Alabama in Huntsville, my research focused on evaluating DRAM reliability and security, funded by the National Science Foundation (NSF). I developed a C++ testing framework for DDR3 DRAM on Xilinx ML605 FPGA to control and analyze retention errors under stress, yielding insights into aging vulnerabilities in memory modules. These findings were published in Applied Sciences, contributing to enhanced memory reliability.
Automatic Implementation of Secure Silicon (DARPA AISS Project)
As part of the DARPA AISS Project at the Florida Institute for Cybersecurity (FICS) Research, I developed scalable security solutions to enhance IP and SoC resilience against side-channel threats. Key contributions included a Python-based framework to assess power side-channel vulnerabilities at the RTL level and the development of security primitives for device lifecycle management, such as secure boot protocols and a silicon odometer for lifecycle tracking. This collaborative project with Synopsys has yielded published results in the Cryptology ePrint Archive, and presented in IEEE Xplore, and featured in Semiconductor Engineering.
CYAN Research Program
In the CYAN Research Program, I contributed to advancing pre-silicon side-channel security for cryptographic designs. I implemented an automated CAD toolflow to evaluate gate-level, physical-design-aware electromagnetic (EM) side-channel vulnerabilities, enabling rapid security sign-off at the pre-silicon stage. This toolflow was presented at the GOMACTech Workshop 2023. Currently, I am developing a Graph Neural Network (GNN)-based framework to model power and EM side-channel leakage, further strengthening cryptographic resilience against physical attacks by identifying potential vulnerabilities during early design stages.
PMU-Based Side-Channel Profiling of User Activity
In this ongoing project, I developed techniques using Performance Monitoring Units (PMUs) to detect CPU workload patterns, with an emphasis on cache side-channel profiling to expose speculative execution vulnerabilities. This approach sheds light on modern processor security challenges, underscoring the importance of PMU data in analyzing user activity patterns.
Secure Embedded Applications (Synopsys Inc.)
As a Graduate Technical Intern at Synopsys Inc., I worked on secure boot protocols and cryptographic applications for embedded systems, including TLS communication for data integrity. I integrated ASCON lightweight cryptography, enhancing cryptographic resilience against side-channel attacks, which further strengthened Synopsys’s security IP portfolio.
EM-Based Side-Channel Disassembler
Currently, in collaboration with Drs. Tehranipoor and Farahmandi, I am developing an EM-based disassembler to recover executed instructions from electromagnetic (EM) emissions. This disassembler supports firmware verification by analyzing EM signals for defense and critical infrastructure applications, helping to verify software integrity and detect anomalies in secure systems.
Publications
- MK Bepary, A Basu, S Mohammad, R Hassan, F Farahmandi, M Tehranipoor "SPY-PMU: Side-Channel Profiling of Your Performance Monitoring Unit to Leak Remote User Activity." Cryptology ePrint Archive (2025). link
- MK Bepary, T Zhang, F Farahmandi, M Tehranipoor. "PreSCAN: A Comprehensive Review of Pre-Silicon Physical Side-Channel Vulnerability Assessment Methodologies." Chips 3, no. 3 (2024). link
- T Rahman, MK Bepary, MSUl Haque, M Tehranipoor, F Rahman. "Design and Security-Mitigation of Custom and Configurable Hardware Cryptosystems," 2023 IEEE 16th Dallas Circuits and Systems Conference (DCAS), Denton, TX, USA, pp. 1-6. link
- MK Bepary, F Rahman, F Farahmandi, M Tehranipoor. "Security Assessment and Modeling of EM Side-channel Leakage at Gate-Level." Annual GOMACTech Workshop 2023, USA. link
- B Ahmed, MK Bepary, N Pundir, M Borza, et al. "Quantifiable Assurance: From IPs to Platforms." Cryptology ePrint Archive (2021). link
- MK Bepary, BMSB Talukder, MT Rahman. "DRAM Retention Behavior with Accelerated Aging in Commercial Chips." Applied Sciences 12, no. 9 (2022): 4332. link
- Contributed to writing a book chapter titled "CAD for Power Side-Channel Detection" in CAD for Hardware Security, edited by F Farahmandi et al., Springer, 2023. link
- Contributed to writing a book chapter titled "Counterfeit and Recycled IC Detection" in Hardware Security Primitives, edited by M Tehranipoor et al., Springer, 2022. link
Poster Presentations
- Presented a poster titled "Quantitative Assessment of Power Side-Channel Vulnerability at Pre-silicon Stages" at 2023 Florida Semiconductor Week, Gainesville, FL, January 2023. GitHub link
- Presented a poster titled "Electromagnetic Side-Channel Leakage Modeling and Security Assessment at Pre-Silicon Stages" at 2022 Trusted and Assurance Microelectronics (TAME) Forum, Columbus, OH, September 2022. GitHub link
Awards & Honors
- 1st Place in the 2022 IEEE HOST Microelectronics Security Challenge. GitHub link
- Awarded the 2022 IEEE HOST Travel Grant for participation and presentation at the IEEE Symposium on Hardware-Oriented Security and Trust.
- Undergraduate Dean’s List for academic excellence, 2015.
- Recipient of the Education Board Merit Scholarship for outstanding performance in Secondary and Higher Secondary examinations.
Resources
A collection of beginner-friendly and open-source resources for VLSI, hardware security, SoC design, RTL design, verification, and scripting.
- IVLSI - Tutorials and resources on VLSI concepts and design. https://ivlsi.com/
- VLSI Resources - Comprehensive VLSI resources for beginners and professionals. https://vlsiresources.com/
- ASIC World - Tutorials on digital design, Verilog, VHDL, and SystemVerilog. https://asic-world.com/
- Dr. Greg Stitt's Website - Educational resources on embedded systems and hardware design. http://www.gstitt.ece.ufl.edu/
- EDA Playground - Online platform for writing and simulating Verilog, VHDL, and SystemVerilog code. https://www.edaplayground.com/
- Verification Excellence - Tutorials and resources for verification and design. http://verificationexcellence.in/tutorials/
- Verification Guide - Tutorials on verification, SystemVerilog, and UVM. https://verificationguide.com/
- SystemVerilog Tutorial - SystemVerilog tutorials. https://verificationguide.com/systemverilog/systemverilog-tutorial/
- UVM Tutorial for Beginners by Asictronix - Beginner-friendly UVM tutorial. https://www.asictronix.com/uvm-tutorial-for-beginners-getting-started/
- Trust-Hub - Hardware security resources, benchmarks, and tutorials. https://trust-hub.org/
- CAD4Security - Hardware security resources, including benchmarks and tutorials. http://cad4security.org/
- CAD For Assurance - Hardware security resources, including benchmarks and tutorials. https://cadforassurance.org/
- OpenCores - Open-source IP cores and SoC design resources. https://opencores.org/
- Unix Shell Scripting Tutorial - Beginner-friendly guide on Unix shell scripting. https://www.tutorialspoint.com/unix/shell_scripting.htm
- Makefile Tutorial by TutorialsPoint - Introduction to Makefiles for build automation. https://www.tutorialspoint.com/makefile/index.htm
- CMake Tutorial - Beginner-friendly CMake guide. https://cmake.org/cmake/help/latest/guide/tutorial/index.html
- Tcl Tutorial by TutorialsPoint - Introductory guide to Tcl scripting. https://www.tutorialspoint.com/tcl-tk/index.htm