{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:6DMLKBKHEZOIFMV6T4DOXUFMB3","short_pith_number":"pith:6DMLKBKH","schema_version":"1.0","canonical_sha256":"f0d8b50547265c82b2be9f06ebd0ac0ee4c1bdf067197424be4908b4c8f66dc4","source":{"kind":"arxiv","id":"2307.13172","version":1},"attestation_state":"computed","paper":{"title":"HasTEE: Programming Trusted Execution Environments with Haskell","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Abhiroop Sarkar, Alejandro Russo, Koen Claessen, Robert Krook","submitted_at":"2023-07-24T23:37:50Z","abstract_excerpt":"Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code and data within an untrusted host environment, such as the cloud and IoT. Despite strong security guarantees, TEE adoption has been hindered by an awkward programming model. This model requires manual application partitioning and the use of error-prone, memory-unsafe, and potentially information-leaking low-level C/C++ libraries.\n  We address the above with"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2307.13172","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-07-24T23:37:50Z","cross_cats_sorted":[],"title_canon_sha256":"7f26b0218dd5344cb8aefb2ba8ade9ff93fec8b9e12cccee215d334776c4a865","abstract_canon_sha256":"6120140f1874cfa81d6f2f1710f54bbd97d3cfcbc4f05c21ac73b5fcf6d5ebe4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:34:09.816334Z","signature_b64":"qLQXegqezwt9JGeteYo8foS8j5UoZv6XjuhW0AQGv88NgwVG85tNnEB8neH2XMQB5X9iIqJBftne5YxvLhIwCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0d8b50547265c82b2be9f06ebd0ac0ee4c1bdf067197424be4908b4c8f66dc4","last_reissued_at":"2026-07-05T06:34:09.815957Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:34:09.815957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"HasTEE: Programming Trusted Execution Environments with Haskell","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Abhiroop Sarkar, Alejandro Russo, Koen Claessen, Robert Krook","submitted_at":"2023-07-24T23:37:50Z","abstract_excerpt":"Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code and data within an untrusted host environment, such as the cloud and IoT. Despite strong security guarantees, TEE adoption has been hindered by an awkward programming model. This model requires manual application partitioning and the use of error-prone, memory-unsafe, and potentially information-leaking low-level C/C++ libraries.\n  We address the above with"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.13172","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2307.13172/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2307.13172","created_at":"2026-07-05T06:34:09.816015+00:00"},{"alias_kind":"arxiv_version","alias_value":"2307.13172v1","created_at":"2026-07-05T06:34:09.816015+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.13172","created_at":"2026-07-05T06:34:09.816015+00:00"},{"alias_kind":"pith_short_12","alias_value":"6DMLKBKHEZOI","created_at":"2026-07-05T06:34:09.816015+00:00"},{"alias_kind":"pith_short_16","alias_value":"6DMLKBKHEZOIFMV6","created_at":"2026-07-05T06:34:09.816015+00:00"},{"alias_kind":"pith_short_8","alias_value":"6DMLKBKH","created_at":"2026-07-05T06:34:09.816015+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2412.17304","citing_title":"On the Feasibility of Vision-Language Models for Time-Series Classification","ref_index":8,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6DMLKBKHEZOIFMV6T4DOXUFMB3","json":"https://pith.science/pith/6DMLKBKHEZOIFMV6T4DOXUFMB3.json","graph_json":"https://pith.science/api/pith-number/6DMLKBKHEZOIFMV6T4DOXUFMB3/graph.json","events_json":"https://pith.science/api/pith-number/6DMLKBKHEZOIFMV6T4DOXUFMB3/events.json","paper":"https://pith.science/paper/6DMLKBKH"},"agent_actions":{"view_html":"https://pith.science/pith/6DMLKBKHEZOIFMV6T4DOXUFMB3","download_json":"https://pith.science/pith/6DMLKBKHEZOIFMV6T4DOXUFMB3.json","view_paper":"https://pith.science/paper/6DMLKBKH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2307.13172&json=true","fetch_graph":"https://pith.science/api/pith-number/6DMLKBKHEZOIFMV6T4DOXUFMB3/graph.json","fetch_events":"https://pith.science/api/pith-number/6DMLKBKHEZOIFMV6T4DOXUFMB3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6DMLKBKHEZOIFMV6T4DOXUFMB3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6DMLKBKHEZOIFMV6T4DOXUFMB3/action/storage_attestation","attest_author":"https://pith.science/pith/6DMLKBKHEZOIFMV6T4DOXUFMB3/action/author_attestation","sign_citation":"https://pith.science/pith/6DMLKBKHEZOIFMV6T4DOXUFMB3/action/citation_signature","submit_replication":"https://pith.science/pith/6DMLKBKHEZOIFMV6T4DOXUFMB3/action/replication_record"}},"created_at":"2026-07-05T06:34:09.816015+00:00","updated_at":"2026-07-05T06:34:09.816015+00:00"}