{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:L33EO2JODEDI6VJDNPRL27JZHC","short_pith_number":"pith:L33EO2JO","canonical_record":{"source":{"id":"2307.06616","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-07-13T08:34:09Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1c796313ea3dd7301f4b86c89ca611bef1e7087ea508dcbdfcbe7aeb83d2c8b3","abstract_canon_sha256":"b71e8a82c849144a25a78931eac04db8f5920c04bf640a9ed7a0c59bfe83080d"},"schema_version":"1.0"},"canonical_sha256":"5ef647692e19068f55236be2bd7d39389c876ec1259cb15f2a894b82a5dad610","source":{"kind":"arxiv","id":"2307.06616","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.06616","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"arxiv_version","alias_value":"2307.06616v3","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.06616","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"pith_short_12","alias_value":"L33EO2JODEDI","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"pith_short_16","alias_value":"L33EO2JODEDI6VJD","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"pith_short_8","alias_value":"L33EO2JO","created_at":"2026-07-05T10:22:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:L33EO2JODEDI6VJDNPRL27JZHC","target":"record","payload":{"canonical_record":{"source":{"id":"2307.06616","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-07-13T08:34:09Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1c796313ea3dd7301f4b86c89ca611bef1e7087ea508dcbdfcbe7aeb83d2c8b3","abstract_canon_sha256":"b71e8a82c849144a25a78931eac04db8f5920c04bf640a9ed7a0c59bfe83080d"},"schema_version":"1.0"},"canonical_sha256":"5ef647692e19068f55236be2bd7d39389c876ec1259cb15f2a894b82a5dad610","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:22:42.654257Z","signature_b64":"+yVsN8JxxxLaRrazciIHbBrG5Xolmftiy3yey0MWfmFnIEVHjN86BqmffTctVwZBOhQr4v/OZVerJLMlBKsjCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ef647692e19068f55236be2bd7d39389c876ec1259cb15f2a894b82a5dad610","last_reissued_at":"2026-07-05T10:22:42.653628Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:22:42.653628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.06616","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:22:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pCkF5mJMuNW/rX2zDl1oARYrLMPt/6ihIJorzDA1uhk+AbkFfj2Y3lyeQLtrswqLOPFbK1A5M0sGFFGlQ9jfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T00:59:36.999267Z"},"content_sha256":"255f3b1d83b4b28c4567cf3682ee4fae1aff33e0f846b672d955006451f45fb0","schema_version":"1.0","event_id":"sha256:255f3b1d83b4b28c4567cf3682ee4fae1aff33e0f846b672d955006451f45fb0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:L33EO2JODEDI6VJDNPRL27JZHC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"Abdechakour Mechri, Ammar Battah, Diana Maimut, Fatima Alwahedi, Lucas C. Cordeiro, Merouane Debbah, Mohamed Amine Ferrag, Narinderjit Singh Thandi, Norbert Tihanyi, Ridhi Jain, Thierry Lestable","submitted_at":"2023-07-13T08:34:09Z","abstract_excerpt":"Software vulnerabilities can cause numerous problems, including crashes, data loss, and security breaches. These issues greatly compromise quality and can negatively impact the market adoption of software applications and systems. Traditional bug-fixing methods, such as static analysis, often produce false positives. While bounded model checking, a form of Formal Verification (FV), can provide more accurate outcomes compared to static analyzers, it demands substantial resources and significantly hinders developer productivity. Can Machine Learning (ML) achieve accuracy comparable to FV methods"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.06616","kind":"arxiv","version":3},"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.06616/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:22:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TZHQF2PyWvtPQmMiFE/jTiq4EIff1ZfEErR79HX7pEPy2lE8s3/J4hZZMT7DxpJVrlkTzP6kcHoRoMODVszUDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T00:59:36.999666Z"},"content_sha256":"2a034cd0b1aa9a1ae7b0f516ac10c305de1b105c45a1032bea85ca30a769e5ca","schema_version":"1.0","event_id":"sha256:2a034cd0b1aa9a1ae7b0f516ac10c305de1b105c45a1032bea85ca30a769e5ca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L33EO2JODEDI6VJDNPRL27JZHC/bundle.json","state_url":"https://pith.science/pith/L33EO2JODEDI6VJDNPRL27JZHC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L33EO2JODEDI6VJDNPRL27JZHC/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-13T00:59:37Z","links":{"resolver":"https://pith.science/pith/L33EO2JODEDI6VJDNPRL27JZHC","bundle":"https://pith.science/pith/L33EO2JODEDI6VJDNPRL27JZHC/bundle.json","state":"https://pith.science/pith/L33EO2JODEDI6VJDNPRL27JZHC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L33EO2JODEDI6VJDNPRL27JZHC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:L33EO2JODEDI6VJDNPRL27JZHC","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":"b71e8a82c849144a25a78931eac04db8f5920c04bf640a9ed7a0c59bfe83080d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-07-13T08:34:09Z","title_canon_sha256":"1c796313ea3dd7301f4b86c89ca611bef1e7087ea508dcbdfcbe7aeb83d2c8b3"},"schema_version":"1.0","source":{"id":"2307.06616","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.06616","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"arxiv_version","alias_value":"2307.06616v3","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.06616","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"pith_short_12","alias_value":"L33EO2JODEDI","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"pith_short_16","alias_value":"L33EO2JODEDI6VJD","created_at":"2026-07-05T10:22:42Z"},{"alias_kind":"pith_short_8","alias_value":"L33EO2JO","created_at":"2026-07-05T10:22:42Z"}],"graph_snapshots":[{"event_id":"sha256:2a034cd0b1aa9a1ae7b0f516ac10c305de1b105c45a1032bea85ca30a769e5ca","target":"graph","created_at":"2026-07-05T10:22:42Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2307.06616/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software vulnerabilities can cause numerous problems, including crashes, data loss, and security breaches. These issues greatly compromise quality and can negatively impact the market adoption of software applications and systems. Traditional bug-fixing methods, such as static analysis, often produce false positives. While bounded model checking, a form of Formal Verification (FV), can provide more accurate outcomes compared to static analyzers, it demands substantial resources and significantly hinders developer productivity. Can Machine Learning (ML) achieve accuracy comparable to FV methods","authors_text":"Abdechakour Mechri, Ammar Battah, Diana Maimut, Fatima Alwahedi, Lucas C. Cordeiro, Merouane Debbah, Mohamed Amine Ferrag, Narinderjit Singh Thandi, Norbert Tihanyi, Ridhi Jain, Thierry Lestable","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-07-13T08:34:09Z","title":"SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.06616","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:255f3b1d83b4b28c4567cf3682ee4fae1aff33e0f846b672d955006451f45fb0","target":"record","created_at":"2026-07-05T10:22:42Z","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":"b71e8a82c849144a25a78931eac04db8f5920c04bf640a9ed7a0c59bfe83080d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-07-13T08:34:09Z","title_canon_sha256":"1c796313ea3dd7301f4b86c89ca611bef1e7087ea508dcbdfcbe7aeb83d2c8b3"},"schema_version":"1.0","source":{"id":"2307.06616","kind":"arxiv","version":3}},"canonical_sha256":"5ef647692e19068f55236be2bd7d39389c876ec1259cb15f2a894b82a5dad610","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ef647692e19068f55236be2bd7d39389c876ec1259cb15f2a894b82a5dad610","first_computed_at":"2026-07-05T10:22:42.653628Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:22:42.653628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+yVsN8JxxxLaRrazciIHbBrG5Xolmftiy3yey0MWfmFnIEVHjN86BqmffTctVwZBOhQr4v/OZVerJLMlBKsjCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:22:42.654257Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.06616","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:255f3b1d83b4b28c4567cf3682ee4fae1aff33e0f846b672d955006451f45fb0","sha256:2a034cd0b1aa9a1ae7b0f516ac10c305de1b105c45a1032bea85ca30a769e5ca"],"state_sha256":"baf021c30043a620e24ef4f7c425f66a5d9db4fe278e781280f50b10b847b8a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1/9/lvmizExpNz+XZ6i4rFkLepEp+/yX/ipeLsjMr3UXPlYWhGRNI8SUthexJ4hy2ArDxKSQeY/vAPFy0jfODg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-13T00:59:37.002107Z","bundle_sha256":"13463b026e8792643c82f9d437d5dbf09f4a1da5a4dddc30c07bd88bef2507b4"}}