Re: [seL4] x86 kernel address space side channels

[Alex Elsayed]

It seems the snazzy site with a snazzy name and snazzy papers has landed:

https://spectreattack.com/


_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel