SoC Security: Architecture, IP, or CAD?

7
SoC Security: Architecture, IP, or CAD? Professor Ryan Kastner Dept. of Computer Science and Engineering UC San Diego [email protected] http://kastner.ucsd.edu

Transcript of SoC Security: Architecture, IP, or CAD?

Page 1: SoC Security: Architecture, IP, or CAD?

SoC Security: Architecture, IP, or CAD?

Professor Ryan KastnerDept. of Computer Science and Engineering

UC San [email protected]

http://kastner.ucsd.edu

Page 2: SoC Security: Architecture, IP, or CAD?

Position: Academe vs Govt vs Industry

Page 3: SoC Security: Architecture, IP, or CAD?

Position: IP Security is (mostly) solved

Page 4: SoC Security: Architecture, IP, or CAD?

Position: IP vs Architecture vs CAD

Page 5: SoC Security: Architecture, IP, or 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)

Page 6: SoC Security: Architecture, IP, or CAD?

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!!

Page 7: SoC Security: Architecture, IP, or CAD?

Conclusion