Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T14:51:37.705120Z
Paper Citation Record · LEDGER
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
As of 16 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 0 inbound Pith citation observations for arXiv:1908.02444.
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
66 of 66 outbound references displayed
- verified exact1
- verified fuzzy56
- unresolved9
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation cbbd40d5-febe-4db1-bb68-acfdfc336928 · outbound
This paper cites C-flat: Control-flow attestation for embedded systems software.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise C-flat: Control-flow attestation for embedded systems software
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.463235Z
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 e5b8d1d3-a19d-4dbf-870f-a120980d40bc · outbound
This paper cites V APE source code.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise V APE source code
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.453000Z
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 9492d8b6-d338-46c3-b7b9-4c76a60a453d · outbound
This paper cites The security impact of a new cryptographic library.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise The security impact of a new cryptographic library
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.442514Z
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 66045370-5cc8-4f32-9345-092e0b542b2b · outbound
This paper cites Implementing TLS with verified cryptographic security.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Implementing TLS with verified cryptographic security
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.431841Z
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 ec68c74a-376c-4623-9080-74c13b562215 · outbound
This paper cites Vale: Verifying high- performance cryptographic assembly code.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Vale: Verifying high- performance cryptographic assembly code
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.421473Z
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 372aead8-218c-43fa-9cac-7e8c2a629997 · outbound
This paper cites Remote attestation for low-end embedded de- vices: the prover’s perspective.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Remote attestation for low-end embedded de- vices: the prover’s perspective
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.410548Z
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 c3fbaa98-dff9-4166-a044-949d684adba2 · outbound
This paper cites Brasser et al.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Brasser et al
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.400157Z
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 65d491c5-b07f-4fdd-aeb3-04a014b912cf · outbound
This paper cites Temporal consistency of integrity-ensuring computations and applications to embedded systems security.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Temporal consistency of integrity-ensuring computations and applications to embedded systems security
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.389473Z
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 b4e8d2be-03dc-4aae-a879-a284c6258279 · outbound
This paper cites Temporal consistency of integrity-ensuring computations and applications to embedded systems security.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Temporal consistency of integrity-ensuring computations and applications to embedded systems security
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.377983Z
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 59fada91-1c9b-4171-812d-bb5975cf3eb6 · outbound
This paper cites ERASMUS: Efficient remote attestation via self-measurement for unattended settings.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise ERASMUS: Efficient remote attestation via self-measurement for unattended settings
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.367139Z
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 97409d31-aade-4a43-9647-a8764cdcd800 · outbound
This paper cites Remote attestation of iot devices via SMARM: Shuffled measurements against roving malware.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Remote attestation of iot devices via SMARM: Shuffled measurements against roving malware
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.356587Z
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 b21e2479-5b53-4b25-ad3a-ec1d2347dff1 · outbound
This paper cites Iot- fuzzer: Discovering memory corruptions in iot through app-based fuzzing.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Iot- fuzzer: Discovering memory corruptions in iot through app-based fuzzing
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.346431Z
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 5bcda5da-2aeb-4809-9808-595ee0bdc998 · outbound
This paper cites NuSMV 2: An opensource tool for symbolic model checking.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise NuSMV 2: An opensource tool for symbolic model checking
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.336220Z
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 1d431388-4cdd-4c4a-8178-73876bc80d8b · outbound
This paper cites Nusmv 2: An opensource tool for symbolic model checking.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Nusmv 2: An opensource tool for symbolic model checking
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.325862Z
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 ca969907-ec3e-4608-b8b8-4f6085c5d862 · outbound
This paper cites Sanc- tum: Minimal hardware extensions for strong software isolation.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Sanc- tum: Minimal hardware extensions for strong software isolation
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.315006Z
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 31eb473a-2a2b-4a68-b24c-5e6d84791c09 · outbound
This paper cites A large-scale analysis of the security of embedded firmwares.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise A large-scale analysis of the security of embedded firmwares
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.303416Z
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 2cd64a78-863b-47be-86e6-3a2f2db5b0e9 · outbound
This paper cites Formally Verified Hardware/Software Co-Design for Remote Attestation.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Formally Verified Hardware/Software Co-Design for Remote Attestation
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T14:51:37.743339Z
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 cec2a413-99bb-4feb-8b70-95512afbd00b · outbound
This paper cites Litehax: lightweight hardware- assisted attestation of program execution.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Litehax: lightweight hardware- assisted attestation of program execution
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.292510Z
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 28f6e226-cc4d-412c-adaa-a51e310d749b · outbound
This paper cites Lo-fat: Low-overhead control 14 flow attestation in hardware.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Lo-fat: Low-overhead control 14 flow attestation in hardware
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.282176Z
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 ef0e2a78-2102-4c16-b825-50cfb0d97f6f · outbound
This paper cites Spot 2.0—a framework for ltl and ω-automata manipulation.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Spot 2.0—a framework for ltl and ω-automata manipulation
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.271604Z
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 cf67bf08-199d-4220-bff7-c072126cb90a · outbound
This paper cites HYDRA: hybrid design for remote attestation (using a formally verified microkernel).
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise HYDRA: hybrid design for remote attestation (using a formally verified microkernel)
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.260793Z
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 217c52b2-50bc-4715-b71f-f588b2354644 · outbound
This paper cites SMART: Secure and minimal architecture for (establishing dynamic) root of trust.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise SMART: Secure and minimal architecture for (establishing dynamic) root of trust
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.250062Z
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 d7aebef0-730d-4dcc-a3bc-479ac85c5586 · outbound
This paper cites SMART: Secure and minimal architecture for (establishing a dynamic) root of trust.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise SMART: Secure and minimal architecture for (establishing a dynamic) root of trust
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.238593Z
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 0f9f4459-a11f-4c12-8f58-98f8ce8560e0 · outbound
This paper cites A minimalist approach to re- mote attestation.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise A minimalist approach to re- mote attestation
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.227208Z
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 9188f17b-592e-4d3a-9cc3-5b7ec0f2d69f · outbound
This paper cites openMSP430, 2009.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise openMSP430, 2009
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.216431Z
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 4f7dceb0-9d95-4536-b9f8-242ebf589386 · outbound
This paper cites Ironclad apps: End-to-end security via automated full- system verification.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Ironclad apps: End-to-end security via automated full- system verification
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.205557Z
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 bffca39f-7f04-48cd-adc9-e24668b9eacb · outbound
This paper cites SeED: secure non-interactive attestation for embedded devices.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise SeED: secure non-interactive attestation for embedded devices
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.195075Z
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 0373fb51-fd55-47bd-b0f7-25235c21ede1 · outbound
This paper cites Intel Software Guard Extensions (Intel SGX).
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Intel Software Guard Extensions (Intel SGX)
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.184142Z
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 0646c89b-e725-44a9-b967-9e7e774318e9 · outbound
This paper cites Verilog2SMV: A tool for word-level verification.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Verilog2SMV: A tool for word-level verification
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.173203Z
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 be632d80-b5f2-48ff-a5a2-870002dc4d55 · outbound
This paper cites Establishing the genuinity of remote computer systems.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Establishing the genuinity of remote computer systems
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.162732Z
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 09d75a55-7aa4-4bb9-b5fb-431fd0fda700 · outbound
This paper cites seL4: Formal verification of an OS kernel.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise seL4: Formal verification of an OS kernel
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.152386Z
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 f367b5b7-7ebe-42f3-8042-ac9a423fe8a6 · outbound
This paper cites TrustLite: A security architec- ture for tiny embedded devices.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise TrustLite: A security architec- ture for tiny embedded devices
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.141395Z
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 5057195d-4f70-4bb7-a510-4a85489ef6d9 · outbound
This paper cites Koeberl et al.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Koeberl et al
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.129538Z
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 4c7b8c80-51b3-42c4-9f9c-51067368bda9 · outbound
This paper cites Kovah et al.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Kovah et al
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.117613Z
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 9366b9df-37aa-4727-919e-6a110a93e143 · outbound
This paper cites Formal verification of a realistic compiler.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Formal verification of a realistic compiler
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.107606Z
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 afc06344-18d9-4f0d-9109-4cb3e9b247be · outbound
This paper cites McCune, and Adrian Perrig.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise McCune, and Adrian Perrig
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.096337Z
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 faf60f5f-2a6c-44e3-b209-7ee1b0625753 · outbound
This paper cites Sancus 2.0: A low-cost security architecture for iot devices.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Sancus 2.0: A low-cost security architecture for iot devices
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.085440Z
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 51f9a71b-20ab-44d8-870c-8dce0be8e2d4 · outbound
This paper cites Towards systematic design of collective remote attestation protocols.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Towards systematic design of collective remote attestation protocols
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.074786Z
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 329dd1f7-c341-46f2-a2cd-6538bbd8e2b5 · outbound
This paper cites Secure code update for embedded devices via proofs of secure erasure.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Secure code update for embedded devices via proofs of secure erasure
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.064568Z
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 639ffbbc-8f2c-44f0-83f7-4ba9e749b367 · outbound
This paper cites Petroni et al.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Petroni et al
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.054469Z
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 f13fdbe8-0d07-4452-b756-5ae7106d9f3d · outbound
This paper cites Tamper resistance mechanisms for secure embedded systems.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Tamper resistance mechanisms for secure embedded systems
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.043604Z
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 399d285e-3ad1-4014-bfd6-256e520cf394 · outbound
This paper cites Scuba: Secure code update by attestation in sensor networks.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Scuba: Secure code update by attestation in sensor networks
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.031931Z
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 d7b3d3dc-79a2-44a3-bbd0-8aa84dd02a17 · outbound
This paper cites Seshadri et al.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Seshadri et al
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.020563Z
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 b13eaa27-9a32-472b-b2ca-10bb4663a3c9 · outbound
This paper cites Seshadri et al.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Seshadri et al
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:38.008777Z
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 ee4a6572-f089-4084-a6f0-6490ea56b0b7 · outbound
This paper cites Trusted platform module (tpm), 2017.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Trusted platform module (tpm), 2017
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.997144Z
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 ba2c04cf-4202-4861-bc1c-48d913c130c9 · outbound
This paper cites an unresolved cited work.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:51:37.985915Z
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 6e8931e1-fc94-4791-afe9-14949965c450 · outbound
This paper cites Atrium: Runtime attestation resilient under memory attacks.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Atrium: Runtime attestation resilient under memory attacks
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.975238Z
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 c53b58f8-76d1-478d-b1c4-03a4d4ae8092 · outbound
This paper cites Hacl*: A verified modern cryptographic library.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Hacl*: A verified modern cryptographic library
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.963410Z
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 9048ceb5-ffe4-40ef-b968-803a1a9ad92c · outbound
This paper cites an unresolved cited work.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:51:37.952547Z
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 f89a3721-f7af-4712-8e4f-1347f8cc1c7e · outbound
This paper cites an unresolved cited work.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:51:37.941947Z
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 5710f502-12a2-41dd-9809-abaa0f60b663 · outbound
This paper cites an unresolved cited work.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:51:37.931310Z
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 386d9210-9a2e-4173-8741-970d47b961c8 · outbound
This paper cites Figure 6 represents a verified model enforcing LTLs 4-6, corresponding to the high-level property EP2- Ephemeral Atomicity.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Figure 6 represents a verified model enforcing LTLs 4-6, corresponding to the high-level property EP2- Ephemeral Atomicity
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.920481Z
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 57e83a12-6412-4a02-b02e-7a58c7b7dcb9 · outbound
This paper cites an unresolved cited work.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Unresolved cited work
Reference 53
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:51:37.907598Z
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 54854ff8-caeb-4ba3-a666-f769fa799b28 · outbound
This paper cites In the interval between S0 and S1 PC remained executing instructions within ER, there were no interrupts, no resets, and DMA remained inactive.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise In the interval between S0 and S1 PC remained executing instructions within ER, there were no interrupts, no resets, and DMA remained inactive
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.896995Z
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 3a966666-b3bf-4de6-b072-0038d5529d46 · outbound
This paper cites In the interval between S0 and S2 the memory regions of METADATA and ER were not modified.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise In the interval between S0 and S2 the memory regions of METADATA and ER were not modified
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.885688Z
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 331cec13-b6bb-4e66-bed6-7e2f63baeca2 · outbound
This paper cites The first two properties to be noted are LTL 12 and LTL 11.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise The first two properties to be noted are LTL 12 and LTL 11
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.874415Z
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 486cee5d-eea9-4ddd-bf91-9d0ff886b323 · outbound
This paper cites So far we have argued that to have a token H that reflects EXEC = 1 the code contained in ER must have executed suc- cessfully.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise So far we have argued that to have a token H that reflects EXEC = 1 the code contained in ER must have executed suc- cessfully
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.863061Z
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 b43361cb-6f03-43ee-ae61-4ed80ee9e330 · outbound
This paper cites an unresolved cited work.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Unresolved cited work
Reference 58
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:51:37.850901Z
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 0fa3bd91-965c-48bb-bb45-52c0f6b9e72f · outbound
This paper cites an unresolved cited work.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:51:37.839654Z
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 89342ce8-37bf-453c-aa01-6ff57b342a73 · outbound
This paper cites an unresolved cited work.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Unresolved cited work
Reference 60
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:51:37.828727Z
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 22270c65-7064-4c97-996f-d7d2af40edf9 · outbound
This paper cites 7.2 RA Security Definition: An RA scheme is considered secure if for all PPT adversaries Adv, there exists a negligible function negl such that: Pr[Adv, RA-game]≤ negl (l) Proof.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise 7.2 RA Security Definition: An RA scheme is considered secure if for all PPT adversaries Adv, there exists a negligible function negl such that: Pr[Adv, RA-game]≤ negl (l) Proof
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.817772Z
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 8b22b707-5348-46bb-b212-2b4235c55bc1 · outbound
This paper cites Let X(t) denote the content in memory region X at time t.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Let X(t) denote the content in memory region X at time t
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.805116Z
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 c6ce4cb2-692d-4625-b9f4-723370c78bf6 · outbound
This paper cites an unresolved cited work.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:51:37.793132Z
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 2daebd9e-7b13-4d0d-b243-0ecf67926849 · outbound
This paper cites It then calls AdvPoX in Case1.1.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise It then calls AdvPoX in Case1.1
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.781955Z
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 f87b2b86-ad3f-4a98-988b-36326bd81c7d · outbound
This paper cites By construc- tion M⁄= ARAdv = AR(t), as required by Definition 7.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise By construc- tion M⁄= ARAdv = AR(t), as required by Definition 7
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.769106Z
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 978cbd1b-8f23-46a5-8550-3221d0fa9988 · outbound
This paper cites exec.entry.
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise exec.entry
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:51:37.755472Z
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.