Services

Talks, Presentations, Tutorials, Trainings, Panels

1. [Invited Talk] @ University of Central Florida (UCF) ECE Department – November 2023.
   Title: Hardware Security Assurance: In-depth Verification, Monitoring, and Measurement

1. [Invited Talk] @ ECE University of Florida – December 2022
   Title: Advances in System Verification, Validation, and Assurance
2. [Invited Talk] @ NIST/AFRL/FICS Meeting – October 2022.
   Title: Automated and Scalable SoC Security Verification: Challenges and Opportunities
3. [Conference Presentation] @ Int’l Symp. on HW Oriented Security and Trust (HOST) – May 2022
   Title: Warm up before circuit de-obfuscation? An exploration through bounded-model-checkers
4. [Invited Talk] @ MEST Center Webinar – March 2022.
   Title: IP Protection through Logic Locking: What to Expect From the State-of-the-art Techniques

1. [Tutorial] @ CADforAssurance IEEE CEDA – March 2021
   Title: Satisfiability Modulo Theory (SMT) on Logic Locking: A Tutorial
2. [Invited Talk] @ CADforAssurance IEEE CEDA – March 2021
   Title: The Usage and Applicability of Satisfiability Modulo Theory (SMT) on Logic Locking
3. [Invited Talk] @ ECE George Mason University – February 2021

1. [Conference Presentation] @ International Conference on Computer-Aided Design (ICCAD)
   November 2020
   Title: NNgSAT: Neural network guided SAT attack on logic locked complex structures

1. [Conference Presentation] @ IACR Conf. on Crypto. HW and Embedded Sys (CHES) – August 2019
   Title: SMT attack: Next generation attack on obfuscated circuits outperforming the SAT attacks
2. [Conference Presentation] @ Research in Attacks, Intrusions and Defenses (RAID) Symp. – August 2019
   Title: {COMA}: Communication and Obfuscation Management Architecture
3. [Conference Presentation] @ ACM Great Lakes Symposium on VLSI (GLSVLSI) – May 2019
   Title: Threats on Logic Locking: A Decade Later

Technical Program Committee (TPC)

1. IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
2. Great Lakes Symposium on VLSI (GLSVLSI)
3. IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
4. IEEE Dallas Circuits and Systems conference (DCAS)

1. IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
2. Great Lakes Symposium on VLSI (GLSVLSI)
3. IEEE 66th International Midwest Symposium on Circuits and Systems (MWSCAS)

1. IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

1. Great Lakes Symposium on VLSI (GLSVLSI)

Conference Organizing Committee, Session Organizers

1. Publicity Chair – Symp. on Hardware Oriented Security and Trust (HOST)

1. Session Chair – Symp. on Hardware Oriented Security and Trust (HOST)
2. AV Chair – CAD for Security Workshop (CAD4Sec)

1. PhD Service Organization – IUCRC: Center for Hardware and Embedded System Security and Trust (CHEST)

Technical Journal/Conference Review/Referring

1. IEEE Transactions on VLSI Systems (TVLSI)
2. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
3. Design, Automation and Test in Europe Conference (DATE)

1. IEEE Transactions on VLSI Systems (TVLSI)
2. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
3. ACM Journal of Emerging Technologies in Computing Systems (ACM JETC)
4. MDPI Cryptography
5. Design Automation Conference (DAC)

1. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
2. IEEE Journal of Emerging and Selected Topics in Circuits and Systems (IEEE JETCAS)
3. IEEE Transactions on Computers (IEEE TC)
4. ACM Transactions on Design Automation of Electronic Systems (TODAES)
5. Design Automation Conference (DAC)

1. IEEE Transactions on Computers (IEEE TC)
2. Design, Automation and Test in Europe Conference (DATE)
3. IACR Conference on Cryptographic Hardware and Embedded Systems (CHES)

1. IEEE Transactions on VLSI Systems (TVLSI)
2. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
3. Design Automation Conference (DAC)
4. ACR Conference on Cryptographic Hardware and Embedded Systems (CHES)
5. IEEE Computer Society Annual International Symposium on VLSI (ISVLSI)
6. Great Lakes Symposium on VLSI (GLSVLSI)

1. IEEE Computer Society Annual International Symposium on VLSI (ISVLSI)
2. Great Lakes Symposium on VLSI (GLSVLSI)