SoC Security: Architecture, IP, or CAD?

Preview:

Citation preview

SoC Security: Architecture, IP, or CAD?

Professor Ryan KastnerDept. of Computer Science and Engineering

UC San Diegokastner@ucsd.edu

http://kastner.ucsd.edu

Position: Academe vs Govt vs Industry

Position: IP Security is (mostly) solved

Position: IP vs Architecture vs CAD

Pressing Need: Formal Threat Models

Wei Hu, Alric Althoff, Armaiti Ardeshiricham, and Ryan Kastner, “Towards Property Driven Hardware Security“, Microprocessor Test and Verification Conference, December 2016 (pdf)

Pressing Needs/Challenges: Security Debugging

1) Write HW, SW, FW/, …

2) Write Security Propertiesassert isolation(request[0],request[1])

assert …

3)

4) Fix security flaws

- Hardware Designers

- Security Experts

HardwareProblem!

Security Issue!!

Conclusion

Recommended