Welcome to Xiaolong Guo's Hardware Security Lab at Kansas State University!
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