Comment on SeL4 security proofs now complete on AArch64parentComments−CalChris18dSide channel timing attacks are micro architectural. The SeL4 security proofs are architectural.−warkdarrior18dIs cache hierarchy considered part of the microarchitecture?
Comments
Side channel timing attacks are micro architectural. The SeL4 security proofs are architectural.
Is cache hierarchy considered part of the microarchitecture?