{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:Z2MBITYLXQOQCQP7ABM74FH7R4","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"65abe0fd31a7e9342db4784520f0809ab2af55cd6b2b1af889113b64baec96a7","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-26T10:10:46Z","title_canon_sha256":"2009ba4f228e327cadca490f6c1468a8da6c3ad523465a78f634fb5dfce33098"},"schema_version":"1.0","source":{"id":"1804.09970","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.09970","created_at":"2026-05-17T23:40:36Z"},{"alias_kind":"arxiv_version","alias_value":"1804.09970v3","created_at":"2026-05-17T23:40:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.09970","created_at":"2026-05-17T23:40:36Z"},{"alias_kind":"pith_short_12","alias_value":"Z2MBITYLXQOQ","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Z2MBITYLXQOQCQP7","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Z2MBITYL","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:88e2303aa5082b454cd5817f1df8c685c28a5a34fa2663e4ef64f761ff777332","target":"graph","created_at":"2026-05-17T23:40:36Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The frequency and harmfulness of cyber-attacks are increasing every day, and with them also the amount of data that the cyber-forensics analysts need to collect and analyze. In this paper, we propose a formal analysis process that allows an analyst to filter the enormous amount of evidence collected and either identify crucial information about the attack (e.g., when it occurred, its culprit, its target) or, at the very least, perform a pre-analysis to reduce the complexity of the problem in order to then draw conclusions more swiftly and efficiently. We introduce the Evidence Logic EL for rep","authors_text":"Erisa Karafili, Luca Vigan\\`o, Matteo Cristani","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-26T10:10:46Z","title":"A Formal Approach to Analyzing Cyber-Forensics Evidence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.09970","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:11abb6217fa0eea7e411e10c15775b6c661edfabfc2d220063ede1ae892105ad","target":"record","created_at":"2026-05-17T23:40:36Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"65abe0fd31a7e9342db4784520f0809ab2af55cd6b2b1af889113b64baec96a7","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-26T10:10:46Z","title_canon_sha256":"2009ba4f228e327cadca490f6c1468a8da6c3ad523465a78f634fb5dfce33098"},"schema_version":"1.0","source":{"id":"1804.09970","kind":"arxiv","version":3}},"canonical_sha256":"ce98144f0bbc1d0141ff0059fe14ff8f0b517a28e799b7ceb9126d2ac403938a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce98144f0bbc1d0141ff0059fe14ff8f0b517a28e799b7ceb9126d2ac403938a","first_computed_at":"2026-05-17T23:40:36.488795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:36.488795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4MUwLVxiHx1QZCnNMgM76lVboa0G1fHA3RvPHFwI9pgzLR0dllm3CTMjdPaoCR+9PGnG70VwVTAsGdQbRxONDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:36.489207Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.09970","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:11abb6217fa0eea7e411e10c15775b6c661edfabfc2d220063ede1ae892105ad","sha256:88e2303aa5082b454cd5817f1df8c685c28a5a34fa2663e4ef64f761ff777332"],"state_sha256":"93e56b86995b9c0d57dcb0724856c607fd50fea17a5d41bf110c2acca9a192fe"}