{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:XQLHDZSAHRSXK7L7TY7GSSOMA5","short_pith_number":"pith:XQLHDZSA","schema_version":"1.0","canonical_sha256":"bc1671e6403c65757d7f9e3e6949cc07710b288cd434de2c18ab5de111b87231","source":{"kind":"arxiv","id":"2512.12729","version":1},"attestation_state":"computed","paper":{"title":"RunPBA -- Runtime attestation for microcontrollers with PACBTI","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Andr\\'e Cirne, Jo\\~ao S. Resende, Lu\\'is Antunes, Patr\\'icia R. Sousa","submitted_at":"2025-12-14T15:09:48Z","abstract_excerpt":"The widespread adoption of embedded systems has led to their deployment in critical real-world applications, making them attractive targets for malicious actors. These devices face unique challenges in mitigating vulnerabilities due to intrinsic constraints, such as low energy consumption requirements and limited computational resources. This paper presents RunPBA, a hardware-based runtime attestation system designed to defend against control flow attacks while maintaining minimal performance overhead and adhering to strict power consumption constraints. RunPBA leverages PACBTI, a new processo"},"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":"2512.12729","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-12-14T15:09:48Z","cross_cats_sorted":[],"title_canon_sha256":"4ecb8b80c2d04272a049b7363d61bdb26fc24b06eadb2dcb750168069baa0b22","abstract_canon_sha256":"bc0877b88f76c02b7605950cf78ce87e3281ec943e046ef78646ddf76fd63bc2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T01:05:11.712600Z","signature_b64":"rYV3UnL5EXuAv797jv/YGoR5e91EPvuE5N/es4Xy+8aAFzV9biYbqSyMcRtm2qGyynyb02C+0sYGVDY7COfhBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc1671e6403c65757d7f9e3e6949cc07710b288cd434de2c18ab5de111b87231","last_reissued_at":"2026-06-09T01:05:11.712101Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T01:05:11.712101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"RunPBA -- Runtime attestation for microcontrollers with PACBTI","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Andr\\'e Cirne, Jo\\~ao S. Resende, Lu\\'is Antunes, Patr\\'icia R. Sousa","submitted_at":"2025-12-14T15:09:48Z","abstract_excerpt":"The widespread adoption of embedded systems has led to their deployment in critical real-world applications, making them attractive targets for malicious actors. These devices face unique challenges in mitigating vulnerabilities due to intrinsic constraints, such as low energy consumption requirements and limited computational resources. This paper presents RunPBA, a hardware-based runtime attestation system designed to defend against control flow attacks while maintaining minimal performance overhead and adhering to strict power consumption constraints. RunPBA leverages PACBTI, a new processo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.12729","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/2512.12729/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":"2512.12729","created_at":"2026-06-09T01:05:11.712160+00:00"},{"alias_kind":"arxiv_version","alias_value":"2512.12729v1","created_at":"2026-06-09T01:05:11.712160+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.12729","created_at":"2026-06-09T01:05:11.712160+00:00"},{"alias_kind":"pith_short_12","alias_value":"XQLHDZSAHRSX","created_at":"2026-06-09T01:05:11.712160+00:00"},{"alias_kind":"pith_short_16","alias_value":"XQLHDZSAHRSXK7L7","created_at":"2026-06-09T01:05:11.712160+00:00"},{"alias_kind":"pith_short_8","alias_value":"XQLHDZSA","created_at":"2026-06-09T01:05:11.712160+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XQLHDZSAHRSXK7L7TY7GSSOMA5","json":"https://pith.science/pith/XQLHDZSAHRSXK7L7TY7GSSOMA5.json","graph_json":"https://pith.science/api/pith-number/XQLHDZSAHRSXK7L7TY7GSSOMA5/graph.json","events_json":"https://pith.science/api/pith-number/XQLHDZSAHRSXK7L7TY7GSSOMA5/events.json","paper":"https://pith.science/paper/XQLHDZSA"},"agent_actions":{"view_html":"https://pith.science/pith/XQLHDZSAHRSXK7L7TY7GSSOMA5","download_json":"https://pith.science/pith/XQLHDZSAHRSXK7L7TY7GSSOMA5.json","view_paper":"https://pith.science/paper/XQLHDZSA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2512.12729&json=true","fetch_graph":"https://pith.science/api/pith-number/XQLHDZSAHRSXK7L7TY7GSSOMA5/graph.json","fetch_events":"https://pith.science/api/pith-number/XQLHDZSAHRSXK7L7TY7GSSOMA5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XQLHDZSAHRSXK7L7TY7GSSOMA5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XQLHDZSAHRSXK7L7TY7GSSOMA5/action/storage_attestation","attest_author":"https://pith.science/pith/XQLHDZSAHRSXK7L7TY7GSSOMA5/action/author_attestation","sign_citation":"https://pith.science/pith/XQLHDZSAHRSXK7L7TY7GSSOMA5/action/citation_signature","submit_replication":"https://pith.science/pith/XQLHDZSAHRSXK7L7TY7GSSOMA5/action/replication_record"}},"created_at":"2026-06-09T01:05:11.712160+00:00","updated_at":"2026-06-09T01:05:11.712160+00:00"}