Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) | Paper Citation Record

Observation 788306f6-59ca-48e9-a556-a2a504d4412b · outbound

This paper cites On layout randomization for arrays and functions.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) On layout randomization for arrays and functions

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.278601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e470bcff-8c63-4168-b90d-7a4257db04e2 · outbound

This paper cites an unresolved cited work.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.284024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa708290-9884-4ca7-a9b2-1c5e588d8aa2 · outbound

This paper cites Control-flow integrity.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Control-flow integrity

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.289191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bb06b8b-a586-4a63-8136-6a97dd814048 · outbound

This paper cites Plotkin.Layout Randomization and Nondetermin- ism, pages 1–39.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Plotkin.Layout Randomization and Nondetermin- ism, pages 1–39

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.294079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5224a08c-7466-4cc9-8ed9-76b26b40de65 · outbound

This paper cites Technical guidance for mitigating branch type confusion.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Technical guidance for mitigating branch type confusion

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.298787Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c179937b-7f77-45bf-a3ef-0b20e72b4673 · outbound

This paper cites Enforcing fine-grained constant-time policies.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Enforcing fine-grained constant-time policies

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.303627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b21d262b-d40c-4643-baa1-6bb64da93420 · outbound

This paper cites The meaning of memory safety.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) The meaning of memory safety

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.308613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c3e7139-fa79-4c68-a7a0-c4057e06b779 · outbound

This paper cites Branch history injection: On the effectiveness of hardware mitigations against Cross-Privilege spectre-v2 attacks.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Branch history injection: On the effectiveness of hardware mitigations against Cross-Privilege spectre-v2 attacks

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.312960Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b61c32b-10fd-4a65-a0da-6ab74805371b · outbound

This paper cites System-level non-interference for constant-time cryptography.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) System-level non-interference for constant-time cryptography

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.317191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71417313-e945-4b29-b130-ae6944e53950 · outbound

This paper cites High-assurance cryptography in the spectre era.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) High-assurance cryptography in the spectre era

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.321405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91803c97-2e91-462a-bb40-e9d9d6f30eea · outbound

This paper cites Frans Kaashoek.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Frans Kaashoek

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.325896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afc68604-8a47-4e30-9354-f1f7e76961ef · outbound

This paper cites Berger and Benjamin G.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Berger and Benjamin G

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.330171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5db390e-b48c-43c4-b819-4052c568d577 · outbound

This paper cites Understanding the Linux Kernel: from I/O ports to process management.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Understanding the Linux Kernel: from I/O ports to process management

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.334577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 664a3fe5-3320-4b72-9086-8ee259fc1ce2 · outbound

This paper cites Kaslr: Break it, fix it, repeat.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Kaslr: Break it, fix it, repeat

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.338968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f7545f6-dbac-4913-b1ca-430207495f38 · outbound

This paper cites Speculative load hardening, Sep 2018.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Speculative load hardening, Sep 2018

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.343114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c50b0234-f8e6-4092-808e-9ba584889dd2 · outbound

This paper cites Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.347587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ac78894-4b56-4800-bfd1-736bf39782fa · outbound

This paper cites A systematic study of elastic objects in kernel exploitation.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) A systematic study of elastic objects in kernel exploitation

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.352128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4180fb8c-5555-487a-8f7d-1518541376c3 · outbound

This paper cites Speculative privacy tracking (spt): Leaking information from speculative execution without compromising privacy.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Speculative privacy tracking (spt): Leaking information from speculative execution without compromising privacy

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.356660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 755bd771-7578-4348-b324-b6758ce78ed4 · outbound

This paper cites Gaidis, Vaggelis Atlidakis, and Vasileios P.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Gaidis, Vaggelis Atlidakis, and Vasileios P

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.361200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a20abeaf-9045-495f-81c8-6a524c086042 · outbound

This paper cites Supervisor mode access prevention, 2012.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Supervisor mode access prevention, 2012

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.365511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64004d12-b594-46b3-b251-345ab3c672ed · outbound

This paper cites Intel analysis of speculative execution side channels.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Intel analysis of speculative execution side channels

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.369966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2780c5cd-8859-480e-90c8-7cc958b69bf4 · outbound

This paper cites Indirect branch restricted speculation, 2018.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Indirect branch restricted speculation, 2018

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.374402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49720ee6-dddf-4d86-9ac1-f943c8ce4f4a · outbound

This paper cites Retpoline: A branch target injection mitigation, 2018.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Retpoline: A branch target injection mitigation, 2018

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.378488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9b407ca-510d-4d51-9e41-6bad53c04e87 · outbound

This paper cites Branch history injection and intra-mode branch target injection / cve-2022-0001, cve-2022-0002 / intel-sa-00598.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Branch history injection and intra-mode branch target injection / cve-2022-0001, cve-2022-0002 / intel-sa-00598

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.383064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3734c07c-5e55-43c7-9a01-c25cbfa8c67f · outbound

This paper cites Affected processors: Guidance for security issues on intel ® processors,.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Affected processors: Guidance for security issues on intel ® processors,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.391825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fe30970-4894-4eb7-911a-33bec21b8e03 · outbound

This paper cites Bench test, 2024.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Bench test, 2024

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.400547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a484bca-b6e0-4c16-b4ef-0cb0bcb92111 · outbound

This paper cites cryptsetup, 2025.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) cryptsetup, 2025

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.404963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2515323-cd3c-4d4e-a3ad-89e6880c962f · outbound

This paper cites ProSpeCT: Provably secure speculation for the Constant-Time policy.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) ProSpeCT: Provably secure speculation for the Constant-Time policy

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.409573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ba82a5b-2108-41df-bc42-bf2a89bfb316 · outbound

This paper cites Comprehensive kernel safety in the spectre era, 2024.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Comprehensive kernel safety in the spectre era, 2024

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.413887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6eb5d7ca-c68c-4083-85ed-cb98309f57a5 · outbound

This paper cites On kernel’s safety in the spectre era (and kaslr is formally dead).

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) On kernel’s safety in the spectre era (and kaslr is formally dead)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.418100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49886dde-db3f-40dc-bd71-6627343aaa14 · outbound

This paper cites Openbsd 6.3, Oct 2017.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Openbsd 6.3, Oct 2017

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.422482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d322cbf6-2d6e-460c-9b36-e6205f83fe0b · outbound

This paper cites Kernel address space layout randomization, 2013.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Kernel address space layout randomization, 2013

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.426949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84f95edb-9e2f-4d39-bd93-9409ff8b515f · outbound

This paper cites Jump over aslr: attacking branch predictors to bypass aslr.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Jump over aslr: attacking branch predictors to bypass aslr

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.431528Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7296c3f-9545-43ba-9660-0bd41e99badb · outbound

This paper cites Supervisor mode execution protection, 2011.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Supervisor mode execution protection, 2011

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.436215Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 648e1d76-423b-4bf1-95b4-f2ffd222235c · outbound

This paper cites ab – apache http server benchmarking tool, 2025.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) ab – apache http server benchmarking tool, 2025

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.441567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0593bf91-d002-4eec-a0cd-0fc134e6da97 · outbound

This paper cites Randomizing the linux kernel heap freelists, Sep 2016.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Randomizing the linux kernel heap freelists, Sep 2016

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.303830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8333d687-5a2b-4219-aa58-1c776c4e8fc2 · outbound

This paper cites Fine-grained control-flow in- tegrity for kernel software.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Fine-grained control-flow in- tegrity for kernel software

Reference 37

Resolution: verified exact; doi, observed 2026-08-12T11:37:24.861365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a49ed6ca-726a-4b5e-aadc-353e4e52c8eb · outbound

This paper cites Fix rsb fill on context switch for serialize.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Fix rsb fill on context switch for serialize

Reference 38

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T11:37:25.216206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3ce283b8-c835-4ea8-9de8-5a32774d9351 · outbound

This paper cites an unresolved cited work.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:37:26.288713Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 56553744-e2ce-43c1-8847-8ad971204db5 · outbound

This paper cites Spec- ulative probing: Hacking blind in the spectre era.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Spec- ulative probing: Hacking blind in the spectre era

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.273843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3a2ffae7-ff4f-4ced-aebe-53b9c9291f05 · outbound

This paper cites Prefetch side-channel attacks: Bypassing smap and kernel aslr.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Prefetch side-channel attacks: Bypassing smap and kernel aslr

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.259471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 543810be-9c0f-4ae3-9429-578a24a7c16e · outbound

This paper cites Kaslr is dead: Long live kaslr.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Kaslr is dead: Long live kaslr

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.229096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0eb63f8f-1626-42d6-8daa-493439a9d9f2 · outbound

This paper cites Morales, Jan Reineke, and Andr´ es S´ anchez.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Morales, Jan Reineke, and Andr´ es S´ anchez

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.214183Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f896cc87-9b16-4d5b-81e9-4fd54a424bbc · outbound

This paper cites Hardware-software contracts for secure speculation.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Hardware-software contracts for secure speculation

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.199642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ce98cd31-5bd2-4abc-886a-74ece3aa8aee · outbound

This paper cites Practical timing side channel attacks against kernel space aslr.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Practical timing side channel attacks against kernel space aslr

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.183563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4ddc0a5c-de30-4c3c-a9d3-1c373f7f6ce8 · outbound

This paper cites Mac os x has you covered, May 2011.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Mac os x has you covered, May 2011

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.168536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation cd732006-29b1-49a2-a52f-78fd79e24b07 · outbound

This paper cites ugrep, 2025.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) ugrep, 2025

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.153541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0144b4a2-74a4-4e0c-b760-ce4e0c139943 · outbound

This paper cites Intel Corporation, September 2023.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Intel Corporation, September 2023

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.139105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 46444a6c-8405-4c10-992c-fa2cdc13549a · outbound

This paper cites Page table isolation (pti), 2023.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Page table isolation (pti), 2023

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.125092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1a00e595-bb50-44fe-9541-d0a46daa36e4 · outbound

This paper cites Spectre attacks: Exploiting speculative execution.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Spectre attacks: Exploiting speculative execution

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.110865Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 597d1a59-01de-4e6e-b951-673bb4daeaa6 · outbound

This paper cites Tagbleed: Breaking kaslr on the isolated kernel address space using tagged tlbs.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Tagbleed: Breaking kaslr on the isolated kernel address space using tagged tlbs

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.096297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f6a425a0-28f8-4f7e-8433-7f63c7e53d1d · outbound

This paper cites Un- contained: Uncovering container confusion in the linux kernel.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Un- contained: Uncovering container confusion in the linux kernel

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.080558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2abbd594-c922-4648-9194-43728f137c36 · outbound

This paper cites Lattner and V.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Lattner and V

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.065647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 076c0db0-d71f-4c98-9766-f62741fed1c6 · outbound

This paper cites Com- prehensive and efficient protection of kernel control data.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Com- prehensive and efficient protection of kernel control data

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.050502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ba3f5ba5-829b-438e-8113-de4f7f6a8680 · outbound

This paper cites Learn the architecture – providing protection for complex software, 2022.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Learn the architecture – providing protection for complex software, 2022

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.035241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ec30747f-8593-476c-8fbb-3acac89158ea · outbound

This paper cites Meltdown: Reading kernel memory from user space.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Meltdown: Reading kernel memory from user space

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.019419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a77deb13-51f9-4ba9-8738-6406698ff9ca · outbound

This paper cites Entrybleed: A universal kaslr bypass against kpti on linux.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Entrybleed: A universal kaslr bypass against kpti on linux

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:26.003636Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 93e9207b-7dfd-45cf-869a-a3af1f8e6452 · outbound

This paper cites Towards unveiling exploitation potential with multiple error behaviors for kernel bugs.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Towards unveiling exploitation potential with multiple error behaviors for kernel bugs

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.973169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 19c1a376-cb68-4b38-a830-b49f7b618866 · outbound

This paper cites Kim, Parthasarathy Ranganathan, Daniel Stodolsky, and Mark Wachsler.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Kim, Parthasarathy Ranganathan, Daniel Stodolsky, and Mark Wachsler

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.554439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 383d04a5-d0ee-49f7-8dfb-3f7ae12b1205 · outbound

This paper cites Mambretti, A.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Mambretti, A

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.957912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 28f92e4d-2867-40b0-907b-4ce0f17005f7 · outbound

This paper cites Attacking the ios kernel: A look at ‘evasi0n’, March 2013.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Attacking the ios kernel: A look at ‘evasi0n’, March 2013

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.932736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a48e47b1-2ca7-46e1-b2c1-9edb494ea06d · outbound

This paper cites Address space layout randomization (aslr), July 2023.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Address space layout randomization (aslr), July 2023

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.918451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 013590df-24d6-42ad-b79d-f62b7799283c · outbound

This paper cites Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, and Deian Stefan.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, and Deian Stefan

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.903998Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b843a30d-e279-4b4b-b178-a985ef5cba2c · outbound

This paper cites Drop the rop fine-grained control-flow integrity for the linux kernel, 2017.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Drop the rop fine-grained control-flow integrity for the linux kernel, 2017

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.889333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 79a0c78a-a6d8-413c-afdf-74a49585ec90 · outbound

This paper cites Martin, and Steve Zdancewic.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Martin, and Steve Zdancewic

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.874671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 561b2457-8f04-4cdc-96b0-580445eeabe0 · outbound

This paper cites Exorcising spectres with secure compilers.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Exorcising spectres with secure compilers

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.861136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0819a303-d5d6-4716-8c97-41f6e5420c2b · outbound

This paper cites Kernel hardening, August 2022.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Kernel hardening, August 2022

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.846175Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 38a6b2d9-bab9-46bc-9a47-66d5959cbe0a · outbound

This paper cites X86speculativeexecutionsideeffectsuppression.cpp file reference, 2025.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) X86speculativeexecutionsideeffectsuppression.cpp file reference, 2025

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.831691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b916c25a-8173-489e-876a-1ca1e49e8121 · outbound

This paper cites Linux 6.1: Rust to hit mainline kernel, October 2022.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Linux 6.1: Rust to hit mainline kernel, October 2022

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.817146Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c8feba60-153d-49c0-a745-c0c353dee0d1 · outbound

This paper cites Pacman: Attacking arm pointer authentication with speculative execution.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Pacman: Attacking arm pointer authentication with speculative execution

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.801867Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7e7b5641-c290-40d7-ab2a-6e1e44ccb48b · outbound

This paper cites Toward linux kernel memory safety.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Toward linux kernel memory safety

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.787389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 800e030a-2f9c-4261-8389-d1717f4ae83d · outbound

This paper cites Linux kernel heap feng shui in 2022, May 2022.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Linux kernel heap feng shui in 2022, May 2022

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.773224Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 31bff5fd-06d2-45f1-8f83-e4c44cf1b05e · outbound

This paper cites Threat overview for linux kernel, November 2022.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Threat overview for linux kernel, November 2022

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.758850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 919f5801-d24b-462e-b7a1-72e8299f8a98 · outbound

This paper cites On the effectiveness of address-space randomization.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) On the effectiveness of address-space randomization

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.744006Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 613f6108-d33d-4d83-b9ff-f23fcccceae3 · outbound

This paper cites Tanenbaum and Herbert Bos.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Tanenbaum and Herbert Bos

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.728385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c236711d-6a39-4bc8-befb-9f350b9666a0 · outbound

This paper cites Documentation for the pax project, 2003.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Documentation for the pax project, 2003

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.711867Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5b2555b4-5b47-4359-a4c9-688ac3f2fc69 · outbound

This paper cites Inception: Exposing new attack surfaces with training in transient execution.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Inception: Exposing new attack surfaces with training in transient execution

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.695317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 80bdca2c-33d5-4343-b1d5-f7347a40ec95 · outbound

This paper cites Retpoline: a software construct for preventing branch-target-injection, 2018.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Retpoline: a software construct for preventing branch-target-injection, 2018

Reference 78

Resolution: verified exact; raw_fallback, observed 2026-08-12T11:37:25.053294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b3e160c4-ad42-4490-b165-ac3e3556ec40 · outbound

This paper cites Hypersafe: A lightweight approach to provide lifetime hypervisor control-flow integrity.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Hypersafe: A lightweight approach to provide lifetime hypervisor control-flow integrity

Reference 79

Resolution: verified exact; doi, observed 2026-08-12T11:37:24.846323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5e1498ac-d6b1-4a69-a6d7-de1959b07e4c · outbound

This paper cites Watson, Jonathan Woodruff, Peter G.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Watson, Jonathan Woodruff, Peter G

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.666009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1924fecd-42bb-4bce-b220-f88c1b12bd09 · outbound

This paper cites Wenisch, and Baris Kasikci.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Wenisch, and Baris Kasikci

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.651657Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1c95ac2d-40c2-465a-acdd-d5ee2706be84 · outbound

This paper cites InSpectre gadget: Inspecting the residual attack surface of cross-privilege spectre v2.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) InSpectre gadget: Inspecting the residual attack surface of cross-privilege spectre v2

Reference 82

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.636215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b7b1393a-19e4-4ee2-928a-a7c5417077ac · outbound

This paper cites an unresolved cited work.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Unresolved cited work

Reference 83

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:37:25.680477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 6c57e8bf-e4a4-4faa-9c61-0bcb30cb8bc4 · outbound

This paper cites Phantom: Exploiting decoder-detectable mispredictions.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Phantom: Exploiting decoder-detectable mispredictions

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-12T11:37:24.672621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ca56320-3aed-4f76-956b-f0a587e55866 · outbound

This paper cites Fletcher.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Fletcher

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.607830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 64561684-057f-4172-94d0-4cfb98180b4e · outbound

This paper cites Ultimate slh: taking speculative load hardening to the next level.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Ultimate slh: taking speculative load hardening to the next level

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.593626Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation cf14bfb5-b679-4af0-8023-1c8a8c827024 · outbound

This paper cites RETBLEED: Arbitrary speculative code execution with return instructions.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) RETBLEED: Arbitrary speculative code execution with return instructions

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.621859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5c6a7b2d-946e-48ca-96a2-4f5edc30c228 · outbound

This paper cites an unresolved cited work.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Unresolved cited work

Reference 93

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:37:25.578929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9942203e-2a64-4354-9b45-5ed90f9481bb · outbound

This paper cites We prove this by induction on n: - Case 0.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) We prove this by induction on n: - Case 0

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.564951Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 54003af4-717d-4bf5-b14d-0c70bf24315f · outbound

This paper cites We apply the IH to the n-step transition, obtaining: w ⊢σ2 ϕ2 →∗ (F, w⋄ τ′.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) We apply the IH to the n-step transition, obtaining: w ⊢σ2 ϕ2 →∗ (F, w⋄ τ′

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.550997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3d5751f2-515a-4b63-bf76-b938d21e06a5 · outbound

This paper cites Our goal is to establish: w ⊢σ2 (F, w⋄ τ′.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Our goal is to establish: w ⊢σ2 (F, w⋄ τ′

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.536724Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5b24bc2d-21cd-4a97-bd88-be265451ab9c · outbound

This paper cites The proof proceeds by case analysis on the rule used in: w ⊢σ1 (F, w⋄ τ′.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) The proof proceeds by case analysis on the rule used in: w ⊢σ1 (F, w⋄ τ′

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.522303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ac03d52b-726f-4106-aa69-93d6aa163c0d · outbound

This paper cites (†) In most cases, the identity of the frame stack and the equivalence τ′ 1 =Idu∪ArrIdk τ′ 2 suffice to show that the same rule applies to the corresponding transition in σ2.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) (†) In most cases, the identity of the frame stack and the equivalence τ′ 1 =Idu∪ArrIdk τ′ 2 suffice to show that the same rule applies to the corresponding transition in σ2

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.508150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 49a97f1e-0dc0-4a61-a41f-c852fc48dcdd · outbound

This paper cites - Case [Pop].

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) - Case [Pop]

Reference 99

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.494136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b323afb7-b3af-4c09-95d8-b3678f5c7d2f · outbound

This paper cites Additionally, we have u(F ′ ) which also implies u(F ).

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Additionally, we have u(F ′ ) which also implies u(F )

Reference 100

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.480208Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2690f2e9-11af-405d-91b7-0b6871ebf347 · outbound

This paper cites In ( ∗), we tacitly unrolled the first reduction step of the system call invocation.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) In ( ∗), we tacitly unrolled the first reduction step of the system call invocation

Reference 101

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.465946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c8bec95d-cd1e-4ff7-b0cc-adc39fb2bae1 · outbound

This paper cites an unresolved cited work.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Unresolved cited work

Reference 102

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:37:25.451391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0b503889-f3c2-4dce-9afd-6203473423de · outbound

This paper cites an unresolved cited work.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Unresolved cited work

Reference 103

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:37:25.437164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1c442845-dee9-4f04-8a93-9b4397e1eaf1 · outbound

This paper cites By case analysis on the rules that has been used to prove w ⊢σ1 ϕ′ 1 → err, we observe that the same rule can also be used to prove w ⊢σ1 (F ′, w⋄ τ′′ 1 ) → err.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) By case analysis on the rules that has been used to prove w ⊢σ1 ϕ′ 1 → err, we observe that the same rule can also be used to prove w ⊢σ1 (F ′, w⋄ τ′′ 1 ) → err

Reference 104

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:37:25.423428Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d17bfbfc-10c2-457f-9236-21813a55a6e6 · outbound

This paper cites an unresolved cited work.

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) Unresolved cited work

Reference 105

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:37:25.408485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers