New Course "Hardware Trojan Detection and Prevention" will be Offered at UCONN by CHASE Faculty

New Course "Hardware Trojan Detection and Prevention" will be Offered at UCONN by CHASE Faculty,  Prof. Domenic Forte, Spring 2014

Course Description: Hardware Trojans are malicious modifications made to original IC designs that reduce system reliability and security (changes to functionality, leakage of private data, etc.). With the potential for ICs containing Trojans to end up in commercial or military systems, there has been substantial interest not only in academia, but also in governmental agencies and industry to detect and prevent Trojan insertion. ECE 6095 - 005 is a graduate-level advanced-topics course that intends to help students:

• Understand the challenges and impact of hardware Trojans.
• Familiarize themselves with existing state-of-the-art research in the area.
• Build a foundation of knowledge in overlapping areas such as signal processing, detection, and estimation theories.
• Evaluate existing methods, improve upon them, and develop new research techniques for hardware Trojan detection and prevention.
• Improve reading, writing, and presentation skills.

Topics to Be Covered:

• Basics of VLSI design, synthesis, fabrication, and test
• Introduction to hardware Trojans, Trojan taxonomy, and mitigation taxonomy including destructive, design-time, test-time, and run-time
• Systematic methods of Trojan insertion
• Post-silicon detection of Trojans
• Destructive: Reverse-engineering
• Nondestructive: Functional tests
• Nondestructive: Side-channel analysis
• Test-time vs. run-time
• Embedded sensors: timing, power, temperature
• Pre-silicon detection/prevention of Trojans
• Design-for-security (DFS) based methods for Trojan detection
• Formal verification and Proof Carrying Code (PCC)
• Signal Processing, Estimation, and Detection Theory
• Filtering-based estimation: Kalman filter, Extended Kalman filter, Particle filter
• Introduction to detection theory: Hypothesis Testing, Neyman Pearson Theorem, Minimum Probability of Error and Bayes Risk
• Potential applications in Trojan problem

____________________________________

publications of Mr Forte is attractive. check them.