Hardware Security

Hardware Security:

1) Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course)

2) Digital Systems: From Logic Gates to Processors (Coursera)

3) Digital Circuit Design an online short course by Eric Hehner

4) VLSI CAD part1 and part 2 (Coursera)

5) Hardware Security (NPTEL)

6) Automated Reasoning: satisfiability

7) Automated Reasoning: Symbolic Model Checking

8) Courses by Dr. Pallab Dasgupta

9) VLSI verification and Test

10) FORMAL SYSTEMS

11) Fundamentals of Numerical Methods for Uncertainty Quantification and the Analysis of Complex Systems