{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:T63PSZA2BBEBEYR4IAID34CH3F","short_pith_number":"pith:T63PSZA2","schema_version":"1.0","canonical_sha256":"9fb6f9641a084812623c40103df047d9635ed3e15017058c87fa8874fcb2fa63","source":{"kind":"arxiv","id":"2007.01061","version":1},"attestation_state":"computed","paper":{"title":"CRYLOGGER: Detecting Crypto Misuses Dynamically","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Giuseppe Di Guglielmo, Luca P. Carloni, Luca Piccolboni, Simha Sethumadhavan","submitted_at":"2020-07-02T12:33:31Z","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"},"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":"2007.01061","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-07-02T12:33:31Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"b7eac0a3a7bff3157c99336f2ff308d8615e6635b321e54cdf4b38d408b4f501","abstract_canon_sha256":"587bef9abf5c00e03a448687ad70f2013d7f4914f35357210f6b955f899283ba"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:32:59.703727Z","signature_b64":"hBjWIc5DCVtxldoG2Wq7V3a3LcPv9C97iMKkdC3ac0he/pX1ZdfqzT7uEXma5uEnY5mUCsUFTs60keDpQI0vAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9fb6f9641a084812623c40103df047d9635ed3e15017058c87fa8874fcb2fa63","last_reissued_at":"2026-07-05T01:32:59.703225Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:32:59.703225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"CRYLOGGER: Detecting Crypto Misuses Dynamically","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Giuseppe Di Guglielmo, Luca P. Carloni, Luca Piccolboni, Simha Sethumadhavan","submitted_at":"2020-07-02T12:33:31Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.01061","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2007.01061/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2007.01061","created_at":"2026-07-05T01:32:59.703278+00:00"},{"alias_kind":"arxiv_version","alias_value":"2007.01061v1","created_at":"2026-07-05T01:32:59.703278+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.01061","created_at":"2026-07-05T01:32:59.703278+00:00"},{"alias_kind":"pith_short_12","alias_value":"T63PSZA2BBEB","created_at":"2026-07-05T01:32:59.703278+00:00"},{"alias_kind":"pith_short_16","alias_value":"T63PSZA2BBEBEYR4","created_at":"2026-07-05T01:32:59.703278+00:00"},{"alias_kind":"pith_short_8","alias_value":"T63PSZA2","created_at":"2026-07-05T01:32:59.703278+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/T63PSZA2BBEBEYR4IAID34CH3F","json":"https://pith.science/pith/T63PSZA2BBEBEYR4IAID34CH3F.json","graph_json":"https://pith.science/api/pith-number/T63PSZA2BBEBEYR4IAID34CH3F/graph.json","events_json":"https://pith.science/api/pith-number/T63PSZA2BBEBEYR4IAID34CH3F/events.json","paper":"https://pith.science/paper/T63PSZA2"},"agent_actions":{"view_html":"https://pith.science/pith/T63PSZA2BBEBEYR4IAID34CH3F","download_json":"https://pith.science/pith/T63PSZA2BBEBEYR4IAID34CH3F.json","view_paper":"https://pith.science/paper/T63PSZA2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2007.01061&json=true","fetch_graph":"https://pith.science/api/pith-number/T63PSZA2BBEBEYR4IAID34CH3F/graph.json","fetch_events":"https://pith.science/api/pith-number/T63PSZA2BBEBEYR4IAID34CH3F/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/T63PSZA2BBEBEYR4IAID34CH3F/action/timestamp_anchor","attest_storage":"https://pith.science/pith/T63PSZA2BBEBEYR4IAID34CH3F/action/storage_attestation","attest_author":"https://pith.science/pith/T63PSZA2BBEBEYR4IAID34CH3F/action/author_attestation","sign_citation":"https://pith.science/pith/T63PSZA2BBEBEYR4IAID34CH3F/action/citation_signature","submit_replication":"https://pith.science/pith/T63PSZA2BBEBEYR4IAID34CH3F/action/replication_record"}},"created_at":"2026-07-05T01:32:59.703278+00:00","updated_at":"2026-07-05T01:32:59.703278+00:00"}