1.21

1.22

CoqPL

PriSC

BPF and MDS

trace point autometa

Detection for kernel, maybe useful for metigation of the MDS.

MDS part

spectre

Cats and Rice game

Too strong to reduce the time difference of ARRAY_MAX and non ARRAY_MAX case

another case

spectre v2

spectre v4

FaCT

Towards Understanding Spectre-PHT in Memory Safe Language

SEEC