{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:YOOPD3H6FXIA727MEGT5SBPUN6","short_pith_number":"pith:YOOPD3H6","schema_version":"1.0","canonical_sha256":"c39cf1ecfe2dd00febec21a7d905f46faeb9aa036b797e05ca1c1a43dbef7cab","source":{"kind":"arxiv","id":"1601.04263","version":1},"attestation_state":"computed","paper":{"title":"Sound and Complete Runtime Security Monitor for Application Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Dimitrios Serpanos, Howard Shrobe, Muhammad Taimoor Khan","submitted_at":"2016-01-17T08:40:58Z","abstract_excerpt":"Conventional approaches for ensuring the security of application software at run-time, through monitoring, either produce (high rates of) false alarms (e.g. intrusion detection systems) or limit application performance (e.g. run-time verification). We present a runtime security monitor that detects both known and unknown cyber attacks by checking that the run-time behavior of the application is consistent with the expected behavior modeled in application specification. This is crucial because, even if the implementation is consistent with its specification, the application may still be vulnera"},"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":"1601.04263","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-01-17T08:40:58Z","cross_cats_sorted":[],"title_canon_sha256":"15ce3c3a77de1c83c914bd60d15071c27e7c74d2c82490e56cb53f2c9aeda1c4","abstract_canon_sha256":"8e9c470669b4a5fa3279aacbc0f28917f7888dc3c4431b128975f71f7cd52c20"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:22:45.482660Z","signature_b64":"kdzfI2EwQHIHa/JgvMhozNAPthSkmNSxdsPiPyYHGVpNF03u/1qSKrtOyetrm/x6z4YYNURzzdt2j+ZC/isHBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c39cf1ecfe2dd00febec21a7d905f46faeb9aa036b797e05ca1c1a43dbef7cab","last_reissued_at":"2026-05-18T01:22:45.482076Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:22:45.482076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Sound and Complete Runtime Security Monitor for Application Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Dimitrios Serpanos, Howard Shrobe, Muhammad Taimoor Khan","submitted_at":"2016-01-17T08:40:58Z","abstract_excerpt":"Conventional approaches for ensuring the security of application software at run-time, through monitoring, either produce (high rates of) false alarms (e.g. intrusion detection systems) or limit application performance (e.g. run-time verification). We present a runtime security monitor that detects both known and unknown cyber attacks by checking that the run-time behavior of the application is consistent with the expected behavior modeled in application specification. This is crucial because, even if the implementation is consistent with its specification, the application may still be vulnera"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.04263","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":"1601.04263","created_at":"2026-05-18T01:22:45.482183+00:00"},{"alias_kind":"arxiv_version","alias_value":"1601.04263v1","created_at":"2026-05-18T01:22:45.482183+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.04263","created_at":"2026-05-18T01:22:45.482183+00:00"},{"alias_kind":"pith_short_12","alias_value":"YOOPD3H6FXIA","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_16","alias_value":"YOOPD3H6FXIA727M","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_8","alias_value":"YOOPD3H6","created_at":"2026-05-18T12:30:53.716459+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/YOOPD3H6FXIA727MEGT5SBPUN6","json":"https://pith.science/pith/YOOPD3H6FXIA727MEGT5SBPUN6.json","graph_json":"https://pith.science/api/pith-number/YOOPD3H6FXIA727MEGT5SBPUN6/graph.json","events_json":"https://pith.science/api/pith-number/YOOPD3H6FXIA727MEGT5SBPUN6/events.json","paper":"https://pith.science/paper/YOOPD3H6"},"agent_actions":{"view_html":"https://pith.science/pith/YOOPD3H6FXIA727MEGT5SBPUN6","download_json":"https://pith.science/pith/YOOPD3H6FXIA727MEGT5SBPUN6.json","view_paper":"https://pith.science/paper/YOOPD3H6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1601.04263&json=true","fetch_graph":"https://pith.science/api/pith-number/YOOPD3H6FXIA727MEGT5SBPUN6/graph.json","fetch_events":"https://pith.science/api/pith-number/YOOPD3H6FXIA727MEGT5SBPUN6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YOOPD3H6FXIA727MEGT5SBPUN6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YOOPD3H6FXIA727MEGT5SBPUN6/action/storage_attestation","attest_author":"https://pith.science/pith/YOOPD3H6FXIA727MEGT5SBPUN6/action/author_attestation","sign_citation":"https://pith.science/pith/YOOPD3H6FXIA727MEGT5SBPUN6/action/citation_signature","submit_replication":"https://pith.science/pith/YOOPD3H6FXIA727MEGT5SBPUN6/action/replication_record"}},"created_at":"2026-05-18T01:22:45.482183+00:00","updated_at":"2026-05-18T01:22:45.482183+00:00"}