A Formal Model of Cache Speculation Side-Channels
2020-10-14
I’m presenting
“A Formal Model of Cache Speculation Side-Channels”
at the
TLA+ Community Event 2020
.