Professional Acitivities

Conference Session Chair

· 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

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

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

Panelist

· Panelist of NSF SaTC Program, 2022

TPC Members

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

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

PhD Forum

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

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

· 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)

Tutorials

· Teaching Assistant

Tutorial 7: Security of Internet of Things (IoT) and Cyber-Physical Systems (CPS): A Hands on

Approach, 55th IEEE Design Automation Conference (DAC), CA, USA, June 2018

· Graduate Assistant

Embedded Systems Track, RET Site: Collaborative Multidisciplinary Engineering Design Experiences for Teachers (CoMET), University of Central Florida, June 19 – June 27, 2017

Member

· Warren B. Nelms Institute for the Connected World (2017 - Present)

· Florida Institute for Cyber Security (FICS) at the University of Florida (2017 - Present)

· China Masters Recruiting Chair in College of Engineering MS Recruitment Team at the UF (2018- Present)

· IEEE Student Member (2013 - Present)

· Chair of IET BUPT Young Member Section (2008 - 2010)

Volunteer

· Student Volunteer in IEEE International Symposium on Hardware Oriented Security and Trust (HOST), Washington DC, USA, 2016

ECE 890 Hardware Security Spring 2022

1 semesters in Kansas State University

· This course focuses on practical learning of computer hardware security using a hands-on approach.

ECE 649 Computer Design Spring 2022

1 semesters in Kansas State University

· Concepts of computer design. Information representation, instruction sets and addressing modes.

Arithmetic and logic unit design for fixed and floating point operations. Hardwired and micropro-

grammed control design. Concepts of pipelining, CICS and RISC architecture. Memory system

design.

ECE 431 Microcontrollers Spring 2020, Fall 2020, Spring 2021, Fall 2021

4 semesters in Kansas State University

· Microcontroller architecture, assembly language programming and C- language programming, se-

rial and parallel input/output application, timer operation, interrupt processing, component in-

terfacing, programming techniques. Two hours of lecture and three hours of laboratory per week.

Digital Systems Fall 2013, Fall 2014, 2015, Fall 2016, Spring 2017

6 semesters in UCF

· Instructed the lab which consisted of more than 70 undergraduates. Digital System Lab introduced

the modeling, simulation and implementation of digital circuits using Xilinx’s FPGA ISE design

tools.

Principles of Electrical Engineering Spring 2017

1 semester in UCF

· Assisted the lecturer to teach the course, such as grading, proctoring, etc. The goal of this course

was to introduce fundamental laws of electrical circuits and basic DC & AC circuit analysis.

Engineering Analysis and Computation Fall 2014, Spring 2015, Fall 2016

3 semesters in UCF

· Assisted the lecturer to teach the course, such as grading, proctoring, etc. This course covers basic

and intermediate topics in C programming, and then instructs students to program a microcon-

troller of MSP430 in the C language.

Embedded Systems

2 semesters in UCF Fall 2015, Spring 2016

· Instructed the lab which consisted of more than 70 undergraduates. The goal of this lab was to

introduce the Code Composer Studio tool set that was used to write the C and assembly language

programs for the MSP430.

Computer Architecture Fall 2015, Spring 2016

2 semesters in UCF

· Assisted the lecturer to teach the course, such as grading, proctoring, etc. This course explored

intermediate topics in computer architecture.

Multimedia and Computer Application Fundamental Spring 2012

1 semester in BUPT

· TA for 96 sophomore students in multimedia signal processing, communication, and application.

Probability and Statistics Spring 2012

1 semester in BUPT

· TA for 196 students who were in their first year of their graduate study in stochastic process.

Digital Signal Processing Fall 2011

1 semester in BUPT

· TA for 104 junior students in signal processing methods.

Graduation Projects Spring 2011

1 semester in BUPT

· Instructed 7 undergraduates on their graduation projects, 3 of them won the Excellent Graduation

Project Prize in BUPT.

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