Professional Acitivities

Panelist

· Panelist of NSF SaTC Program, 2022

Conference Session Chair

• The 60th Design Automation Conference (DAC) July 9-13, San Francisco, US, 2023

• IEEE International Symposium on Hardware May 1-4, San Jose, US, 2023 Oriented Security and Trust (HOST) 

• 27th Asia and South Pacific Design Automation Conference ASP-DAC 2022 Jan. 17-20, Virtual, 2022

• Verified and Efficient Embedded Security Session, International Conference on 2019 Computer-Aided Design (ICCAD)

Jury

• HOST 2023 Ph.D. Dissertations May 3, San Jose, US, 2023

• HOST 2023 Hardware Demonstration Competition May 3, San Jose, US, 2023

• Attacks on Hardware Logic Locking & Obfuscation Capture The Flag 2021 (HeLLO: CTF’21) 2021

• Student Research Competition at ICCAD (SRC@ICCAD) 2020 

TPC Members

• IEEE International Symposium on Hardware May 1-4, San Jose, US, 2023 Oriented Security and Trust (HOST)

• IEEE Secure Development Conference (SecDev) 2022, October 18-20, 2022, Atlanta, GA

• The 58th Design Automation Conference December 5-9, San Francisco, US, 2022 (DAC) ACM SIGDA PhD Forum

• 27th Asia and South Pacific Design Jan. 17-20, Virtual, 2022 Automation Conference ASP-DAC 2022

• The 58th Design Automation Conference (DAC) ACM SIGDA December 5-9, San Francisco, US, 2021 PhD Forum

• The 38th IEEE International Conference on Computer Design (ICCD) October 18 - 21, 2020

• IEEE International Symposium on Hardware Oriented Security and Trust (HOST) May 4-7, 2020

• 8th International Conference of Identification, Information and Knowledge 2019 in the Internet of Things

• The 17th IEEE International Conference on Dependable, Autonomic 2019 and Secure Computing (DASC)

• The IEEE International Conference on Consumer Electronics (ICCE) 2019

• The 16th IEEE International Conference on Dependable, Autonomic 2018 and Secure Computing (DASC)

• The IEEE International Conference on Consumer Electronics (ICCE) 2018

Reviewers

• 2019 IEEE International Symposium on Circuits and Systems (ISCAS), Sapporo, Japan

• The 2nd Int’l Test Conference in Asia, Harbin, China Information Sciences (Journal)

• Transactions on Internet and Information Systems

• Wireless Communications and Mobile Computing (Journal)

• Integration, the VLSI Journal

• IEEE Transactions on Multi-Scale Computing Systems (TMSCS)

• IEEE Internet of Things Journal

• IET Computers and Digital Techniques

• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)

• IEEE Access

• Transactions on Emerging Topics in Computing (TETC) 

Oral Presentation

· “Hardware and Software Co-Verification from Security Perspective,” in 20th International Work-

shop on Microprocessor and SOC Test and Verification (MTV), Texas, USA, December 2019

· “QIF-Verilog: A Security Hardware Description Language,” in IEEE International Symposium on

Hardware Oriented Security and Trust (HOST), Washington DC, USA, May, 2019

· “PCH Framework for IP Runtime Security Verification,” in IEEE Asian Hardware Oriented Se-

curity and Trust Symposium (AsianHOST), Beijing, China, October 2017

Poster Presentation

· “Feature Adversarial Attacks against Deep Learning Application”, International Conference on

Neuromorphic Systems (ICONS), Tennessee, July, 2018

· “Pre- and Post-Silicon Security Verification: From Proof-Carrying Hardware Perspective,” in

Design Automation Conference, CA, USA, 2018

· “R2D2: Runtime Reassurance and Detection of A2 Trojan” in IEEE International Symposium on

Hardware Oriented Security and Trust, Washington DC, USA, 2018

· “Highly-Secure Hardware Description Languages for RTL Trustworthiness Assessment”, in FICS

Annual Conference on Cybersecurity, Gainesville, FL, USA, 2018

· “Golden Chip Free Electromagnetic Simulation and Statistical Analysis for Hardware Security”,

in FICS Annual Conference on Cybersecurity, Gainesville, FL, USA, 2018

· “Scalable SoC Trust Verification using Integrated Theorem Proving and Model Checking”, in IEEE

International Symposium on Hardware Oriented Security and Trust, Washington DC, USA, 2016

Demo Presentation

· “Hardware Demo: Analog Trojan Design, Fabrication, and Detection,” in IEEE International

Symposium on Hardware Oriented Security and Trust, Washington DC, USA, 2018

· “Hardware Trojan Detection through Electromagnetic Side-Channel Statistical Analysis: A Gold

Chip Free Approach,” in IEEE International Symposium on Hardware Oriented Security and

Trust, Washington DC, USA, 2017

· “How to Design Robust RTL Hardware Trojan to Survive through the Synthesis Process,” in

Hack@DAC, Design Automation Conference, TX, USA, 2017

Talks

· “Proof-Carrying Hardware for Intellectual Property Protection,” in Oregon Programming Lan-

guages Summer School, Oregon, USA, June 2016