TagBleed: Breaking KASLR on the Isolated Kernel Address Space using Tagged TLBs. - Jakob Koschel; Cristiano Giuffrida; Herbert Bos; Kaveh Razavi (EuroS&P, 2020)

Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel. - Brian Johannesmeyer; Jakob Koschel; Kaveh Razavi; Herbert Bos; Cristiano Giuffrida (NDSS, 2022)

Uncontained: Uncovering Container Confusion in the Linux Kernel. - Jakob Koschel; Pietro Borrello; Daniele Cono D'Elia; Herbert Bos; Cristiano Giuffrida (USENIX Security Symposium, 2023)