{"id":102,"date":"2023-11-06T00:02:17","date_gmt":"2023-11-06T05:02:17","guid":{"rendered":"https:\/\/www.ece.ucf.edu\/~kamali\/?page_id=102"},"modified":"2025-09-28T08:41:54","modified_gmt":"2025-09-28T12:41:54","slug":"services","status":"publish","type":"page","link":"https:\/\/www.ece.ucf.edu\/~kamali\/services\/","title":{"rendered":"Services & Activities"},"content":{"rendered":"\n

Invited Talks<\/h2>\n\n\n\n
\n
\n

2025<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Invited Talk<\/strong>
Title:<\/strong> Can a Language Model Be Your Hardware Security \u000bCo-Designer and Verifier?
@<\/strong> Micro-Electronics Security Training (MEST) Center Webinar, Virtual (Zoom), September 2025.<\/p>\n<\/div>\n<\/div>\n\n\n\n

\n
\n

2024<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Invited Talk<\/strong>
Title:<\/strong> Evolutionary Large Language Models for Hardware Security: The Challenging Obstacles
@<\/strong> Temple University, College of Engineering Seminar Series, Virtual (Zoom), Oct 2024<\/p>\n\n\n\n

\n\n\n\n

Invited Talk | Special Session<\/strong>
Title:<\/strong> From Full-Custom to Gate-Array ASIC for Hardware IP Protection
@<\/strong> IEEE Dallas Circuits and Systems Conference (IEEE DCAS), Virtual (Zoom), April 2024<\/p>\n<\/div>\n<\/div>\n\n\n\n

\n
\n

2023<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Invited Talk | Special Session<\/strong>
Title:<\/strong> Metrics-to-methods: Decisive reverse engineering metrics for resilient logic locking
@<\/strong> ACM Great Lakes Symposium on VLSI (GLSVLSI), Knoxville, TN, June 2023.<\/p>\n<\/div>\n<\/div>\n\n\n\n

\n
\n

2022<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Invited Talk <\/strong>
Title:<\/strong> Security of Hardware Generators: Secure from Construction
@<\/strong> CAD4Sec Workshop 2022 co-located with Design Automation Conference, San Francisco, CA, July 2022.<\/p>\n\n\n\n

\n\n\n\n

Invited Talk <\/strong>
Title:<\/strong> IP Protection through Logic Locking: What to Expect From the State-of-the-art Techniques
@<\/strong> Micro-Electronics Security Training (MEST) Center Webinar, Virtual (Zoom), March 2022.<\/p>\n<\/div>\n<\/div>\n\n\n\n

\n
\n

2021<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Invited Talk <\/strong>
Title:<\/strong> The Usage and Applicability of Satisfiability Modulo Theory (SMT) on Logic Locking
@<\/strong> IEEE CEDA – CADforAssurance, Virtual (Zoom), March 2021.<\/p>\n<\/div>\n<\/div>\n\n\n\n

\n
\n

2019<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Invited Talk | Special Session<\/strong>
Title:<\/strong> Threats on Logic Locking: A Decade Later
@<\/strong> ACM Great Lakes Symposium on VLSI (GLSVLSI), Tysons Corner, VA, May 2019.<\/p>\n<\/div>\n<\/div>\n\n\n\n

Tutorials and Training Sessions<\/h2>\n\n\n\n
\n
\n

2021<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Tutorial<\/strong>
Title:<\/strong> SMT attack: How Satisfiability Module Theories Enhance De-Obfuscation Capability?
@<\/strong> IEEE CEDA – CADforAssurance, Virtual (Zoom), May 2021.<\/p>\n<\/div>\n<\/div>\n\n\n\n

Campus and Departmental Talks<\/h2>\n\n\n\n
\n
\n

2024<\/strong><\/p>\n<\/div>\n\n\n\n

\n

CECS College Seminar<\/strong>
Title:<\/strong> Automation in Hardware Security: From Design to Verification and Testing
@<\/strong> University of Central Florida, College of Engineering and Computer Science (CECS) Virtual Series (Zoom), February 2024.<\/p>\n<\/div>\n<\/div>\n\n\n\n

\n
\n

2023<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Invited Talk<\/strong>
Title:<\/strong> Microelectronics Supply Chain Security: Building Secure Hardware by Construction
@<\/strong> University of Central Florida, ECE Department, Orlando, FL, April 2023.<\/p>\n<\/div>\n<\/div>\n\n\n\n

\n
\n

2022<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Invited Talk<\/strong>
Title:<\/strong> Hardware Security from High-Level Abstraction Level
@<\/strong> University of Florida, ECE Seminar Series, Gainesville, FL, November 2022.<\/p>\n<\/div>\n<\/div>\n\n\n\n

\n
\n

2021<\/strong><\/p>\n<\/div>\n\n\n\n

\n

ECE Seminar<\/strong>
Title:<\/strong> Evolution of Logic Locking: Moving Towards Next Generation Logic Locking Countermeasures
@<\/strong> George Mason University, ECE Seminar Series, Fairfax, VA, April 2021.<\/p>\n<\/div>\n<\/div>\n\n\n\n

Panel and Roundtable Discussions<\/h2>\n\n\n\n
\n
\n

2022<\/strong><\/p>\n<\/div>\n\n\n\n

\n

Panel Presenter<\/strong>
Title:<\/strong> Hardware Security from High-Level Abstraction Level
@<\/strong> NIST-AFRL Meeting, Virtual (Zoom).<\/p>\n<\/div>\n<\/div>\n\n\n\n

Organizing and Technical Committee<\/h2>\n\n\n\n
\n
\n

2026<\/strong><\/p>\n<\/div>\n\n\n\n

\n
    \n
  • TPC Member<\/strong>, IEEE Int\u2019l Symp. on Hardware Oriented Security and Trust (HOST)<\/li>\n\n\n\n
  • Hardware Demo Chair,<\/strong> IEEE Int\u2019l Symp. on Hardware Oriented Security and Trust (HOST)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
    \n
    \n

    2025<\/strong><\/p>\n<\/div>\n\n\n\n

    \n
      \n
    • TPC Member<\/strong>, Design Automation and Test in Europe (DATE) Conference<\/li>\n\n\n\n
    • TPC Member<\/strong>, IEEE International Conference on Computer Design (ICCD)<\/li>\n\n\n\n
    • TPC Member<\/strong>, IEEE Int\u2019l Symp. on Hardware Oriented Security and Trust (HOST)<\/li>\n\n\n\n
    • TPC Member<\/strong>, Int’l Workshop on Secure HW, Architectures, and SW (SeHAS)<\/li>\n\n\n\n
    • Hardware Demo Chair,<\/strong> IEEE Int\u2019l Symp. on Hardware Oriented Security and Trust (HOST)<\/li>\n\n\n\n
    • Session Chair<\/strong>, IEEE VLSI Test Symposium (VTS)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
      \n
      \n

      2024<\/strong><\/p>\n<\/div>\n\n\n\n

      \n
        \n
      • TPC Member<\/strong>, Design Automation and Test in Europe (DATE) Conference<\/li>\n\n\n\n
      • TPC Member<\/strong>, IEEE Int\u2019l Symp. on Hardware Oriented Security and Trust (HOST)<\/li>\n\n\n\n
      • TPC Member<\/strong>, IEEE International Conference on Computer Design (ICCD)<\/li>\n\n\n\n
      • TPC Member<\/strong>, ACM Great Lakes Symposium on VLSI (GLSVLSI)<\/li>\n\n\n\n
      • TPC Member<\/strong>, IEEE Computer Society Annual Symposium on VLSI (ISVLSI)<\/li>\n\n\n\n
      • Session Chair<\/strong>, IEEE Int’l Conference on Physical Assurance and Inspection of Electronics (PAINE)<\/li>\n\n\n\n
      • Session Chair<\/strong>, ACM Great Lakes Symposium on VLSI (GLSVLSI)<\/li>\n\n\n\n
      • Session Chair<\/strong>, IEEE Computer Society Annual Symposium on VLSI (ISVLSI)<\/li>\n\n\n\n
      • Hardware Competition Chair,<\/strong> IEEE Int\u2019l Symp. on Hardware Oriented Security and Trust (HOST)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
        \n
        \n

        2023<\/strong><\/p>\n<\/div>\n\n\n\n

        \n
          \n
        • TPC Member<\/strong>, ACM Great Lakes Symposium on VLSI (GLSVLSI)<\/li>\n\n\n\n
        • Publicity Chair<\/strong>, CAD4Sec Workshop, Co-located with Design Automation Conference (DAC)<\/li>\n\n\n\n
        • TPC Member<\/strong>, IEEE Int\u2019l Symp. on Hardware Oriented Security and Trust (HOST)<\/li>\n\n\n\n
        • Publicity Chair<\/strong>, IEEE Int\u2019l Symp. on Hardware Oriented Security and Trust (HOST)<\/li>\n\n\n\n
        • TPC Member<\/strong>, IEEE Midwest Symposium on Circuits and Systems (MWSCAS), 2023<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
          \n
          \n

          2022<\/strong><\/p>\n<\/div>\n\n\n\n

          \n
            \n
          • Session Chair<\/strong>, IEEE Int\u2019l Symp. on Hardware Oriented Security and Trust (HOST)<\/li>\n\n\n\n
          • Publicity Chair<\/strong>, CAD4Sec Workshop, Co-located with Design Automation Conference (DAC)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
            \n
            \n

            2018<\/strong><\/p>\n<\/div>\n\n\n\n

            \n
              \n
            • Student Organizing Team<\/strong>, Center for Hardware and Embedded System Security and Trust (CHEST)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
              \n
              \n

              2015<\/strong><\/p>\n<\/div>\n\n\n\n

              \n
                \n
              • AV Chair<\/strong>, Computer Architecture & Digital Systems Conference (CADS)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n

                Journal Papers Review<\/h2>\n\n\n\n
                \n
                \n

                2025<\/strong><\/p>\n<\/div>\n\n\n\n

                \n
                  \n
                • IEEE Transactions on Reliability (IEEE TR)<\/li>\n\n\n\n
                • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD)<\/li>\n\n\n\n
                • IEEE Transactions on Information Forensics and Security (IEEE TIFS)<\/li>\n\n\n\n
                • ACM Transactions on Design Automation of Electronic Systems (ACM TODAES)<\/li>\n\n\n\n
                • Springer Journal of Electronic Testing<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                  \n
                  \n

                  2024<\/strong><\/p>\n<\/div>\n\n\n\n

                  \n
                    \n
                  • IEEE Transactions on Very Large Scale Integration (IEEE TVLSI)<\/li>\n\n\n\n
                  • Springer Journal of Electronic Testing<\/li>\n\n\n\n
                  • MDPI Electronics<\/li>\n\n\n\n
                  • MDPI Cryptography<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                    \n
                    \n

                    2023<\/strong><\/p>\n<\/div>\n\n\n\n

                    \n
                      \n
                    • Elsevier Microprocessors and Microsystems (Elsevier MICPRO)<\/li>\n\n\n\n
                    • Springer Journal of Electronic Testing<\/li>\n\n\n\n
                    • IEEE Transactions on Information Forensics and Security (IEEE TIFS)<\/li>\n\n\n\n
                    • IEEE Transactions on Very Large Scale Integration (IEEE TVLSI)<\/li>\n\n\n\n
                    • ACM Journal on Emerging Technologies in Computing Systems (ACM JETC)<\/li>\n\n\n\n
                    • IEEE Embedded System Letter (IEEE ESL)<\/li>\n\n\n\n
                    • MDPI Sensors<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                      \n
                      \n

                      2022<\/strong><\/p>\n<\/div>\n\n\n\n

                      \n
                        \n
                      • Springer Journal of Electronic Testing<\/li>\n\n\n\n
                      • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD)<\/li>\n\n\n\n
                      • IEEE Transactions on Very Large Scale Integration (IEEE TVLSI)<\/li>\n\n\n\n
                      • ACM Journal on Emerging Technologies in Computing Systems (ACM JETC)<\/li>\n\n\n\n
                      • IEEE Transactions on Emerging Topics in Computing (IEEE TETC)<\/li>\n\n\n\n
                      • MDPI Cryptography<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                        \n
                        \n

                        2021<\/strong><\/p>\n<\/div>\n\n\n\n

                        \n
                          \n
                        • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD)<\/li>\n\n\n\n
                        • IEEE Transactions on Very Large Scale Integration (IEEE TVLSI)<\/li>\n\n\n\n
                        • ACM Transactions on Design Automation of Electronic Systems (ACM TODAES)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                          \n
                          \n

                          2020<\/strong><\/p>\n<\/div>\n\n\n\n

                          \n
                            \n
                          • IEEE Transactions on Very Large Scale Integration (IEEE TVLSI)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                            \n
                            \n

                            2019<\/strong><\/p>\n<\/div>\n\n\n\n

                            \n
                              \n
                            • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                              \n
                              \n

                              2018<\/strong><\/p>\n<\/div>\n\n\n\n

                              \n
                                \n
                              • IEEE Transactions on Very Large Scale Integration (IEEE TVLSI)<\/li>\n\n\n\n
                              • IEEE Transactions on Computers (IEEE TC)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n

                                Other Conference Papers Reviews<\/h2>\n\n\n\n
                                \n
                                \n

                                2024<\/strong><\/p>\n<\/div>\n\n\n\n

                                \n
                                  \n
                                • IEEE VLSI Test Symposium (VTS)<\/li>\n\n\n\n
                                • IEEE Computer Society Annual Symposium on VLSI (ISVLSI)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                                  \n
                                  \n

                                  2023<\/strong><\/p>\n<\/div>\n\n\n\n

                                  \n
                                    \n
                                  • IEEE International Symposium on Hardware Oriented Security and Trust (HOST)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                                    \n
                                    \n

                                    2022<\/strong><\/p>\n<\/div>\n\n\n\n

                                    \n
                                      \n
                                    • ACM\/IEEE Design Automation Conference (DAC)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                                      \n
                                      \n

                                      2021<\/strong><\/p>\n<\/div>\n\n\n\n

                                      \n
                                        \n
                                      • ACM\/IEEE Design Automation Conference (DAC)<\/li>\n\n\n\n
                                      • IEEE Computer Society Annual Symposium on VLSI (ISVLSI)<\/li>\n\n\n\n
                                      • ACM Great Lake Symposioum on VLSI (GLSVLSI)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                                        \n
                                        \n

                                        2020<\/strong><\/p>\n<\/div>\n\n\n\n

                                        \n
                                          \n
                                        • ACM\/IEEE Design Automation Conference (DAC)<\/li>\n\n\n\n
                                        • ACM Great Lake Symposioum on VLSI (GLSVLSI)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                                          \n
                                          \n

                                          2019<\/strong><\/p>\n<\/div>\n\n\n\n

                                          \n
                                            \n
                                          • IEEE Computer Society Annual Symposium on VLSI (ISVLSI)<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n

                                            University\/College\/Department Services<\/h2>\n\n\n\n
                                            \n
                                            \n

                                            2026<\/strong><\/p>\n<\/div>\n\n\n\n

                                            \n
                                              \n
                                            • Florida Cluster Initiatives (FCI) Faculty Fellow, Student and Postdoc Engagement<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n
                                              \n
                                              \n

                                              2025<\/strong><\/p>\n<\/div>\n\n\n\n

                                              \n
                                                \n
                                              • Florida Cluster Initiatives (FCI) Faculty Fellow, Student and Postdoc Engagement<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n

                                                <\/p>\n","protected":false},"excerpt":{"rendered":"Invited Talks 2025 Invited TalkTitle: Can a Language Model Be Your Hardware Security \u000bCo-Designer and Verifier?@ Micro-Electronics Security Training (MEST) Center Webinar, Virtual (Zoom), September 2025. 2024 Invited TalkTitle: Evolutionary Large Language Models for Hardware Security: The Challenging Obstacles@ Temple University, College of Engineering Seminar Series, Virtual (Zoom), Oct 2024 Invited Talk | Special SessionTitle:…","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-102","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.ece.ucf.edu\/~kamali\/wp-json\/wp\/v2\/pages\/102","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ece.ucf.edu\/~kamali\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ece.ucf.edu\/~kamali\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ece.ucf.edu\/~kamali\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ece.ucf.edu\/~kamali\/wp-json\/wp\/v2\/comments?post=102"}],"version-history":[{"count":30,"href":"https:\/\/www.ece.ucf.edu\/~kamali\/wp-json\/wp\/v2\/pages\/102\/revisions"}],"predecessor-version":[{"id":999,"href":"https:\/\/www.ece.ucf.edu\/~kamali\/wp-json\/wp\/v2\/pages\/102\/revisions\/999"}],"wp:attachment":[{"href":"https:\/\/www.ece.ucf.edu\/~kamali\/wp-json\/wp\/v2\/media?parent=102"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}