Home » Services

Services

Editorial Activity

  • Associate Editor, IET Computers & Digital Techniques (2018 – present)
  • Editor, ACM Journal on Emerging Technologies in Computing Systems (JETC), Special issue (CAD for Hardware Security)

Tutorial

  • Hardware Security and Trust Verification, IEEE International Conference on Computer-Aided Design (ICCAD), New Jersey, October 2024.
  • Secure Heterogeneous Integration, IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2024
  • Secure Heterogeneous Integration, IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2023.
  • CAD for Hardware Security, IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2019, 2020, 2021, 2022
  • SoC Security Validation, International Test Conference (ITC), 2021, 2022.
  • CAD for Security, ACM/IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE), 2021

Keynotes, Presentations, Panels, and Invited Talks

Keynotes and Talks

  • Invited Talk, Hardware Security Grand Challenges, Florida Institute for Cybersecurity (FICS) Research, April 2025.
  • Conference Presentation, Physical Model-Assisted Secure Software Execution Against Fault-Injection Attacks, GomacTech, Pasadena, CA, March 2025
  • Conference Presentation, Enhancing Hardware Security: Detecting Vulnerabilities in HDL Codes Using Fine-Tuned Large Language Model, GomacTech, Pasadena, CA, March 2025.
  • Conference Presentation, ML-PREMISE: A Machine Learning-Driven Pre-Silicon Electromagnetic Fault Injection Security Evaluation for Robust IC Design, Gomathy, Pasadena, CA, March 2025.
  • Invited Talk, Enhancing Security Verification using LLMs, UK-US Semiconductor Innovation Workshop, Tucson, AZ, February 2025.
  • Invited Talk, AI-based Security Verification of SoCs, National Microelectronics Security Training (MEST) Center, February 2025.
  • Invited Talk, Security Verification from SoCs to SiPs, US-Japan Workshop on Hardware Security, Kyoto, Japan, December 2024.
  • Invited Talk, SHI: Secure Heterogeneous Integration for Future Circuits Industry, NSF Engine, Gainesville, November 2024.
  • Conference Presentation, SECT-HI: Enabling Secure Testing for Heterogeneous Integration to Prevent SiP Counterfeits, International Test Conference (ITC), San Diego, November 2024.
  • Conference Presentation, Continuity in Security: Leveraging LLM for Translating Security Properties Across Hardware Designs, IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2024), Tanger, Morocco, October 2024.
  • Invited Talk, An Evolutionary AI-based Fuzz Testing for Extensive SoC Security Verification, Semiconductor Research Corporation, Boston, September 2024.
  • Invited Talk, AutoMap: Automated Mapping of Security Properties, Semiconductor Research Corporation, Boston, September 2024.
  • Invited Talk, New frontiers in Security Verification: Fuzzing and Penetration Testing, Zero Trust Hardware Architectures Workshop (ZTHA), Halifax, Canada, September 2024.
  • Invited Talk, AI-based Test Generation, Intel, August 2024.
  • Conference Presentation, GATE-SiP: Enabling Authenticated Encryption Testing in Systems-in-Package, IEEE/ACM Design Automation Conference, San Francisco, July 2024.
  • Invited Talk, SVH: Security Verification of Heterogeneous Integrated Systems, Office of Naval Research, July 2024.
  • Keynote, New frontiers in Security Verification: Fuzzing and Penetration Testing, in Multicore and Multiprocessor SoCs (MPSoCs), Kanazawa, Japan, July 2024.
  • Conference Presentation, Towards Quantum-Resistant Security: Pre-Silicon Power Side-Channel Leakage Analysis of CRYSTALS-Kyber, IEEE Computer Society Annual Symposium on VLSI, Knoxville, July 2024.
  • Conference Presentation, HI-SST: Safeguarding SiP Authenticity through Secure Split-Test in Heterogeneous Integration, IEEE Computer Society Annual Symposium on VLSI, Knoxville, July 2024.
  • Invited Talk, Security Verification of SoCs: Challenges and Solutions, Cadence Innovation Conference (CIC), San Jose, June 2024.
  • Invited Talk, CAD for Security Verification: Challenges and Solutions, Nvidia, San Jose, June 2024.
  • Invited Talk, CAD for Security Verification: Challenges and Solutions, Synopsys inc, San Jose, June 2024.
  • Keynote, Unveiling Security Engine’s Time Machine: A Journey Through History and a Look into the Future, International Symposium on Secure and Private Execution Environment Design, Orlando, May 2024.
  • Invited Talk, System-level Security Assessment, STR, May 2024.
  • Invited Talk, LLM-based Hardware Security Verification and Side-channel Assessments, Apple, May 2024.
  • Invited Talk, Fuzzing and AI Based Security Tests, Apple, April 2024.
  • Conference Presentation, RL-TPG: Automated Pre-Silicon Security Verification through Reinforcement Learning-Based Test Pattern Generation, IEEE/ACM Design, Automation and Test in Europe Conference (DATE), Spain, March 2024.
  • Conference Presentation, LLM4Sec: Embracing Large Language Model for System-on-Chip Security, GoMacTech Conference, Charleston, March 2024.
  • Invited Talk, AI-based Security Verification of SoCs, ARM, March 2024.
  • Invited Talk,  Security Verification of SoCs: Challenges and Solutions, Apple, January 2024
  • Invited Talk,  Faculty Development Path, University of Florida, January 2024
  • Invited Talk,  The State of Security in Microelectronics, Seoul National University, January 2024
  • Conference Presentation, FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection,” in IEEE/ACM Asian and South Pacific Conference on Design Automation Conference (ASP-DAC), South Korea, January 2024
  • Invited Talk, Fuzz Testing for Hardware Security Verification, Apple, January 2024
  • Invited Talk, Security Verification and Validation: Challenges and Solutions, National Taiwan University, Taiwan, December 2023
  • Invited Talk, Navigating the Landscape of SoC Security Verification and Validation, National Chiao Tung University, Taiwan, December 2023
  • Invited Talk, Securing SoCs: Navigating the Challenges and Solutions of Security Verification and Validation, MediaTek, Taiwan, December 2023
  • Invited Talk,  Innovative Solutions for Hardware Security Validation, Lockheed Martin, November, 2023
  • Invited Talk, Functional versus Security Verification, Semiconductor Security Workshop for US-UK, Washington DC, November 2023
  • Invited Talk, CAD Solutions for Hardware Security Validation, Apple, September 2023 
  • Invited Talk, System-on-Chip Security Validation, Eta Kappa Nu – University of Florida Chapter of IEEE’s Honor Society, October 2023
  • Conference Presentation, QuardTropy: Detecting and Quantifying Unauthorized Information Leakage in Hardware Designs using g-entropy,” IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), France, October 2023.
  • Conference Presentation, EnSAFe: Enabling Sustainable SoC Security Auditing using eFPGA-based Accelerators, IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), France, October 2023.
  • Conference Presentation, Iterative Mitigation of Insecure Resource Sharing Produced by High-level Synthesis, IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), France, October 2023.
  • Conference Presentation, Security of Hardware Generators: Enabling Assurance in High-Level Synthesis, IEEE 66th International Midwest Symposium on Circuits and Systems (MWSCAS), Arizona, August 2023
  • Invited Talk CAD Solutions for System-on-Chip Security Validation, Florida Atlantic University, August 2023
  • Conference Presentation, ActiWate: Adaptive and Design-agnostic Active Watermarking for IP Ownership in Modern SoCs, IEEE/ACM Design Automation Conference, San Francisco, July 2023.
  • Invited Talk, CAD for SoC Security Verification: Challenges and Solutions, in Multicore and Multiprocessor SoCs (MPSoC), Fort Collins, June 2023.
  • Conference Presentation, Metrics-to-Methods: Decisive Reverse Engineering Metrics for Resilient Logic Locking, ACM Great Lakes Symposium on VLSI, (GLSVLSI), Knoxville, June 2023.
  • Invited Talk, Watermarking of AI Models, AI TREATS workshop in IEEE European Test Symposium (ETS), Venice, May 2023.
  • Invited Talk, SoC Security Verification: Challenges and Solutions, 41st VLSI Test Symposium (VTS), San Diego, April 2023.
  • Conference Presentation, CAPEC: A Cellular Automata Guided FSM-Based IP Authentication Scheme, IEEE/ACM Design, 41st VLSI Test Symposium (VTS), San Diego, April 2023.
  • Conference Presentation, HUnTer: Hardware Underneath Trigger for Exploiting SoC-level Vulnerabilities, IEEE/ACM Design, Automation and Test in Europe Conference (DATE), April 2023.
  • Conference Presentation, EvoLUTe: Evaluation of Look-Up-Table-based Fine-Grained IP, IEEE/ACM Design, Automation and Test in Europe Conference (DATE), April 2023.
  • Conference Presentation, RTLock: IP Protection using Scan-Aware Logic Locking at RTL, IEEE/ACM Design, Automation and Test in Europe Conference (DATE), April 2023.
  • Invited Talk, The Need for Computer-Aided Design for System-on-Chip Security Validation, North Carolina State University, March 2023.
  • Conference Presentation, Physically-aware laser Fault injection Assessment, Government Microcircuit Applications and Critical Technology Conference (GoMacTech), San Diego, March 2023.
  • Conference Presentation, SecHLS: Enabling Security Awareness in High-Level Synthesis, Asia and South Pacific Design Automation Conference (ASPDAC), Japan, January 2023.
  • Keynote, Secure Heterogeneous Integration: Challenges and Solutions, Zero Trust Hardware Architectures (ZTHA) workshop – IEEE International Conference on Computer-Aided Design (ICCAD), November 2022.
  • Invited Talk, AI-based Pre-silicon Power, and Electromagnetic Side-channel Assessment, Synopsys, November 2022.
  • Invited Talk, SoC Security Verification: Challenges and Solutions, IEEE Computer Society, August 2022.
  • Invited Talk, Security of Heterogeneous Integrated Systems, SRC Microelectronic and Advanced Packaging Technologies (MAPT) Roadmap Working Group, August 2022.
  • Conference Presentation, LDTFI: Layout-Aware Timing Fault-Injection Attack Assessment Against Differential Fault Analysis, IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Cyprus, June 2022.
  • Invited Talk, Hardware Intellectual Property Protection, Cisco Systems, October 2021.
  • Invited Talk, Vulnerability Assessments of ICs Against Fault-Injection Attacks, Interdisciplinary Microsystems Group (IMG), September 2021.
  • Invited Talk, Fault-injection Attack Assessment for SoC Designs, IEEE VLSI Test Symposium (VTS), April 2021.
  • Invited Talk, The Danger of Having Too Many Smart Devices, Tedx@ PHUHS, April 2021.
  • Invited Talk, Security Property-driven Fault Injection Assessment in Modern SoCs, Hardwear.io Webinar, February 2021.
  • Invited Talk, Secure High-Level Synthesis: Challenges and Solutions, IEEE International Symposium on Quality Electronic Design (ISQED), 2021.
  • Virtual Course, Intro to hardware security, National Microelectronic Security Training Center (MEST), August 2020.
  • Invited Talk, Secure High-level Synthesis for Hardware Obfuscation, IEEE European Test Symposium (ETS), May 2020.
  • Webinar, Why CAD/Automation Needed for HW security, National Microelectronic Security Training Center (MEST), February 2020.
  • Invited Talk, Security along SoC Design Lifecycle; Current Practices and Challenges Ahead, Qualcomm, June 2019.

Panels

  • Panelist, Security Issues in Heterogeneous Systems, NanoSec’23 workshop co-located with IEEE/ACM DATE, April 2023.
  • Panel Moderator, Secure Silicon Development Lifecycle: Challenges & Solutions, CAD for Security Workshop co-located with IEEE/ACM DAC, July 2022.
  • Panel Moderator, High-Level Synthesis: Facts, Myths and Fantasies, IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2020.
  • Panel Organizer and Presenter, AI-Enabled Security Validation and Test, IEEE VLSI Test Symposium (VTS), 2019
  • Panel Moderator, Cybersecurity Careers: Challenges, Prospects, and Recipes, Workshop for Women in Hardware and Systems Security (WISE), 2019

Organizing Committee

  • Program Committee Member, IEEE International Conference on Computer Design (ICCD), 2024
  • Program Committee Member, IEEE International Symposium on Hardware-oriented Security and Trust (HOST), 2024
  • Program Committee Member, International Test Conference (ITC), 2024
  • Program Committee Member, IEEE/ACM Design, Automation and Test in Europe Conference (DATE), 2024
  • Session Chair, Attacks and Defenses at Microarchitecture Level and Beyond, IEEE/ACM Design Automation Conference (DAC), San Francisco, June 2024.
  • Session Chair, Attacks and Defenses at Microarchitecture Level and Beyond, IEEE/ACM Design Automation Conference, San Francisco, June 2024.
  • Session Chair, Advanced Formal Methods and Verification, IEEE/ACM Design, Automation and Test in Europe Conference, Spain, March 2024.
  • Program Chair, IEEE International Symposium on Hardware-oriented Security and Trust (HOST), 2024.
  • Program Chair and Organizer, CAD4Sec Workshop, co-located with IEEE/ACM CAD conference, 2023.
  • Session Chair, Don’t Cross Me! Cross-layer System Security, ACM/IEEE DAC, July 2023.
  • Award Committee Member, ACM Great Lakes Symposium on VLSI (GLVLSI), June 2023
  • Session Chair, Machine Learning, and Reconfigurability: Towards Sustainable Security, ACM Great Lakes Symposium on VLSI (GLVLSI), June 2023.
  • Program Chair, IEEE International Symposium on Hardware Oriented Security and Trust (HOST), May 2023
  • Session Chair, Side-Channel Attacks and RISC-V Security, IEEE/ACM Asia and South Pacific Design Automation Conference, 2023
  • Program Chair and Organizer, CAD4Sec Workshop, co-located with IEEE/ACM CAD conference, 2022.
  • Vice-program Chair, IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2021 and 2022
  • Publicity Chair, IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), 2020
  • Publication Chair, IEEE Secure Development Conference (SecDev), 2019
  • Program Chair, Trusted and Assured MicroElectronics (TAME) Forum, 2019
  • Session Chair, FICS Annual Conference on Cyber-security (FICS), 2019
  • Award Committee Member, International Test Conference (ITC), 2019

Technical Program Committee

  • IEEE International Conference on Computer Design (ICCD), 2019, 2021, 2023, 2024
  • IEEE International Symposium on Hardware-oriented Security and Trust (HOST), 2022,2023,2024
  • IEEE/ACM Design Automation Conference (DAC), 2020, 2021, 2022
  • International Test Conference (ITC), 2019, 2020, 2021, 2022, 2023,2024
  • International Conference on VLSI Design (VLSID), 2019
  • International Conference on Embedded Systems, 2019
  • Top Picks in Hardware and Embedded Security, 2019

Reviewer

  • IEEE Transactions on Information Forensics & Security, 2023
  • IEEE Transactions on Emerging Topics in Computing, 2023
  • Journal of Cryptographic Engineering, 2022
  • IEEE Transactions on Very Large Scale Integration (TVLSI), 2016, 2018, 2019, 2020, 2021, 2022
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2020
  • IEEE Journal on Emerging and Selected Topics in Circuits and Systems, 2021
  • IEEE Transactions on Emerging Topics in Computing , 2020, 2021
  • IEEE Transactions on Computers, 2019, 2020
  • ACM/IEEE, Design Automation Conference, 2015, 2018, 2019
  • IEEE Consumer Electronics Magazine, 2019
  • Journal of Electronic Testing: Theory and Applications, 2019
  • Journal of Hardware and Systems Security, 2019
  • IEEE Asian Hardware-Oriented Security and Trust Symposium, 2019
  • International Conference On Computer Aided Design, 2018
  • IEEE International Symposium on Hardware-Oriented Security, 2018
  • International Conference on Hardware/Software Codesign and System Synthesis, 2015 and 2018
  • ACM Transactions on Design Automation of Electronic Systems, 2016 and 2017
  • IET Computers and Digital Techniques, 2015
  • ACM/IEEE Design Automation and Test in Europe, 2014

Leadership Experience

  • Associate Director, Florida Institute for Cybersecurity (FICS) Research, from 2022
  • Associate Director, Edaptive Computing Inc. (ECI) Transition Center (ECI-TC), from 2020

Departmental Appointments

  • Graduate Recruiting & Admissions Committee (GRAC), AY 20-21
  • Walden Rhines professorship on Fully Homomorphic Encryption (FHE) Search Committee Meeting
  • Florida Semiconductor Institute Faculty Search Committee, AY 22-23
  • Diversity, Equity and Inclusion Committee (IDEA), AY 22-23

Membership

  • Institute of Electrical and Electronics Engineers
  • Association for Computing Machinery