第一週
Introduction to Hardware Security
Introduction to Hardware Trojan
Vulnerabilities of Sequential Circuits
Intellectual Property Protection
第二週
Watermarking for Combinational Circuits
Watermarking for Sequential Circuits
Cryptography
RSA Algorithm
第三週
Security and Trust of the Global Electronics Supply Chain
Trusted IC/IP Design and Design for Security
第四週
SAT: Boolean Satisfiability - Fundamentals
SAT: Boolean Satisfiability - State of the Art
SAT: Boolean Satisfiability - Enhancements and Applications
SAT: Boolean Satisfiability - Quiz