Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T11:35:01.681377Z
Paper Citation Record · LEDGER
A Least-Privilege Memory Protection Model for Modern Hardware
As of 16 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:1908.08707.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
40 of 40 outbound references displayed
- verified exact0
- verified fuzzy38
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 19e495ab-794f-4af6-bf43-c3fca9068d7f · outbound
This paper cites Formalizing Memory Accesses and Interrupts.
A Least-Privilege Memory Protection Model for Modern Hardware Formalizing Memory Accesses and Interrupts
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.582621Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 14bd22ff-3d75-4dce-86ce-ed604d364831 · outbound
This paper cites Physical Addressing on Real Hardware in Isabelle/HOL.
A Least-Privilege Memory Protection Model for Modern Hardware Physical Addressing on Real Hardware in Isabelle/HOL
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.558614Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation aad183c2-3797-4626-b72a-93a52826b17f · outbound
This paper cites Do- It-Yourself Virtual Memory Translation.
A Least-Privilege Memory Protection Model for Modern Hardware Do- It-Yourself Virtual Memory Translation
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.529149Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a3ebf378-92c5-4410-a121-71c4c35a7581 · outbound
This paper cites Anderson.
A Least-Privilege Memory Protection Model for Modern Hardware Anderson
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.510777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d2b64e4a-63c3-4e61-9c6b-2ef15d267125 · outbound
This paper cites Sparsemem Memory Model.
A Least-Privilege Memory Protection Model for Modern Hardware Sparsemem Memory Model
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.490273Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e510a22d-9d13-4bef-95ff-78da0d794822 · outbound
This paper cites Appel and Kai Li.
A Least-Privilege Memory Protection Model for Modern Hardware Appel and Kai Li
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.469357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 42cd44bb-5cfd-481e-8d5c-00116cde883f · outbound
This paper cites Development Tools and Software: Fast Mod- els.
A Least-Privilege Memory Protection Model for Modern Hardware Development Tools and Software: Fast Mod- els
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.445145Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1f4862fa-b532-41fb-84c5-77bb3c608041 · outbound
This paper cites Rossbach, and Onur Mutlu.
A Least-Privilege Memory Protection Model for Modern Hardware Rossbach, and Onur Mutlu
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.426317Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 456a5ee3-9e4f-44ea-8706-5ce90018cfdd · outbound
This paper cites It’s Time to Think About an Operating System for Near Data Processing Architectures.
A Least-Privilege Memory Protection Model for Modern Hardware It’s Time to Think About an Operating System for Near Data Processing Architectures
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.408769Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0ccad91b-02db-4679-8d9c-f57d066cad17 · outbound
This paper cites Popcorn: Bridging the Programmability Gap in heterogeneous-ISA Platforms.
A Least-Privilege Memory Protection Model for Modern Hardware Popcorn: Bridging the Programmability Gap in heterogeneous-ISA Platforms
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.387471Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ec89944c-5b22-449e-bc00-581ff915afb7 · outbound
This paper cites The Multikernel: A New OS Architecture for Scalable Multicore Systems.
A Least-Privilege Memory Protection Model for Modern Hardware The Multikernel: A New OS Architecture for Scalable Multicore Systems
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.369695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 20fcdd13-6009-4706-97a6-779e23eee656 · outbound
This paper cites Secure Microkernels, State Monads and Scalable Refinement.
A Least-Privilege Memory Protection Model for Modern Hardware Secure Microkernels, State Monads and Scalable Refinement
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.351036Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3a485c9f-9712-4433-aff9-5902857e4dc2 · outbound
This paper cites an unresolved cited work.
A Least-Privilege Memory Protection Model for Modern Hardware Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:35:02.325420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 31942051-fa87-4d8c-a385-f8261dec47a2 · outbound
This paper cites Verified Protection Model of the seL4 Microkernel.
A Least-Privilege Memory Protection Model for Modern Hardware Verified Protection Model of the seL4 Microkernel
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.304721Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f0900bf5-83ff-4b2b-a2d8-6db31f98d3dd · outbound
This paper cites Authorization, Protection, and Allocation of Memory in a Large System.
A Least-Privilege Memory Protection Model for Modern Hardware Authorization, Protection, and Allocation of Memory in a Large System
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.285114Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 30623702-c032-4366-a0e7-cf83d3585279 · outbound
This paper cites Not Your Parents’ Physical Address Space.
A Least-Privilege Memory Protection Model for Modern Hardware Not Your Parents’ Physical Address Space
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.265746Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3a269b0e-a66e-4f82-bc2b-dd555e113022 · outbound
This paper cites CertiKOS: An Extensible Archi- tecture for Building Certified Concurrent OS Kernels.
A Least-Privilege Memory Protection Model for Modern Hardware CertiKOS: An Extensible Archi- tecture for Building Certified Concurrent OS Kernels
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.247076Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3f29f99c-c896-4b6a-bdf5-5fa08ca24a93 · outbound
This paper cites Multiple Physical Mappings: Dynamic DRAM Channel Sharing and Partitioning.
A Least-Privilege Memory Protection Model for Modern Hardware Multiple Physical Mappings: Dynamic DRAM Channel Sharing and Partitioning
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.226525Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3abfd0bc-4909-4390-b7b9-9c03553923ef · outbound
This paper cites HSA Runtime Programmer’s Reference Manual, version: 1.1.4 edition, Oct 2016.
A Least-Privilege Memory Protection Model for Modern Hardware HSA Runtime Programmer’s Reference Manual, version: 1.1.4 edition, Oct 2016
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.200779Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fa0eea3e-137b-46dd-8d8f-9226afb0eefb · outbound
This paper cites Qureshi, and Karsten Schwan.
A Least-Privilege Memory Protection Model for Modern Hardware Qureshi, and Karsten Schwan
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.181428Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b8763b95-5f3d-4e89-b1df-ffdd87afc0cd · outbound
This paper cites Intel Xeon Phi Coprocessor System Software Devel- opers Guide, 2014.
A Least-Privilege Memory Protection Model for Modern Hardware Intel Xeon Phi Coprocessor System Software Devel- opers Guide, 2014
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.154848Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ee2ebb0a-72d1-4d60-a118-a4fa19884560 · outbound
This paper cites The OpenCL Specification, version: 2.0, document revision: 29 edition, July 2015.
A Least-Privilege Memory Protection Model for Modern Hardware The OpenCL Specification, version: 2.0, document revision: 29 edition, July 2015
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.130208Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a828e7a6-cab0-4d7c-af0c-75cc8aff1504 · outbound
This paper cites seL4: Formal Verification of an OS Kernel.
A Least-Privilege Memory Protection Model for Modern Hardware seL4: Formal Verification of an OS Kernel
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.112383Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8cf043ae-bcad-4cc6-aca3-6c189c6d1aed · outbound
This paper cites Protection.
A Least-Privilege Memory Protection Model for Modern Hardware Protection
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.087518Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 09d29369-de73-4150-be15-944d81ca79b3 · outbound
This paper cites V AST: The Illusion of a Large Memory Space for GPUs.
A Least-Privilege Memory Protection Model for Modern Hardware V AST: The Illusion of a Large Memory Space for GPUs
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.068047Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ff7543c2-1387-451b-9474-4a478ee30c0e · outbound
This paper cites an unresolved cited work.
A Least-Privilege Memory Protection Model for Modern Hardware Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:35:02.050878Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 93fb3dfb-dda0-4320-a13e-a422e5b9084f · outbound
This paper cites Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals.
A Least-Privilege Memory Protection Model for Modern Hardware Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.033573Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b67fc65c-9b05-46a3-970f-5bd1607363c4 · outbound
This paper cites True IOMMU Pro- tection from DMA Attacks: When Copy is Faster Than Zero Copy.
A Least-Privilege Memory Protection Model for Modern Hardware True IOMMU Pro- tection from DMA Attacks: When Copy is Faster Than Zero Copy
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:02.015776Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f038131b-c15c-4992-8a64-5e8a27e58b18 · outbound
This paper cites Bypassing IOMMU Protection against I/O Attacks.
A Least-Privilege Memory Protection Model for Modern Hardware Bypassing IOMMU Protection against I/O Attacks
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.990995Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 940033f2-fe25-4757-a908-6d0f5b6f20af · outbound
This paper cites IOMMU Protection Against I/O Attacks: A Vulnerability and a Proof of Concept.
A Least-Privilege Memory Protection Model for Modern Hardware IOMMU Protection Against I/O Attacks: A Vulnerability and a Proof of Concept
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.967178Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a9b29447-cccb-47c7-a2b4-5372ae4308eb · outbound
This paper cites NVIDIA Parker Series SoC Technical Reference Manual, v.1.0p edition, June 2017.
A Least-Privilege Memory Protection Model for Modern Hardware NVIDIA Parker Series SoC Technical Reference Manual, v.1.0p edition, June 2017
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.937363Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3f5b72fc-5d39-4196-bdd4-babd84cbfc2c · outbound
This paper cites Unified Memory in CUDA 6, Nov 2013.
A Least-Privilege Memory Protection Model for Modern Hardware Unified Memory in CUDA 6, Nov 2013
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.917631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c7e1b6e2-2660-4ae2-90a3-a2fccd4c8089 · outbound
This paper cites i.MX 8DualXPlus/8QuadXPlus Applications Processor Ref- erence Manual, January 2019.
A Least-Privilege Memory Protection Model for Modern Hardware i.MX 8DualXPlus/8QuadXPlus Applications Processor Ref- erence Manual, January 2019
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.898992Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ec75dfbe-0dbb-4140-813e-291bbda87a0b · outbound
This paper cites A Case for Intelligent RAM.
A Least-Privilege Memory Protection Model for Modern Hardware A Case for Intelligent RAM
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.880913Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d6d6be83-4f7e-46ee-8a8a-404a167c0310 · outbound
This paper cites CBufs: Efficient, System-wide Memory Management and Sharing.
A Least-Privilege Memory Protection Model for Modern Hardware CBufs: Efficient, System-wide Memory Management and Sharing
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.857388Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 65d9dab5-3494-4769-86cf-7b93111a1d13 · outbound
This paper cites Romanescu, Alvin R.
A Least-Privilege Memory Protection Model for Modern Hardware Romanescu, Alvin R
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.832216Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9b37e02e-9d16-4241-a033-368083230861 · outbound
This paper cites A Declarative Language Approach to Device Configuration.
A Least-Privilege Memory Protection Model for Modern Hardware A Declarative Language Approach to Device Configuration
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.806306Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a14a390c-d3e6-47b6-a2b5-a630a062ef22 · outbound
This paper cites seL4 Enforces Integrity.
A Least-Privilege Memory Protection Model for Modern Hardware seL4 Enforces Integrity
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.783174Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f8c7f91b-e407-4e6a-ae6b-3c299cc18494 · outbound
This paper cites OMAP44xx Multimedia Device Technical Ref- erence Manual, April 2014.
A Least-Privilege Memory Protection Model for Modern Hardware OMAP44xx Multimedia Device Technical Ref- erence Manual, April 2014
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.760717Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3c4d232a-a316-448c-8122-6f106ad7c83e · outbound
This paper cites Mind the Gap.
A Least-Privilege Memory Protection Model for Modern Hardware Mind the Gap
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:35:01.740147Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.