{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:JIXZ6UYZN54NN6SIUW3NNSOEKL","short_pith_number":"pith:JIXZ6UYZ","canonical_record":{"source":{"id":"1907.11710","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-26T07:48:40Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"059847bdd1fa3e6e196b50c338576f77406c00252a4ad939b29355e821830e41","abstract_canon_sha256":"d32ffd34f6ea724b2c16218280ab40ad9ef8069f72923756cec93826d5abf159"},"schema_version":"1.0"},"canonical_sha256":"4a2f9f53196f78d6fa48a5b6d6c9c452d6e7f9b8c832a00124adc20557a96e81","source":{"kind":"arxiv","id":"1907.11710","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.11710","created_at":"2026-05-17T23:39:23Z"},{"alias_kind":"arxiv_version","alias_value":"1907.11710v1","created_at":"2026-05-17T23:39:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.11710","created_at":"2026-05-17T23:39:23Z"},{"alias_kind":"pith_short_12","alias_value":"JIXZ6UYZN54N","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JIXZ6UYZN54NN6SI","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JIXZ6UYZ","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:JIXZ6UYZN54NN6SIUW3NNSOEKL","target":"record","payload":{"canonical_record":{"source":{"id":"1907.11710","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-26T07:48:40Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"059847bdd1fa3e6e196b50c338576f77406c00252a4ad939b29355e821830e41","abstract_canon_sha256":"d32ffd34f6ea724b2c16218280ab40ad9ef8069f72923756cec93826d5abf159"},"schema_version":"1.0"},"canonical_sha256":"4a2f9f53196f78d6fa48a5b6d6c9c452d6e7f9b8c832a00124adc20557a96e81","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:23.310719Z","signature_b64":"nQcgYdLI2K6nphF1V5MOhO1UdUf7TeISIZzx/k3P1yH7+kAgedNtLWHBxsonPirmwgEXIE3IFaomibkBs+DPAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a2f9f53196f78d6fa48a5b6d6c9c452d6e7f9b8c832a00124adc20557a96e81","last_reissued_at":"2026-05-17T23:39:23.310050Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:23.310050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.11710","source_version":1,"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-05-17T23:39:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MRJTXTpzf61BP0Ajvq+fxKtBrxMrQUw5OhrMHmfxUqU+yS0VdwjQtwYwADMJYhS8y1pMSnxbb6hFe8mmNWlkAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T13:33:10.117056Z"},"content_sha256":"92b91a5ce6303aa63e6c0795d5c105a79ac19946857aa7a2871ab540124cc680","schema_version":"1.0","event_id":"sha256:92b91a5ce6303aa63e6c0795d5c105a79ac19946857aa7a2871ab540124cc680"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:JIXZ6UYZN54NN6SIUW3NNSOEKL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Attack Synthesis for Strings using Meta-Heuristics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Ismet Burak Kadron, Lucas Bang, Seemanta Saha, Tevfik Bultan, William Eiers","submitted_at":"2019-07-26T07:48:40Z","abstract_excerpt":"Information leaks are a significant problem in modern computer systems and string manipulation is prevalent in modern software. We present techniques for automated synthesis of side-channel attacks that recover secret string values based on timing observations on string manipulating code. Our attack synthesis techniques iteratively generate inputs which, when fed to code that accesses the secret, reveal partial information about the secret based on the timing observations, leading to recovery of the secret at the end of the attack sequence. We use symbolic execution to extract path constraints"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.11710","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"},"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-05-17T23:39:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MJOgBHa2PFMx0V7bNvXTDJr4YgNJF4G3ueCdclavjaICTPEEGafT48lKKg0IYL5wYZh9JWE4+todDn0QjKYzBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T13:33:10.117743Z"},"content_sha256":"1180eea56a6f72b4147e0da9e7ff98d97df597ff2c6db53289748408fa9a54e4","schema_version":"1.0","event_id":"sha256:1180eea56a6f72b4147e0da9e7ff98d97df597ff2c6db53289748408fa9a54e4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JIXZ6UYZN54NN6SIUW3NNSOEKL/bundle.json","state_url":"https://pith.science/pith/JIXZ6UYZN54NN6SIUW3NNSOEKL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JIXZ6UYZN54NN6SIUW3NNSOEKL/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-06-07T13:33:10Z","links":{"resolver":"https://pith.science/pith/JIXZ6UYZN54NN6SIUW3NNSOEKL","bundle":"https://pith.science/pith/JIXZ6UYZN54NN6SIUW3NNSOEKL/bundle.json","state":"https://pith.science/pith/JIXZ6UYZN54NN6SIUW3NNSOEKL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JIXZ6UYZN54NN6SIUW3NNSOEKL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:JIXZ6UYZN54NN6SIUW3NNSOEKL","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":"d32ffd34f6ea724b2c16218280ab40ad9ef8069f72923756cec93826d5abf159","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-26T07:48:40Z","title_canon_sha256":"059847bdd1fa3e6e196b50c338576f77406c00252a4ad939b29355e821830e41"},"schema_version":"1.0","source":{"id":"1907.11710","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.11710","created_at":"2026-05-17T23:39:23Z"},{"alias_kind":"arxiv_version","alias_value":"1907.11710v1","created_at":"2026-05-17T23:39:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.11710","created_at":"2026-05-17T23:39:23Z"},{"alias_kind":"pith_short_12","alias_value":"JIXZ6UYZN54N","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JIXZ6UYZN54NN6SI","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JIXZ6UYZ","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:1180eea56a6f72b4147e0da9e7ff98d97df597ff2c6db53289748408fa9a54e4","target":"graph","created_at":"2026-05-17T23:39:23Z","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":"Information leaks are a significant problem in modern computer systems and string manipulation is prevalent in modern software. We present techniques for automated synthesis of side-channel attacks that recover secret string values based on timing observations on string manipulating code. Our attack synthesis techniques iteratively generate inputs which, when fed to code that accesses the secret, reveal partial information about the secret based on the timing observations, leading to recovery of the secret at the end of the attack sequence. We use symbolic execution to extract path constraints","authors_text":"Ismet Burak Kadron, Lucas Bang, Seemanta Saha, Tevfik Bultan, William Eiers","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-26T07:48:40Z","title":"Attack Synthesis for Strings using Meta-Heuristics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.11710","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:92b91a5ce6303aa63e6c0795d5c105a79ac19946857aa7a2871ab540124cc680","target":"record","created_at":"2026-05-17T23:39:23Z","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":"d32ffd34f6ea724b2c16218280ab40ad9ef8069f72923756cec93826d5abf159","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-26T07:48:40Z","title_canon_sha256":"059847bdd1fa3e6e196b50c338576f77406c00252a4ad939b29355e821830e41"},"schema_version":"1.0","source":{"id":"1907.11710","kind":"arxiv","version":1}},"canonical_sha256":"4a2f9f53196f78d6fa48a5b6d6c9c452d6e7f9b8c832a00124adc20557a96e81","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4a2f9f53196f78d6fa48a5b6d6c9c452d6e7f9b8c832a00124adc20557a96e81","first_computed_at":"2026-05-17T23:39:23.310050Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:23.310050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nQcgYdLI2K6nphF1V5MOhO1UdUf7TeISIZzx/k3P1yH7+kAgedNtLWHBxsonPirmwgEXIE3IFaomibkBs+DPAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:23.310719Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.11710","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:92b91a5ce6303aa63e6c0795d5c105a79ac19946857aa7a2871ab540124cc680","sha256:1180eea56a6f72b4147e0da9e7ff98d97df597ff2c6db53289748408fa9a54e4"],"state_sha256":"bcda0a51718da4cd95cf21d37e7257800ad0ff13c5fa52f47c5452b15532439e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xq+cI3qB2yl0KoLgTA5f91ihO561Q9yNAljxk2BGuExlbx2gfiCT1arANoctxUeKDCReopuIs/2LkJFIiUBjDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T13:33:10.121172Z","bundle_sha256":"388e0b807d65d4208da481703a211afadb00f6cf09ea55b39f756918e25855ee"}}