Services

Services

INVITED TALKS AND PRESENTATIONS

  1. NIST/AFRL/FICS Meeting, Invited Presentation, Title: Automated and Scalable SoC Security Verification: Challenges and Opportunities, October 2022. 
  2. MEST Center Webinar, Invited Talk, Title: IP Protection through Logic Locking: What to Expect From the State-of-the-art Techniques, March 2022.
  3. IEEE CEDA, CADforAssurance, Invited Talk, Title: The Usage and Applicability of Satisfiability Modulo Theory (SMT) on Logic Locking, March 2021.
  4. ACM Great Lakes Symposium on VLSI (GLSVLSI), Invited PresentationTitle: Threats on Logic Locking: A Decade Later, May 2019.

TUTORIALS AND TRAINING SESSIONS

  1. IEEE CEDA Trainings, CADforAssurance, TutorialTitle: Satisfiability Modulo Theory (SMT) on Logic Locking: A TutorialMarch 2021.

CAMPUS AND DEPARTMENTAL TALKS/PRESENTATIONS

  1. University of Florida ECE Seminar, Seminar, Title: Advances in System Verification, Validation, and Assurance, December 2022.
  2. George Mason University ECE Seminar, Seminar, Title: Security Evaluation of IP Protection via Logic Locking, February 2021.

PROGRAM & ORGANIZING COMMITTEE

  1. IEEE International Symposium on Hardware Oriented Security and Trust (HOST), Publicity Chair, 2024.
  2. IEEE 66th International Midwest Symposium on Circuits and Systems (MWSCAS), Technical Program Committee, 2023.
  3. 2022 CAD for Security Workshop (CAD4Sec), Hardware Demo Chair, 2023.
  4. ACM Great Lakes Symposium on VLSI (GLSVLSI), Technical Program Committee, 2023.
  5. IEEE International Symposium on Hardware Oriented Security and Trust (HOST), Technical Program Committee, 2023.
  6. 2022 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), Session Chair, 2022.
  7. 2022 CAD for Security Workshop (CAD4Sec), AV Chair, 2022.
  8. 2019 IUCRC: Center for Hardware and Embedded System Security and Trust (CHEST), PhD Service Organization, 2019.

TECHNICAL JOURNAL/CONFERECE REVIEW/REFERRING

  1. Conference on Cryptographic Hardware and Embedded Systems (CHES), 2020, 2021.
  2. Design, Automation and Test in Europe Conference (DATE), 2021, 2024.
  3. ACM/IEEE Design Automation Conference (DAC), 2019, 2020, 2022.
  4. IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2022, 2023, 2024.
  5. Great Lakes Symposium on VLSI (GLSVLSI), 2019, 2020, 2023.
  6. IEEE Computer Society Annual International Symposium on VLSI (ISVLSI), 2019, 2020.
  7. EEE 66th International Midwest Symposium on Circuits and Systems (MWSCAS), 2023.
  8. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD), 2022, 2023.
  9. IEEE Trans. on Very Large Scale Integration (IEEE TVLSI), 2020, 2021, 2022, 2023.
  10. IEEE Trans. on Computers (IEEE TC), 2021.
  11. IEEE Journal of Emerging and Selected Topics in Circuits and Systems (IEEE JETCAS), 2022.
  12. ACM Journal of Emerging Technologies in Computing Systems (ACM JETC), 2023.