{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:T63PSZA2BBEBEYR4IAID34CH3F","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":"587bef9abf5c00e03a448687ad70f2013d7f4914f35357210f6b955f899283ba","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-07-02T12:33:31Z","title_canon_sha256":"b7eac0a3a7bff3157c99336f2ff308d8615e6635b321e54cdf4b38d408b4f501"},"schema_version":"1.0","source":{"id":"2007.01061","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.01061","created_at":"2026-07-05T01:32:59Z"},{"alias_kind":"arxiv_version","alias_value":"2007.01061v1","created_at":"2026-07-05T01:32:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.01061","created_at":"2026-07-05T01:32:59Z"},{"alias_kind":"pith_short_12","alias_value":"T63PSZA2BBEB","created_at":"2026-07-05T01:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"T63PSZA2BBEBEYR4","created_at":"2026-07-05T01:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"T63PSZA2","created_at":"2026-07-05T01:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:00c28a70d18250309ced2cb8a4592c4b3e7b8d7153cba6b779c494d21225085c","target":"graph","created_at":"2026-07-05T01:32:59Z","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/2007.01061/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Cryptographic (crypto) algorithms are the essential ingredients of all secure systems: crypto hash functions and encryption algorithms, for example, can guarantee properties such as integrity and confidentiality. Developers, however, can misuse the application programming interfaces (API) of such algorithms by using constant keys and weak passwords. This paper presents CRYLOGGER, the first open-source tool to detect crypto misuses dynamically. CRYLOGGER logs the parameters that are passed to the crypto APIs during the execution and checks their legitimacy offline by using a list of crypto rule","authors_text":"Giuseppe Di Guglielmo, Luca P. Carloni, Luca Piccolboni, Simha Sethumadhavan","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-07-02T12:33:31Z","title":"CRYLOGGER: Detecting Crypto Misuses Dynamically"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.01061","kind":"arxiv","version":1},"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:5e7f8fa721638cf38da9be0dcb7a20f0834b5ab894817029a876e93abe5a895d","target":"record","created_at":"2026-07-05T01:32:59Z","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":"587bef9abf5c00e03a448687ad70f2013d7f4914f35357210f6b955f899283ba","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-07-02T12:33:31Z","title_canon_sha256":"b7eac0a3a7bff3157c99336f2ff308d8615e6635b321e54cdf4b38d408b4f501"},"schema_version":"1.0","source":{"id":"2007.01061","kind":"arxiv","version":1}},"canonical_sha256":"9fb6f9641a084812623c40103df047d9635ed3e15017058c87fa8874fcb2fa63","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9fb6f9641a084812623c40103df047d9635ed3e15017058c87fa8874fcb2fa63","first_computed_at":"2026-07-05T01:32:59.703225Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:32:59.703225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hBjWIc5DCVtxldoG2Wq7V3a3LcPv9C97iMKkdC3ac0he/pX1ZdfqzT7uEXma5uEnY5mUCsUFTs60keDpQI0vAA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:32:59.703727Z","signed_message":"canonical_sha256_bytes"},"source_id":"2007.01061","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e7f8fa721638cf38da9be0dcb7a20f0834b5ab894817029a876e93abe5a895d","sha256:00c28a70d18250309ced2cb8a4592c4b3e7b8d7153cba6b779c494d21225085c"],"state_sha256":"14855a64aa5b43f8031840fedb4ed9465a205b0e44880c98ad0e3d74252082fd"}