{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:ZPLIFZ6YZ47VUKEPHALAOQGDAJ","short_pith_number":"pith:ZPLIFZ6Y","schema_version":"1.0","canonical_sha256":"cbd682e7d8cf3f5a288f38160740c3024e0eb1b120697f08439018b112e5751d","source":{"kind":"arxiv","id":"1705.03517","version":1},"attestation_state":"computed","paper":{"title":"MISRA C, for Security's Sake!","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Roberto Bagnara","submitted_at":"2017-05-09T20:00:48Z","abstract_excerpt":"A third of United States new cellular subscriptions in Q1 2016 were for cars. There are now more than 112 million vehicles connected around the world. The percentage of new cars shipped with Internet connectivity is expected to rise from 13% in 2015 to 75% in 2020, and 98% of all vehicles will likely be connected by 2025. Moreover, the news continuously report about \"white hat\" hackers intruding on car software. For these reasons, security concerns in automotive and other industries have skyrocketed. MISRA C, which is widely respected as a safety-related coding standard, is equally applicable "},"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":"1705.03517","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-09T20:00:48Z","cross_cats_sorted":[],"title_canon_sha256":"eb1e8e8250fd605bb0521fc916230d525e826c5ef70625110660ddbaefddfab3","abstract_canon_sha256":"3e4afacd6daa45ff1e87d307a2607947728db72ad567380a508cbe3075805e79"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:43.670027Z","signature_b64":"JHT7Lo7Qxo5XkpnV183wlLQWksKzYxC/0rrHFEFAvSVeKyb94EHsrm6oVNcNTpASYAyeiHF6mpLquLAzzSg1Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cbd682e7d8cf3f5a288f38160740c3024e0eb1b120697f08439018b112e5751d","last_reissued_at":"2026-05-18T00:44:43.669413Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:43.669413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"MISRA C, for Security's Sake!","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Roberto Bagnara","submitted_at":"2017-05-09T20:00:48Z","abstract_excerpt":"A third of United States new cellular subscriptions in Q1 2016 were for cars. There are now more than 112 million vehicles connected around the world. The percentage of new cars shipped with Internet connectivity is expected to rise from 13% in 2015 to 75% in 2020, and 98% of all vehicles will likely be connected by 2025. Moreover, the news continuously report about \"white hat\" hackers intruding on car software. For these reasons, security concerns in automotive and other industries have skyrocketed. MISRA C, which is widely respected as a safety-related coding standard, is equally applicable "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.03517","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":""},"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":"1705.03517","created_at":"2026-05-18T00:44:43.669505+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.03517v1","created_at":"2026-05-18T00:44:43.669505+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.03517","created_at":"2026-05-18T00:44:43.669505+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZPLIFZ6YZ47V","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZPLIFZ6YZ47VUKEP","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZPLIFZ6Y","created_at":"2026-05-18T12:31:59.375834+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/ZPLIFZ6YZ47VUKEPHALAOQGDAJ","json":"https://pith.science/pith/ZPLIFZ6YZ47VUKEPHALAOQGDAJ.json","graph_json":"https://pith.science/api/pith-number/ZPLIFZ6YZ47VUKEPHALAOQGDAJ/graph.json","events_json":"https://pith.science/api/pith-number/ZPLIFZ6YZ47VUKEPHALAOQGDAJ/events.json","paper":"https://pith.science/paper/ZPLIFZ6Y"},"agent_actions":{"view_html":"https://pith.science/pith/ZPLIFZ6YZ47VUKEPHALAOQGDAJ","download_json":"https://pith.science/pith/ZPLIFZ6YZ47VUKEPHALAOQGDAJ.json","view_paper":"https://pith.science/paper/ZPLIFZ6Y","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.03517&json=true","fetch_graph":"https://pith.science/api/pith-number/ZPLIFZ6YZ47VUKEPHALAOQGDAJ/graph.json","fetch_events":"https://pith.science/api/pith-number/ZPLIFZ6YZ47VUKEPHALAOQGDAJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZPLIFZ6YZ47VUKEPHALAOQGDAJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZPLIFZ6YZ47VUKEPHALAOQGDAJ/action/storage_attestation","attest_author":"https://pith.science/pith/ZPLIFZ6YZ47VUKEPHALAOQGDAJ/action/author_attestation","sign_citation":"https://pith.science/pith/ZPLIFZ6YZ47VUKEPHALAOQGDAJ/action/citation_signature","submit_replication":"https://pith.science/pith/ZPLIFZ6YZ47VUKEPHALAOQGDAJ/action/replication_record"}},"created_at":"2026-05-18T00:44:43.669505+00:00","updated_at":"2026-05-18T00:44:43.669505+00:00"}