{"as_of":"2026-08-16T12:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:128c721e21c0730c6f889406966dfbfa4f0aefc0126622e29fa032c1a21e84e2","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T12:27:43.366732Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"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.07159/citation-record","integrity":"/paper/1908.07159/integrity","json":"/paper/1908.07159/citation-record.json","paper":"/paper/1908.07159"},"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-14T12:27:43.802556Z","title":"Security technology building a secure system using trustzone technology (white paper),","venue":null,"work_id":"3857f2d0-37eb-4aeb-a1e6-e7b19c7262df","year":2009},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.233199Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:b965048bca584569646ee8aad95bbc2b800d090043d7f62e841aeaccac25c483","observation_id":"299d98b0-79ca-44fd-b35d-3c2111434523","resolution":{"observed_at":"2026-08-14T12:27:43.808586Z","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-14T12:27:43.789522Z","title":"Trustzone explained: Architectural features and use cases,","venue":null,"work_id":"69f9e672-5dc9-482c-9468-893d57a4f1c2","year":2016},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.238070Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:b4a02f37d1932a1f61aec5cd141205e550cf2a9618b922a6d020830d50ded93a","observation_id":"ca80442a-0b87-4f01-bac5-6960283e9859","resolution":{"observed_at":"2026-08-14T12:27:43.794187Z","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-14T12:27:43.776451Z","title":"T2droid: A trustzone-based dynamic analyser for android applications,","venue":null,"work_id":"1b612360-f6f3-4d9c-813e-916136f1433c","year":2017},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.242539Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:60896d1a69ea8031f3e7602b35c3ddb3b33dda109dda32adc2f1c8649a0bfe71","observation_id":"99dac749-b6db-4583-b9c9-0279dc579c99","resolution":{"observed_at":"2026-08-14T12:27:43.780601Z","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-14T12:27:43.762079Z","title":"Secure block device–secure, flexible, and efficient data storage for arm trustzone systems,","venue":null,"work_id":"9253a47b-33a6-479f-8358-a2a32a91a7cb","year":2015},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.246791Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:90e36fb11f7cec6a8620ff3928f98285bf90f38c1b2ceabbf9588807052a313b","observation_id":"e2cd4714-a538-46db-b9c2-a918f4fd9015","resolution":{"observed_at":"2026-08-14T12:27:43.766924Z","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-14T12:27:43.746969Z","title":"Trusttokenf: A generic security framework for mobile two-factor authentication using trustzone,","venue":null,"work_id":"f59bc7db-7655-4e1e-a199-2238cdb51ff5","year":2015},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.250807Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:1bfa5b9931cf9db64a66df7ab8d75afd71946466699736d2d0687c7be4b76c15","observation_id":"38c707f6-0819-427c-812c-9d36d3fdf92c","resolution":{"observed_at":"2026-08-14T12:27:43.752668Z","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-14T12:27:43.733903Z","title":"Protc: Protecting drone’s peripherals through arm trustzone,","venue":null,"work_id":"0f4c7a82-9aff-4840-b754-8681f833c69f","year":2017},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.255498Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:b54cf09fd3061b161e520dc058a8c930404f199ce86faf7abc4252eff8171be7","observation_id":"e5613696-967d-4eae-8716-753df8dbdf4c","resolution":{"observed_at":"2026-08-14T12:27:43.738465Z","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-14T12:27:43.718825Z","title":"Qsee trustzone kernel integer over flow vulnerability,","venue":null,"work_id":"68655a50-14c4-4a39-8e99-8ee5877e3b8f","year":2014},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.260187Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:907dc3b9b093b0ece12eb5936ae9bab874ceda3218a872063ff53b3cbe40f9f1","observation_id":"6f4a546f-9f71-4e8e-ab05-8e1c30748d47","resolution":{"observed_at":"2026-08-14T12:27:43.724249Z","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-14T12:27:43.705559Z","title":"Attcaking your","venue":null,"work_id":"379dbe95-4f11-40a8-9164-ef2a8ac09345","year":2015},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.263856Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:16d6ed3e056747f566db463e795e4b87a766a179523338c672c8de4d3de8e740","observation_id":"f6e861ff-337d-4ff6-ab13-8d88231715d5","resolution":{"observed_at":"2026-08-14T12:27:43.709699Z","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-14T12:27:43.694067Z","title":"Nova: a microhypervisor-based secure vir- tualization architecture,","venue":null,"work_id":"47431ba2-b01b-4c74-bba7-d75f36d58ed4","year":2010},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.268083Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:7783064a67dcfa820e30d6b4f8ce833de3a63adbe48e347e06a1e16391a00fe2","observation_id":"df6a7388-cf6e-47ca-996a-57e560308960","resolution":{"observed_at":"2026-08-14T12:27:43.698335Z","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-14T12:27:43.681414Z","title":"Fiasco.oc,","venue":null,"work_id":"85be9fb2-54cc-4cfe-9bf7-36d8ba8241c7","year":null},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.271954Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:e6e666133ababad84e9fe51032cf736dcc3a4986a1a963632d71456ba09d2163","observation_id":"4a448b54-70ca-4a3b-acf9-3d4dbd2249da","resolution":{"observed_at":"2026-08-14T12:27:43.685676Z","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-14T12:27:43.669649Z","title":"Developers, “Redox,” https://www.redox-os.org/","venue":null,"work_id":"2ed1d9de-44c7-4f4a-9991-6bd02fbcb5ef","year":null},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.275788Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:9303c6edf651ca56dc73fc293b0c168262fe1260eecfb5fa2902349ec9820a9e","observation_id":"1b8b2246-118f-4984-8286-1d4d64d62a0e","resolution":{"observed_at":"2026-08-14T12:27:43.673764Z","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-14T12:27:43.656661Z","title":"On-board cre- dentials with open provisioning,","venue":null,"work_id":"a5974de9-ede0-49b9-a2a9-79ab1f1f6d09","year":2009},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.279579Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:8fa8466dd4260c0051b9c1afb72ddc322cc0fb54217b45a5a020fb250e8fb2ef","observation_id":"0135745f-1f2f-4f27-b8d4-293d7a464d1b","resolution":{"observed_at":"2026-08-14T12:27:43.660651Z","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-14T12:27:43.644285Z","title":"On-board credentials: an open credential platform for mobile devices,","venue":null,"work_id":"b08e32c0-a548-4720-b941-3d5cc99e1ff5","year":2012},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.284078Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:5497245da2cab03ff92dc87a8c597dfb71da8c00250b125ad8e7cadecb3886fd","observation_id":"22910725-dcf4-4d2a-9c3f-3e13af438f3e","resolution":{"observed_at":"2026-08-14T12:27:43.648399Z","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-14T12:27:43.632267Z","title":"Towards user-friendly credential transfer on open credential platforms,","venue":null,"work_id":"792ad504-8643-421a-8235-69821049f5ca","year":2011},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.287806Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:426752b367eb7eec16c206b075941acc65b766ccb179f674f14c82288c8927d9","observation_id":"f909096d-9462-41cd-b2fe-00a878685357","resolution":{"observed_at":"2026-08-14T12:27:43.636506Z","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-14T12:27:43.618586Z","title":"Key attestation from trusted execution environments,","venue":null,"work_id":"5db15955-4b2a-4466-b0c9-e082b93b06e7","year":2010},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.292265Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:14c9776f48d4a712e782685086c396b04cbcedbc088ddfac15c2202da5575297","observation_id":"3d2baecc-a758-4879-8e0e-f3ad8995fb9f","resolution":{"observed_at":"2026-08-14T12:27:43.622480Z","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-14T12:27:43.606349Z","title":"Practical property-based attestation on mobile devices,","venue":null,"work_id":"92a31836-ed54-479a-8fcc-bfe93b09bc71","year":2011},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.296203Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:479c4466074f41d0b9875d9fad364fc054055da10a2a46ee23c6bad9b9d4bba1","observation_id":"a96bd6a9-34c6-4103-870b-d5c028f1c036","resolution":{"observed_at":"2026-08-14T12:27:43.610877Z","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-14T12:27:43.593275Z","title":null,"venue":null,"work_id":"e38aa8af-ee5c-4b82-9888-9538e98ff6ae","year":null},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.300206Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:9cc7a6ced40bc275acd825b31b1afa88f8f58e149558a6548e17db6606e53505","observation_id":"77a9715d-4dd3-4d61-9e2c-259e8808fa87","resolution":{"observed_at":"2026-08-14T12:27:43.597230Z","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-14T12:27:43.581958Z","title":null,"venue":null,"work_id":"0abc6f68-5658-48e0-821e-4dafdb1a322e","year":null},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.304959Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:46d97fbea43cac8980a5bb3af5776c9692e59f9a5134e8351667fdea13bcb690","observation_id":"34006a1e-c269-4f65-81a2-4527f9755fc9","resolution":{"observed_at":"2026-08-14T12:27:43.586027Z","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-14T12:27:43.569183Z","title":"Using arm trustzone to build a trusted language runtime for mobile applications,","venue":null,"work_id":"ce18ccbc-aeb1-45cf-bd31-7f81c553f5cc","year":2014},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.309517Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:f24aa7912a0f33396f39fe6d35aa6a32c8ee9d9ee34cc5ef6a634960ca6c4fa1","observation_id":"d3f6c973-6b28-4397-a509-ba4c89d927a4","resolution":{"observed_at":"2026-08-14T12:27:43.574327Z","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-14T12:27:43.556708Z","title":"Trusted language runtime (tlr): enabling trusted applications on smartphones,","venue":null,"work_id":"572e7adb-2460-4a33-9da3-c960b7ffebd1","year":2011},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.313948Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:b89a92feacf226d1d7604f735721b975688ff3fd09a4c0193c8cd06dfb8bb88b","observation_id":"7f6ba041-a952-4ff4-b4a7-58e7cd69e189","resolution":{"observed_at":"2026-08-14T12:27:43.561088Z","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-14T12:27:43.545567Z","title":"Op-tee documentation,","venue":null,"work_id":"a3fc4181-bfda-43e6-b0bf-0bbb325b8deb","year":2019},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.318141Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:7f6b4c7b2a4a569baa62007041442eee322ee3e2140cbe814c8a033d6f744aed","observation_id":"ac6d3612-365e-4d2e-9f9c-a73c850d558e","resolution":{"observed_at":"2026-08-14T12:27:43.549471Z","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-14T12:27:43.532839Z","title":"The andix research osłarm trustzone meets industrial control systems security,","venue":null,"work_id":"072d0b27-595b-43c0-a48e-1ecb23ba9ff9","year":2015},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.321887Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:2f57d8eda9ee73b5989cbca60d71752c52933c2288836985e12ccd62d4b8abfa","observation_id":"831218d7-46f8-47fd-8bf5-bb77130965b6","resolution":{"observed_at":"2026-08-14T12:27:43.537389Z","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-14T12:27:43.520020Z","title":"Open-tee– an open virtual trusted execution environment,","venue":null,"work_id":"9f6ad386-f3c8-4745-ba3e-2a2064f33e4d","year":2015},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.326125Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:3697e090bf9be73831aa39ced1ddda291aff75d4abbea0771eea78b9c7201384","observation_id":"cd29905b-63aa-466d-8fc6-3a8eb507f20a","resolution":{"observed_at":"2026-08-14T12:27:43.524123Z","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-14T12:27:43.508522Z","title":"Tee internal core api specification,","venue":null,"work_id":"8c6d803b-d75c-402b-b047-74e9e8963c91","year":2018},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.329978Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:7abaebb37407dfacabada72b69fe6efdb4da094efbf6025a4daeed9123380233","observation_id":"6055d7fb-aaa9-4864-9a2f-4b7a364a73ee","resolution":{"observed_at":"2026-08-14T12:27:43.512376Z","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-14T12:27:43.494278Z","title":"Providing root of trust for arm trustzone using on-chip sram,","venue":null,"work_id":"58df0639-bdb0-48bc-934a-74e15dc8b532","year":2014},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.333373Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:d4802f440f8cd17050ac9ca5ac2455aaf87eac1c411fc00743dcfdd6e7762530","observation_id":"bca15b29-0d3b-4ab3-b4bb-d238f3c77b3e","resolution":{"observed_at":"2026-08-14T12:27:43.498986Z","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-14T12:27:43.481784Z","title":"Softme: A software- based memory protection approach for tee system to resist physical attacks,","venue":null,"work_id":"b973a899-3b58-4aab-b8bf-652a9e39f565","year":2019},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.337479Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:e0d76a9bce505ecc593d82f780d6bda4e4de6c50af68602326651d9e91943891","observation_id":"ad0acc48-6989-4f95-b890-aa102b928616","resolution":{"observed_at":"2026-08-14T12:27:43.485848Z","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-14T12:27:43.470573Z","title":"Case: Cache-assisted secure execution on arm processors,","venue":null,"work_id":"8b7cc900-4b7b-487b-bacc-d2cf1b66e5b5","year":2016},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.341458Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:65fc6efc984d0485c882b7f1079b4c53ed0c40ff8cc0cbdab186521377860bf1","observation_id":"e56f90d1-660d-48f9-9fc1-0d0a6cd3f633","resolution":{"observed_at":"2026-08-14T12:27:43.474508Z","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-14T12:27:43.457337Z","title":"Trustshadow: Secure execution of unmodified applications with arm trustzone,","venue":null,"work_id":"fac7d458-9aa4-4591-8aa2-75dec5624f68","year":2017},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.346261Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:55672e5795202918ed9b36ea540d6558046814a2a07fc29b3ef89adcfed25df0","observation_id":"4642cd25-8f16-4f6b-be9a-8154883477de","resolution":{"observed_at":"2026-08-14T12:27:43.461953Z","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-14T12:27:43.444577Z","title":"Cryptme: Data leakage prevention for unmodified programs on arm devices,","venue":null,"work_id":"7ec9ede7-db52-45e2-8737-36e7b691080f","year":2018},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.350594Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:d13d5add08889db4dccf2decc6b20a1977258c3b428239f05a332b45c29a7870","observation_id":"b952831a-509a-4b4b-925e-fccdf550bb0a","resolution":{"observed_at":"2026-08-14T12:27:43.448874Z","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-14T12:27:43.431754Z","title":"From l3 to sel4 what have we learnt in 20 years of l4 microkernels?","venue":null,"work_id":"ce9309e8-1bb1-4268-8248-3124ca003570","year":2013},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.355022Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:cec1f2bdf3364f8375d85ac483e93ec63d252a9786f7d625941c8d56b0a66620","observation_id":"9a966714-764e-459e-88e7-41e2e32fb790","resolution":{"observed_at":"2026-08-14T12:27:43.436448Z","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-14T12:27:43.420044Z","title":"sel4 reference manual,","venue":null,"work_id":"3870edc2-4c9a-4a1e-a117-58316bad7367","year":2006},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.359645Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:2b58f46a91c10ad3cf7885ec557842686ba8b830064cb356ec5746070a6a1ca3","observation_id":"27f6c258-e5c3-4b04-a151-4952f360b176","resolution":{"observed_at":"2026-08-14T12:27:43.423872Z","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-14T12:27:43.407806Z","title":"sel4: Formal verification of an os kernel,","venue":null,"work_id":"194eca50-1470-4571-8beb-1b7c051c89f2","year":2009},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.363236Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:2bcbea445ed9ab5c77ab349b1e6e7384f0242664b5368b69458297886f73c1d6","observation_id":"28cf5072-c707-41de-8004-a8963d97bdc0","resolution":{"observed_at":"2026-08-14T12:27:43.411963Z","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-14T12:27:43.393947Z","title":"Timing analysis of a protected operating system kernel,","venue":null,"work_id":"cbd52d35-60d1-4565-b20e-8bfb058a99ef","year":2011},"citing_paper":{"arxiv_id":"1908.07159","last_updated":"2019-08-20T04:22:58Z","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T12:27:43.366732Z"},"links":{"citing_paper":"/paper/1908.07159"},"observation_digest":"sha256:7f6c051099599a5055e696b078fb52dc74900628ba1a7fd70634db506be1acf9","observation_id":"b75f0428-cc4a-43e9-b2e5-bdafd63fdc10","resolution":{"observed_at":"2026-08-14T12:27:43.399492Z","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.07159","last_updated":"2019-08-20T04:22:58Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-16T08:39:28.712831Z","submitted_at":"2019-08-20T04:22:58Z","title":"MicroTEE: Designing TEE OS Based on the Microkernel Architecture"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":0,"verified_fuzzy":31},"total_outbound_references":33},"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 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:1908.07159."}