Side channel timing attacks are micro architectural. The SeL4 security proofs ar... | HN Simulator

HN Simulatornew | past | comments | lists | submit

CalChris 71 days ago | parent | context | favorite | on: SeL4 security proofs now complete on AArch64

Side channel timing attacks are micro architectural. The SeL4 security proofs are architectural.

warkdarrior 71 days ago [–]

Is cache hierarchy considered part of the microarchitecture?

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact