Paper Citation Record · LEDGER

MicroTEE: Designing TEE OS Based on the Microkernel Architecture

As of 16 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:1908.07159.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.07159 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T12:27:43.366732Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

33 of 33 outbound references displayed

verified exact0
verified fuzzy31
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 299d98b0-79ca-44fd-b35d-3c2111434523 · outbound

This paper cites Security technology building a secure system using trustzone technology (white paper),.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Security technology building a secure system using trustzone technology (white paper),

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.808586Z

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 ca80442a-0b87-4f01-bac5-6960283e9859 · outbound

This paper cites Trustzone explained: Architectural features and use cases,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Trustzone explained: Architectural features and use cases,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.794187Z

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 99dac749-b6db-4583-b9c9-0279dc579c99 · outbound

This paper cites T2droid: A trustzone-based dynamic analyser for android applications,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture T2droid: A trustzone-based dynamic analyser for android applications,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.780601Z

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 e2cd4714-a538-46db-b9c2-a918f4fd9015 · outbound

This paper cites Secure block device–secure, ﬂexible, and efﬁcient data storage for arm trustzone systems,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Secure block device–secure, ﬂexible, and efﬁcient data storage for arm trustzone systems,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.766924Z

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 38c707f6-0819-427c-812c-9d36d3fdf92c · outbound

This paper cites Trusttokenf: A generic security framework for mobile two-factor authentication using trustzone,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Trusttokenf: A generic security framework for mobile two-factor authentication using trustzone,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.752668Z

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 e5613696-967d-4eae-8716-753df8dbdf4c · outbound

This paper cites Protc: Protecting drone’s peripherals through arm trustzone,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Protc: Protecting drone’s peripherals through arm trustzone,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.738465Z

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 6f4a546f-9f71-4e8e-ab05-8e1c30748d47 · outbound

This paper cites Qsee trustzone kernel integer over ﬂow vulnerability,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Qsee trustzone kernel integer over ﬂow vulnerability,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.724249Z

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 f6e861ff-337d-4ff6-ab13-8d88231715d5 · outbound

This paper cites Attcaking your.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Attcaking your

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.709699Z

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 df6a7388-cf6e-47ca-996a-57e560308960 · outbound

This paper cites Nova: a microhypervisor-based secure vir- tualization architecture,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Nova: a microhypervisor-based secure vir- tualization architecture,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.698335Z

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 4a448b54-70ca-4a3b-acf9-3d4dbd2249da · outbound

This paper cites Fiasco.oc,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Fiasco.oc,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.685676Z

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 1b8b2246-118f-4984-8286-1d4d64d62a0e · outbound

This paper cites Developers, “Redox,” https://www.redox-os.org/.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Developers, “Redox,” https://www.redox-os.org/

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.673764Z

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 0135745f-1f2f-4f27-b8d4-293d7a464d1b · outbound

This paper cites On-board cre- dentials with open provisioning,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture On-board cre- dentials with open provisioning,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.660651Z

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 22910725-dcf4-4d2a-9c3f-3e13af438f3e · outbound

This paper cites On-board credentials: an open credential platform for mobile devices,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture On-board credentials: an open credential platform for mobile devices,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.648399Z

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 f909096d-9462-41cd-b2fe-00a878685357 · outbound

This paper cites Towards user-friendly credential transfer on open credential platforms,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Towards user-friendly credential transfer on open credential platforms,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.636506Z

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 3d2baecc-a758-4879-8e0e-f3ad8995fb9f · outbound

This paper cites Key attestation from trusted execution environments,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Key attestation from trusted execution environments,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.622480Z

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 a96bd6a9-34c6-4103-870b-d5c028f1c036 · outbound

This paper cites Practical property-based attestation on mobile devices,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Practical property-based attestation on mobile devices,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.610877Z

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 77a9715d-4dd3-4d61-9e2c-259e8808fa87 · outbound

This paper cites an unresolved cited work.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-14T12:27:43.597230Z

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 34006a1e-c269-4f65-81a2-4527f9755fc9 · outbound

This paper cites an unresolved cited work.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-14T12:27:43.586027Z

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 d3f6c973-6b28-4397-a509-ba4c89d927a4 · outbound

This paper cites Using arm trustzone to build a trusted language runtime for mobile applications,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Using arm trustzone to build a trusted language runtime for mobile applications,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.574327Z

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 7f6ba041-a952-4ff4-b4a7-58e7cd69e189 · outbound

This paper cites Trusted language runtime (tlr): enabling trusted applications on smartphones,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Trusted language runtime (tlr): enabling trusted applications on smartphones,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.561088Z

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 ac6d3612-365e-4d2e-9f9c-a73c850d558e · outbound

This paper cites Op-tee documentation,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Op-tee documentation,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.549471Z

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 831218d7-46f8-47fd-8bf5-bb77130965b6 · outbound

This paper cites The andix research osłarm trustzone meets industrial control systems security,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture The andix research osłarm trustzone meets industrial control systems security,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.537389Z

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 cd29905b-63aa-466d-8fc6-3a8eb507f20a · outbound

This paper cites Open-tee– an open virtual trusted execution environment,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Open-tee– an open virtual trusted execution environment,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.524123Z

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 6055d7fb-aaa9-4864-9a2f-4b7a364a73ee · outbound

This paper cites Tee internal core api speciﬁcation,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Tee internal core api speciﬁcation,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.512376Z

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 bca15b29-0d3b-4ab3-b4bb-d238f3c77b3e · outbound

This paper cites Providing root of trust for arm trustzone using on-chip sram,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Providing root of trust for arm trustzone using on-chip sram,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.498986Z

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 ad0acc48-6989-4f95-b890-aa102b928616 · outbound

This paper cites Softme: A software- based memory protection approach for tee system to resist physical attacks,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Softme: A software- based memory protection approach for tee system to resist physical attacks,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.485848Z

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 e56f90d1-660d-48f9-9fc1-0d0a6cd3f633 · outbound

This paper cites Case: Cache-assisted secure execution on arm processors,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Case: Cache-assisted secure execution on arm processors,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.474508Z

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 4642cd25-8f16-4f6b-be9a-8154883477de · outbound

This paper cites Trustshadow: Secure execution of unmodiﬁed applications with arm trustzone,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Trustshadow: Secure execution of unmodiﬁed applications with arm trustzone,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.461953Z

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 b952831a-509a-4b4b-925e-fccdf550bb0a · outbound

This paper cites Cryptme: Data leakage prevention for unmodiﬁed programs on arm devices,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Cryptme: Data leakage prevention for unmodiﬁed programs on arm devices,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.448874Z

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 9a966714-764e-459e-88e7-41e2e32fb790 · outbound

This paper cites From l3 to sel4 what have we learnt in 20 years of l4 microkernels?.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture From l3 to sel4 what have we learnt in 20 years of l4 microkernels?

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.436448Z

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 27f6c258-e5c3-4b04-a151-4952f360b176 · outbound

This paper cites sel4 reference manual,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture sel4 reference manual,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.423872Z

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 28cf5072-c707-41de-8004-a8963d97bdc0 · outbound

This paper cites sel4: Formal veriﬁcation of an os kernel,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture sel4: Formal veriﬁcation of an os kernel,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.411963Z

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 b75f0428-cc4a-43e9-b2e5-bdafd63fdc10 · outbound

This paper cites Timing analysis of a protected operating system kernel,.

MicroTEE: Designing TEE OS Based on the Microkernel Architecture Timing analysis of a protected operating system kernel,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:27:43.399492Z

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.