{"as_of":"2026-08-16T13:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d5d5ac1087943983c8372e233c80418049af07c73ff37eeeba1b495a0b6caa4b","coverage":[{"denominator":66,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":66,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:51:37.705120Z","state":"measured"},{"denominator":66,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":66,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.02444/citation-record","integrity":"/paper/1908.02444/integrity","json":"/paper/1908.02444/citation-record.json","paper":"/paper/1908.02444"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.459526Z","title":"C-flat: Control-flow attestation for embedded systems software","venue":null,"work_id":"411befdd-3905-4a8e-9e32-add613a9dfdf","year":2016},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.450078Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:4cea452a575b12950074f4fe7d8414881ea9815659d109c63d63df0b639363b4","observation_id":"cbbd40d5-febe-4db1-bb68-acfdfc336928","resolution":{"observed_at":"2026-08-14T14:51:38.463235Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.449328Z","title":"V APE source code","venue":null,"work_id":"2704d7da-e106-4485-bc91-5d8b045d21d1","year":2018},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.455084Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:d1b5046557a4b25a479c0c713592e061029b9709ddffa761b1054213642fc411","observation_id":"e5b8d1d3-a19d-4dbf-870f-a120980d40bc","resolution":{"observed_at":"2026-08-14T14:51:38.453000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.438616Z","title":"The security impact of a new cryptographic library","venue":null,"work_id":"b14c1fd5-eb31-4b5c-a760-23b495f45505","year":2012},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.459424Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:1298a2c16d03c6842be82867fb420a7401ff9dd151d20264f66f49c7d1453743","observation_id":"9492d8b6-d338-46c3-b7b9-4c76a60a453d","resolution":{"observed_at":"2026-08-14T14:51:38.442514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.428125Z","title":"Implementing TLS with verified cryptographic security","venue":null,"work_id":"290900fa-03e8-4f53-b842-03f778bde60b","year":2013},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.463485Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:7c376ecab38d182af5421c168725eeb4df0d086b0e8c18e73f89cf4705d34dbc","observation_id":"66045370-5cc8-4f32-9345-092e0b542b2b","resolution":{"observed_at":"2026-08-14T14:51:38.431841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.417711Z","title":"Vale: Verifying high- performance cryptographic assembly code","venue":null,"work_id":"874c4ed6-4b54-4bae-aab5-f8c5e4dbca74","year":2017},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.468249Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:a3bed611d51aa1e7f7190240aea8e46937bef85d08df6a230bc1dc7e29bd1303","observation_id":"ec68c74a-376c-4623-9080-74c13b562215","resolution":{"observed_at":"2026-08-14T14:51:38.421473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.406770Z","title":"Remote attestation for low-end embedded de- vices: the prover’s perspective","venue":null,"work_id":"0a8a4973-4926-435f-8f37-79f8e4f5369c","year":2016},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.472267Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:73a8d0732c23aeb2c4e30d7cf61d6bfefe7ef0624d7de5e8f8ccebec03f11dd3","observation_id":"372aead8-218c-43fa-9cac-7e8c2a629997","resolution":{"observed_at":"2026-08-14T14:51:38.410548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.396445Z","title":"Brasser et al","venue":null,"work_id":"c48573c0-68fd-4947-88e8-fb1b8ec592c5","year":2015},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.476795Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:93498149865d0b76c640fdf625f52de50ee9f99054a152e41202254f1af96a04","observation_id":"c3fbaa98-dff9-4166-a044-949d684adba2","resolution":{"observed_at":"2026-08-14T14:51:38.400157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.385460Z","title":"Temporal consistency of integrity-ensuring computations and applications to embedded systems security","venue":null,"work_id":"1bcaada3-fba9-4775-a9b2-6ed12ec5fa58","year":2018},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.480553Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:1b9311207cae53ce1b6e30473dafca359456c3adfca67aa2759db54607080d49","observation_id":"65d491c5-b07f-4fdd-aeb3-04a014b912cf","resolution":{"observed_at":"2026-08-14T14:51:38.389473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.373967Z","title":"Temporal consistency of integrity-ensuring computations and applications to embedded systems security","venue":null,"work_id":"6ff12b9b-43d8-4971-8e61-500ee331ba98","year":2018},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.484146Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:ce1978d66060058bbb9c7c437dff177cc49a15a694fd046dfa5db248807aafb1","observation_id":"b4e8d2be-03dc-4aae-a879-a284c6258279","resolution":{"observed_at":"2026-08-14T14:51:38.377983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.363462Z","title":"ERASMUS: Efficient remote attestation via self-measurement for unattended settings","venue":null,"work_id":"a2213d7d-ae5d-4f22-85b5-6245a8e185f5","year":2018},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.488041Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:a9de2042bceead007c6f59ef226c8c73e7394a3e56493a763f405fb7213c8e6e","observation_id":"59fada91-1c9b-4171-812d-bb5975cf3eb6","resolution":{"observed_at":"2026-08-14T14:51:38.367139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.352755Z","title":"Remote attestation of iot devices via SMARM: Shuffled measurements against roving malware","venue":null,"work_id":"cddf206f-c58e-4950-bd2e-23f5ea27730b","year":2018},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.492109Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:bf04eb300c5e5e95d46173a07e1795c4d9d36759f222469e15e25cdde917faa5","observation_id":"97409d31-aade-4a43-9647-a8764cdcd800","resolution":{"observed_at":"2026-08-14T14:51:38.356587Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.342852Z","title":"Iot- fuzzer: Discovering memory corruptions in iot through app-based fuzzing","venue":null,"work_id":"34fb5a77-313b-4fe3-8e14-7ff7d2bfab44","year":2018},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.496142Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:5d54bcc8020e5009a6f8829dd01b6cbe372c7b1d718e9e3f052c6e163071f2f6","observation_id":"b21e2479-5b53-4b25-ad3a-ec1d2347dff1","resolution":{"observed_at":"2026-08-14T14:51:38.346431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.332619Z","title":"NuSMV 2: An opensource tool for symbolic model checking","venue":null,"work_id":"17125d03-4047-4cda-abe1-ba9504b4973a","year":2002},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.499684Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:834089634b0cf8e052ba871eb813cc0a20f67cd94f442e60ca31357d31e00e48","observation_id":"5bcda5da-2aeb-4809-9808-595ee0bdc998","resolution":{"observed_at":"2026-08-14T14:51:38.336220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.322078Z","title":"Nusmv 2: An opensource tool for symbolic model checking","venue":null,"work_id":"dd13077a-26ae-48d3-a75a-80c328339a13","year":2002},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.503479Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:bd9bbddfe89649e76efd68702f08cec019052eb9483eb3ed7213fc4683336274","observation_id":"1d431388-4cdd-4c4a-8178-73876bc80d8b","resolution":{"observed_at":"2026-08-14T14:51:38.325862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.310678Z","title":"Sanc- tum: Minimal hardware extensions for strong software isolation","venue":null,"work_id":"ca8ab20f-2571-4f10-91b8-cc828f4174d4","year":2016},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.507375Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:018672c8583bc62ab05f391c3420f3c32bfb15257671200681e9003a3cf17b8a","observation_id":"ca969907-ec3e-4608-b8b8-4f6085c5d862","resolution":{"observed_at":"2026-08-14T14:51:38.315006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.299685Z","title":"A large-scale analysis of the security of embedded firmwares","venue":null,"work_id":"d8477286-4a7e-4639-a576-a224709ddfe2","year":2014},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.510983Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:6deb5a9b61d1d01b19e8846f198ef82a1b9e56189146ea77dade8eda9ff3118e","observation_id":"31eb473a-2a2b-4a68-b24c-5e6d84791c09","resolution":{"observed_at":"2026-08-14T14:51:38.303416Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1811.00175","last_updated":"2019-05-24T22:02:42Z","snapshot_observed_at":"2026-08-14T18:06:00.955614Z","submitted_at":"2018-11-01T01:09:18Z","title":"Formally Verified Hardware/Software Co-Design for Remote Attestation","version":4},"cited_work":{"arxiv_id":"1811.00175","doi":null,"metadata_source":"pith","pith_arxiv_id":"1811.00175","snapshot_observed_at":"2026-08-14T14:51:37.737018Z","title":"Formally Verified Hardware/Software Co-Design for Remote Attestation","venue":"cs.CR","work_id":"1a179212-53b0-4102-8523-8cee2a6cc177","year":2018},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.514673Z"},"links":{"cited_paper":"/paper/1811.00175","citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:2320e2cebcf6900a86fa2b27fb2a26e14e8f085e32ba5815c515a12ea9b18325","observation_id":"2cd64a78-863b-47be-86e6-3a2f2db5b0e9","resolution":{"observed_at":"2026-08-14T14:51:37.743339Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.288741Z","title":"Litehax: lightweight hardware- assisted attestation of program execution","venue":null,"work_id":"ed1f1b6e-3558-4210-b5a8-f98751a228ff","year":2018},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.518903Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:cd38524a2907e5e19496d5a2865e1d6dd5d9b22daa211a76a98d4a5cc94787ec","observation_id":"cec2a413-99bb-4feb-8b70-95512afbd00b","resolution":{"observed_at":"2026-08-14T14:51:38.292510Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.278299Z","title":"Lo-fat: Low-overhead control 14 flow attestation in hardware","venue":null,"work_id":"db3ecd80-9eb2-4268-9b01-947f96cc2833","year":2017},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.522893Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:1a8834055c81e0d289bb3aac42b8bc8b9fd2763921c5e2fbfa5b10dc4ee32376","observation_id":"28f6e226-cc4d-412c-adaa-a51e310d749b","resolution":{"observed_at":"2026-08-14T14:51:38.282176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.267413Z","title":"Spot 2.0—a framework for ltl and ω-automata manipulation","venue":null,"work_id":"ae82cd88-3767-4ac8-98d8-30ad26a13202","year":2016},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.526877Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:98f144aa65163f04923bac383c19959273d4882fb7027b23b50a22e190148528","observation_id":"ef0e2a78-2102-4c16-b825-50cfb0d97f6f","resolution":{"observed_at":"2026-08-14T14:51:38.271604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.256891Z","title":"HYDRA: hybrid design for remote attestation (using a formally verified microkernel)","venue":null,"work_id":"5d53c407-cec9-4b92-ab7e-8f870394cc56","year":2017},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.530729Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:0225418124b70272f80b68bfe68002f84354848ee0f3c78871c0af536803e5e8","observation_id":"cf67bf08-199d-4220-bff7-c072126cb90a","resolution":{"observed_at":"2026-08-14T14:51:38.260793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.246404Z","title":"SMART: Secure and minimal architecture for (establishing dynamic) root of trust","venue":null,"work_id":"2f8cd550-fb1e-465d-b36f-75f0b872948e","year":2012},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.534261Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:9733ab0fe0d30fe2131983b141e00f76db44738ddbda9e22da966d59dc77763c","observation_id":"217c52b2-50bc-4715-b71f-f588b2354644","resolution":{"observed_at":"2026-08-14T14:51:38.250062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.234688Z","title":"SMART: Secure and minimal architecture for (establishing a dynamic) root of trust","venue":null,"work_id":"121af8f7-677a-46a4-8830-467e92780595","year":2012},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.537832Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:6397d81ba2881d591a2623b98b0cbc2bf727555503183d832dac397de0417399","observation_id":"d7aebef0-730d-4dcc-a3bc-479ac85c5586","resolution":{"observed_at":"2026-08-14T14:51:38.238593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.223579Z","title":"A minimalist approach to re- mote attestation","venue":null,"work_id":"94373572-ea01-48ba-8241-46170ba0cc0d","year":2014},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.541266Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:f4778c51eb5e254df1a36cd3024c7324fa0b0b85c1e11049137143343776b191","observation_id":"0f9f4459-a11f-4c12-8f58-98f8ce8560e0","resolution":{"observed_at":"2026-08-14T14:51:38.227208Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.212266Z","title":"openMSP430, 2009","venue":null,"work_id":"8b6193f3-d4f4-4912-9304-a2c4f1aeacbd","year":2009},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.545318Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:af8390b3af4f289986f6e77f3fad5ebb38f7e930865faad65dcb4054bd382589","observation_id":"9188f17b-592e-4d3a-9cc3-5b7ec0f2d69f","resolution":{"observed_at":"2026-08-14T14:51:38.216431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.201769Z","title":"Ironclad apps: End-to-end security via automated full- system verification","venue":null,"work_id":"1284175b-1a1d-4d04-8cbd-ac92006c1de9","year":2014},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.549731Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:7a016f3ffa82d5b834dcdf5ba90f9292d1386910b5b6c5fb94ce795f97709440","observation_id":"4f7dceb0-9d95-4536-b9f8-242ebf589386","resolution":{"observed_at":"2026-08-14T14:51:38.205557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.190977Z","title":"SeED: secure non-interactive attestation for embedded devices","venue":null,"work_id":"b39d1b3b-5afa-41e2-a64c-480bd214bb75","year":2017},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.553130Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:c1ed31031dd46c53667f6a2a9bc18eb92af291383cefe788d4d69b0007db0c9e","observation_id":"bffca39f-7f04-48cd-adc9-e24668b9eacb","resolution":{"observed_at":"2026-08-14T14:51:38.195075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.179998Z","title":"Intel Software Guard Extensions (Intel SGX)","venue":null,"work_id":"9eb2dfb2-18e3-4a9a-ace1-162758b7eacf","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.556900Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:33fb32effc42c76470b987be690d84eae4bc30edd40324b59efd3392852374bd","observation_id":"0373fb51-fd55-47bd-b0f7-25235c21ede1","resolution":{"observed_at":"2026-08-14T14:51:38.184142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.169271Z","title":"Verilog2SMV: A tool for word-level verification","venue":null,"work_id":"1e29fe77-27bb-4026-99db-9ff806142f36","year":2016},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.560440Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:53ac83f95e0f869a274cf75414b21b5118e3b107e2ee94d5c99df9c97c7353f3","observation_id":"0646c89b-e725-44a9-b967-9e7e774318e9","resolution":{"observed_at":"2026-08-14T14:51:38.173203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.159106Z","title":"Establishing the genuinity of remote computer systems","venue":null,"work_id":"1020ce35-65f9-4062-9815-356f42514ca0","year":2003},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.563744Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:ff85db0940e82db05a7cfd0aaa4599c5d3dc27c8378a94566b56a61f089d389e","observation_id":"be632d80-b5f2-48ff-a5a2-870002dc4d55","resolution":{"observed_at":"2026-08-14T14:51:38.162732Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.148317Z","title":"seL4: Formal verification of an OS kernel","venue":null,"work_id":"9a90e8b2-c91c-4607-80d2-d8332630d550","year":2009},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.567557Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:cb3584b245190b4049be95865754c4b13e9dea2cc61c7d42e8722ed7f46fe7d5","observation_id":"09d75a55-7aa4-4bb9-b5fb-431fd0fda700","resolution":{"observed_at":"2026-08-14T14:51:38.152386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.137227Z","title":"TrustLite: A security architec- ture for tiny embedded devices","venue":null,"work_id":"9c51a3f4-e26a-4bd4-a7fd-e4093ea0a52f","year":2014},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.571636Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:a162e2dd96227806ba9dccc8dc4f19eba554d4b020c1a87a3bb4bf2104cd3035","observation_id":"f367b5b7-7ebe-42f3-8042-ac9a423fe8a6","resolution":{"observed_at":"2026-08-14T14:51:38.141395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.125401Z","title":"Koeberl et al","venue":null,"work_id":"d8c3ffb0-211d-4382-a77c-01fe56a1adf9","year":2014},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.575345Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:c103197f5114b73b8c6fd6f0ace5eaaba3c83f61194fbf72f9bb41e8424cecf0","observation_id":"5057195d-4f70-4bb7-a510-4a85489ef6d9","resolution":{"observed_at":"2026-08-14T14:51:38.129538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.114137Z","title":"Kovah et al","venue":null,"work_id":"7e4811fc-3d2c-4d47-8e65-58b3df76f91f","year":2012},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.579438Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:54d2d6446a3e4621d881925df4994630b80d493b91a03d040d341e2a51598c6c","observation_id":"4c7b8c80-51b3-42c4-9f9c-51067368bda9","resolution":{"observed_at":"2026-08-14T14:51:38.117613Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.103902Z","title":"Formal verification of a realistic compiler","venue":null,"work_id":"13da3a96-4dde-4f4c-8a53-6d812eff406e","year":2009},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.583342Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:1836884410f58192acc2254b7775dd3ae7c94f24d4fdd64f6f90e9bded916d5d","observation_id":"9366b9df-37aa-4727-919e-6a110a93e143","resolution":{"observed_at":"2026-08-14T14:51:38.107606Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.092392Z","title":"McCune, and Adrian Perrig","venue":null,"work_id":"e2de71df-ccce-49e4-b6c6-00596eb83ab9","year":2011},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.587204Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:12519c1deb9b7c8a5591dc52fb10f5828c572deb61d21d571db0ecf3bf667245","observation_id":"afc06344-18d9-4f0d-9109-4cb3e9b247be","resolution":{"observed_at":"2026-08-14T14:51:38.096337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.081143Z","title":"Sancus 2.0: A low-cost security architecture for iot devices","venue":null,"work_id":"36b20978-bab1-4d33-aeb7-dc4dc359927c","year":2017},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.592474Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:0a3f31ce70c1183de31587731f05e50d47c2c690bb5a0d83350c8c93227e5725","observation_id":"faf60f5f-2a6c-44e3-b209-7ee1b0625753","resolution":{"observed_at":"2026-08-14T14:51:38.085440Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.071123Z","title":"Towards systematic design of collective remote attestation protocols","venue":null,"work_id":"eeb5e5eb-cfda-4f39-b02e-f30b902164f7","year":2019},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.596265Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:3e68c130b64cbe20524a74bb91dd556e59f965166fdafe27e77678019c865ff9","observation_id":"51f9a71b-20ab-44d8-870c-8dce0be8e2d4","resolution":{"observed_at":"2026-08-14T14:51:38.074786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.060836Z","title":"Secure code update for embedded devices via proofs of secure erasure","venue":null,"work_id":"7c7efe28-fe86-428d-a027-ffcd658c5d5f","year":2010},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.600059Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:6293745a28ad970283ba71c181dd25ca31310af684e19659e4a9a7e7c24785b7","observation_id":"329dd1f7-c341-46f2-a2cd-6538bbd8e2b5","resolution":{"observed_at":"2026-08-14T14:51:38.064568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.050859Z","title":"Petroni et al","venue":null,"work_id":"83c55fe0-d604-4749-a615-ff884e82b3b4","year":2004},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.603850Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:9afc077f0dd0b1c27bb1eabe4616f715d6ae6f93be19447b4ccfd8169d47ceb5","observation_id":"639ffbbc-8f2c-44f0-83f7-4ba9e749b367","resolution":{"observed_at":"2026-08-14T14:51:38.054469Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.039507Z","title":"Tamper resistance mechanisms for secure embedded systems","venue":null,"work_id":"24c969b5-19c9-458c-bb44-7d48768ce474","year":2004},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.607551Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:ea642eae547ad3af2b270415c7b105698069375a0d6cb7dd429297c1b7335da0","observation_id":"f13fdbe8-0d07-4452-b756-5ae7106d9f3d","resolution":{"observed_at":"2026-08-14T14:51:38.043604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.027992Z","title":"Scuba: Secure code update by attestation in sensor networks","venue":null,"work_id":"71407ef6-096b-4c2e-b1d1-32a55a72b3ff","year":2006},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.611186Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:caf12d18fb3e2cdb9fedb919387293f83c525a7463f9ea3e3b172247e84d0eb7","observation_id":"399d285e-3ad1-4014-bfd6-256e520cf394","resolution":{"observed_at":"2026-08-14T14:51:38.031931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.016755Z","title":"Seshadri et al","venue":null,"work_id":"33a0457e-a2b5-4514-80c9-a79c5560f673","year":2004},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.614885Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:8c1e8c1051090a457c14b974adbb9aa06761cdc3a582d6bca68acfcef96fd543","observation_id":"d7b3d3dc-79a2-44a3-bbd0-8aa84dd02a17","resolution":{"observed_at":"2026-08-14T14:51:38.020563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:38.004552Z","title":"Seshadri et al","venue":null,"work_id":"be50a634-b3ba-4832-be00-47fa4a90f492","year":2005},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.619396Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:440ada4e1a713ca2a1b92d1b7b283fca55d3d6782b3a2d3b12959a93ad13ea90","observation_id":"b13eaa27-9a32-472b-b2ca-10bb4663a3c9","resolution":{"observed_at":"2026-08-14T14:51:38.008777Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.993409Z","title":"Trusted platform module (tpm), 2017","venue":null,"work_id":"8be7f493-2a52-470f-9037-f0593a1f0be9","year":2017},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.623337Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:acb8de8679c6c6f33a1404bf50cd5cf65e6c3c76405132d4e0544d95f303d621","observation_id":"ee4a6572-f089-4084-a6f0-6490ea56b0b7","resolution":{"observed_at":"2026-08-14T14:51:37.997144Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.981783Z","title":null,"venue":null,"work_id":"29cfe9dd-66f0-4eae-a446-8a2a971d51d1","year":2015},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.626872Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:5b25a46b1f8afeed75560aafc5b3f9aacc0eb949e76ecc2fb08bae0dcb4412e9","observation_id":"ba2c04cf-4202-4861-bc1c-48d913c130c9","resolution":{"observed_at":"2026-08-14T14:51:37.985915Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.971550Z","title":"Atrium: Runtime attestation resilient under memory attacks","venue":null,"work_id":"317938a5-4673-4e0f-a996-479421c43d33","year":2017},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.630322Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:c9a3226321daabec758ac10e8f4a267c125638ae8b68ad661fc6519ddb03e663","observation_id":"6e8931e1-fc94-4791-afe9-14949965c450","resolution":{"observed_at":"2026-08-14T14:51:37.975238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.959348Z","title":"Hacl*: A verified modern cryptographic library","venue":null,"work_id":"33c5e14e-98ac-46a6-967c-2337fcb9fd0e","year":2017},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.633718Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:47bc0b1aa9507a44417c03098a080171c18fb2b1740ada5969b2bfba51330cb6","observation_id":"c53b58f8-76d1-478d-b1c4-03a4d4ae8092","resolution":{"observed_at":"2026-08-14T14:51:37.963410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.949030Z","title":null,"venue":null,"work_id":"580820f6-95bf-4510-9bc1-897615992944","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.638018Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:e3d8fd397e62dd3bf47dea4da651ca70085a47b5b181b313fd21b53f54ca816f","observation_id":"9048ceb5-ffe4-40ef-b968-803a1a9ad92c","resolution":{"observed_at":"2026-08-14T14:51:37.952547Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.938412Z","title":null,"venue":null,"work_id":"89711cec-898f-42eb-be2d-af4a90f4e572","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.641448Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:ec234ae4ffaab4fecfbbe14f98646cc9502a3a40e5902b0db7a6ad723682dda0","observation_id":"f89a3721-f7af-4712-8e4f-1347f8cc1c7e","resolution":{"observed_at":"2026-08-14T14:51:37.941947Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.927620Z","title":null,"venue":null,"work_id":"6250a9e2-f33f-4037-b07c-b4ce68ed4917","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.646115Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:2080ea3fb3f8b0167046a9e13fc7ec68d9681e24becdf1de3119dbbdfc3fcca8","observation_id":"5710f502-12a2-41dd-9809-abaa0f60b663","resolution":{"observed_at":"2026-08-14T14:51:37.931310Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.915138Z","title":"Figure 6 represents a verified model enforcing LTLs 4-6, corresponding to the high-level property EP2- Ephemeral Atomicity","venue":null,"work_id":"da7af942-cfd2-40e2-8bca-fe7e5866e204","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.650058Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:06d80d32a57b8eb74683b03008a0787337b1c9ede68583a0aa04f3c876c7b9f3","observation_id":"386d9210-9a2e-4173-8741-970d47b961c8","resolution":{"observed_at":"2026-08-14T14:51:37.920481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.903887Z","title":null,"venue":null,"work_id":"2651d889-4de5-4170-951b-5efc870c1291","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.654838Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:427cb9e1680de253914b708fc210c47991fe2e24afa9913b1c456370a9e29c4f","observation_id":"57e83a12-6412-4a02-b02e-7a58c7b7dcb9","resolution":{"observed_at":"2026-08-14T14:51:37.907598Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.892784Z","title":"In the interval between S0 and S1 PC remained executing instructions within ER, there were no interrupts, no resets, and DMA remained inactive","venue":null,"work_id":"a628f0f6-89ef-4d29-85b2-1efc0d1233fc","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.658720Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:437bbf2c4165993566a206d6b948188797f05b8b6fdea09f14e6e68aed780815","observation_id":"54854ff8-caeb-4ba3-a666-f769fa799b28","resolution":{"observed_at":"2026-08-14T14:51:37.896995Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.881980Z","title":"In the interval between S0 and S2 the memory regions of METADATA and ER were not modified","venue":null,"work_id":"364e4bf7-549d-474f-9290-17ea688ff80c","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.662392Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:e22ad0fe840486082b9ca24f6107ee6df95eb2a0179afffa3ab0b39e075a4e22","observation_id":"3a966666-b3bf-4de6-b072-0038d5529d46","resolution":{"observed_at":"2026-08-14T14:51:37.885688Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.870757Z","title":"The first two properties to be noted are LTL 12 and LTL 11","venue":null,"work_id":"b7a68f2b-68e0-45b5-abf8-800dd67c9f50","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.665973Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:13cfaa84fd379fb45bcda8d56796ce97157d56f601eb778cdc446c2d739ea0de","observation_id":"331cec13-b6bb-4e66-bed6-7e2f63baeca2","resolution":{"observed_at":"2026-08-14T14:51:37.874415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.858146Z","title":"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","venue":null,"work_id":"81b9deb2-ae3c-4629-8669-036cfafceb59","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.670087Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:34e9009e8c7c61e3bce5396408d9873df28622378a7f6a3053fd7a13bc96d41f","observation_id":"486cee5d-eea9-4ddd-bf91-9d0ff886b323","resolution":{"observed_at":"2026-08-14T14:51:37.863061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.846766Z","title":null,"venue":null,"work_id":"762be3d4-aa68-4ead-afc8-e931b0cc2eb7","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.674360Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:e22c23de2576dc134cd8d03ec92ed71e52d2b5fabfb3b0fd8941ea9f5ecb78e9","observation_id":"b43361cb-6f03-43ee-ae61-4ed80ee9e330","resolution":{"observed_at":"2026-08-14T14:51:37.850901Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.835945Z","title":null,"venue":null,"work_id":"9ed84905-2abd-46fb-a6ed-99b48b6e956d","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.677968Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:b292dfe7e637844f43820b9bc94e5f39e5e3d3cfa00997c8bd5c41cfb008eb24","observation_id":"0fa3bd91-965c-48bb-bb45-52c0f6b9e72f","resolution":{"observed_at":"2026-08-14T14:51:37.839654Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.824782Z","title":null,"venue":null,"work_id":"8ca0f3b1-f0a1-42f9-8320-b47f29a8b9b9","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.682931Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:bbe23124b5b1c412e16cc7ff5a022e44cd025641969c93e264d63db6e620e7a9","observation_id":"89342ce8-37bf-453c-aa01-6ff57b342a73","resolution":{"observed_at":"2026-08-14T14:51:37.828727Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.813551Z","title":"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","venue":null,"work_id":"771c41a3-a364-44ae-b1d7-363ae750bbb1","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.686411Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:8815509aec5f611e3af5d15bced2c8e49269ca686bc4f45e0b727d44004d383e","observation_id":"22270c65-7064-4c97-996f-d7d2af40edf9","resolution":{"observed_at":"2026-08-14T14:51:37.817772Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.800409Z","title":"Let X(t) denote the content in memory region X at time t","venue":null,"work_id":"186f73d6-d187-4df3-8c4d-acb72a8971da","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.690308Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:49007e7dd1119030eacd16a430bec7054ceeb9b7480bfd1bbf1c4d11d5daf030","observation_id":"8b22b707-5348-46bb-b212-2b4235c55bc1","resolution":{"observed_at":"2026-08-14T14:51:37.805116Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.789443Z","title":null,"venue":null,"work_id":"15eafc1e-72f6-41ce-8bf1-8f2f4896dc12","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.694214Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:25a40d47940570e521f04e6f84030f5b58b33d80d22b70750e2e92239d2a249e","observation_id":"c6ce4cb2-692d-4625-b9f4-723370c78bf6","resolution":{"observed_at":"2026-08-14T14:51:37.793132Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.777604Z","title":"It then calls AdvPoX in Case1.1","venue":null,"work_id":"06e1ad94-f008-4f0c-add8-b61dad5da9cf","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.697959Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:46d345d16c16377eb44784f164ab5ee2ee9ee7e5202e59e08ff9e0feabd247ac","observation_id":"2daebd9e-7b13-4d0d-b243-0ecf67926849","resolution":{"observed_at":"2026-08-14T14:51:37.781955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.764996Z","title":"By construc- tion M⁄= ARAdv = AR(t), as required by Definition 7","venue":null,"work_id":"ce878c27-288d-4848-a393-13e7e7d76331","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.701621Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:98a9f55cdeee6f039c0b3f04ab9e1bedc23dedb2dccaff7b5fbb27529953c8fa","observation_id":"f87b2b86-ad3f-4a98-988b-36326bd81c7d","resolution":{"observed_at":"2026-08-14T14:51:37.769106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:51:37.751818Z","title":"exec.entry","venue":null,"work_id":"183928db-4de7-445d-b0bf-5aa344187818","year":null},"citing_paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-14T14:51:37.705120Z"},"links":{"citing_paper":"/paper/1908.02444"},"observation_digest":"sha256:1c21847c0ae8205b7511373b06d8b10ca59f8560723387e09f9dc18205a1f6a6","observation_id":"978cbd1b-8f23-46a5-8550-3221d0fa9988","resolution":{"observed_at":"2026-08-14T14:51:37.755472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.02444","last_updated":"2020-01-10T19:06:24Z","latest_version":2,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-14T14:41:35.620140Z","submitted_at":"2019-08-07T05:16:22Z","title":"A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise"},"reference_resolution":{"displayed":66,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":1,"verified_fuzzy":56},"total_outbound_references":66},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"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."}