{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TRF74EPKNK4OOIW272UOBJTKAW","short_pith_number":"pith:TRF74EPK","canonical_record":{"source":{"id":"1905.05322","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-14T00:19:59Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"ea91a2cb8f344bf91c42a80a77060cdc87e712941b56f53bab71825d60021196","abstract_canon_sha256":"64bff4863f5a211d6c0f5def7aba019a5bcc8cd8a608b25dae9693bbfeddd4e6"},"schema_version":"1.0"},"canonical_sha256":"9c4bfe11ea6ab8e722dafea8e0a66a05a9fabb68ca34b1ebefa9ddd2c2a8c842","source":{"kind":"arxiv","id":"1905.05322","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.05322","created_at":"2026-05-17T23:46:16Z"},{"alias_kind":"arxiv_version","alias_value":"1905.05322v1","created_at":"2026-05-17T23:46:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.05322","created_at":"2026-05-17T23:46:16Z"},{"alias_kind":"pith_short_12","alias_value":"TRF74EPKNK4O","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TRF74EPKNK4OOIW2","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TRF74EPK","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TRF74EPKNK4OOIW272UOBJTKAW","target":"record","payload":{"canonical_record":{"source":{"id":"1905.05322","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-14T00:19:59Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"ea91a2cb8f344bf91c42a80a77060cdc87e712941b56f53bab71825d60021196","abstract_canon_sha256":"64bff4863f5a211d6c0f5def7aba019a5bcc8cd8a608b25dae9693bbfeddd4e6"},"schema_version":"1.0"},"canonical_sha256":"9c4bfe11ea6ab8e722dafea8e0a66a05a9fabb68ca34b1ebefa9ddd2c2a8c842","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:16.843102Z","signature_b64":"Dt/ljgZI45dq4j2zrYLF3RVYF5LhZHpK7Yh2kMjesP7uSA7B7y3wcqoJDtywUNTpGHAzrxrEUUz4uoziyXtPBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9c4bfe11ea6ab8e722dafea8e0a66a05a9fabb68ca34b1ebefa9ddd2c2a8c842","last_reissued_at":"2026-05-17T23:46:16.842642Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:16.842642Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.05322","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:46:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YxSrAcboNtdB+br82GPgKpZSEjopKhRolTBuXH5JQ2RPsP553RQ2CFBuWwJJQ7vLO8Y6t/dxzAgta5j6oYmjAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:01:33.231831Z"},"content_sha256":"98b302165d0dc1a6fa8b34bfc6dabd7491ea014072d05fed22990b159f9e742f","schema_version":"1.0","event_id":"sha256:98b302165d0dc1a6fa8b34bfc6dabd7491ea014072d05fed22990b159f9e742f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TRF74EPKNK4OOIW272UOBJTKAW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Incremental Adaptive Attack Synthesis","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-05-14T00:19:59Z","abstract_excerpt":"Information leakage is a significant problem in modern software systems. Information leaks due to side channels are especially hard to detect and analyze. In this paper, we present techniques for automated synthesis of adaptive side-channel attacks that recover secret values. 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 side-channel observations, reducing the remaining uncertainty about the secret in each attack step. Our approach is incremental, reusing results from prior "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.05322","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:46:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cOYMFw5aZuc5fE2dYefsfM699rnclvWjqfGV8O6gKqEIIwMN6K6Igpth2ST0t3OHMeFpoE2TiLex9dqrPCkxAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:01:33.232544Z"},"content_sha256":"3b5aa5ee724f0231e14bfff9bd613bc0b0a55cc53a3f6af8b23444426b21f5a2","schema_version":"1.0","event_id":"sha256:3b5aa5ee724f0231e14bfff9bd613bc0b0a55cc53a3f6af8b23444426b21f5a2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TRF74EPKNK4OOIW272UOBJTKAW/bundle.json","state_url":"https://pith.science/pith/TRF74EPKNK4OOIW272UOBJTKAW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TRF74EPKNK4OOIW272UOBJTKAW/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-07T11:01:33Z","links":{"resolver":"https://pith.science/pith/TRF74EPKNK4OOIW272UOBJTKAW","bundle":"https://pith.science/pith/TRF74EPKNK4OOIW272UOBJTKAW/bundle.json","state":"https://pith.science/pith/TRF74EPKNK4OOIW272UOBJTKAW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TRF74EPKNK4OOIW272UOBJTKAW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TRF74EPKNK4OOIW272UOBJTKAW","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":"64bff4863f5a211d6c0f5def7aba019a5bcc8cd8a608b25dae9693bbfeddd4e6","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-14T00:19:59Z","title_canon_sha256":"ea91a2cb8f344bf91c42a80a77060cdc87e712941b56f53bab71825d60021196"},"schema_version":"1.0","source":{"id":"1905.05322","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.05322","created_at":"2026-05-17T23:46:16Z"},{"alias_kind":"arxiv_version","alias_value":"1905.05322v1","created_at":"2026-05-17T23:46:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.05322","created_at":"2026-05-17T23:46:16Z"},{"alias_kind":"pith_short_12","alias_value":"TRF74EPKNK4O","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TRF74EPKNK4OOIW2","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TRF74EPK","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:3b5aa5ee724f0231e14bfff9bd613bc0b0a55cc53a3f6af8b23444426b21f5a2","target":"graph","created_at":"2026-05-17T23:46:16Z","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 leakage is a significant problem in modern software systems. Information leaks due to side channels are especially hard to detect and analyze. In this paper, we present techniques for automated synthesis of adaptive side-channel attacks that recover secret values. 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 side-channel observations, reducing the remaining uncertainty about the secret in each attack step. Our approach is incremental, reusing results from prior ","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-05-14T00:19:59Z","title":"Incremental Adaptive Attack Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.05322","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:98b302165d0dc1a6fa8b34bfc6dabd7491ea014072d05fed22990b159f9e742f","target":"record","created_at":"2026-05-17T23:46:16Z","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":"64bff4863f5a211d6c0f5def7aba019a5bcc8cd8a608b25dae9693bbfeddd4e6","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-14T00:19:59Z","title_canon_sha256":"ea91a2cb8f344bf91c42a80a77060cdc87e712941b56f53bab71825d60021196"},"schema_version":"1.0","source":{"id":"1905.05322","kind":"arxiv","version":1}},"canonical_sha256":"9c4bfe11ea6ab8e722dafea8e0a66a05a9fabb68ca34b1ebefa9ddd2c2a8c842","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c4bfe11ea6ab8e722dafea8e0a66a05a9fabb68ca34b1ebefa9ddd2c2a8c842","first_computed_at":"2026-05-17T23:46:16.842642Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:16.842642Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Dt/ljgZI45dq4j2zrYLF3RVYF5LhZHpK7Yh2kMjesP7uSA7B7y3wcqoJDtywUNTpGHAzrxrEUUz4uoziyXtPBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:16.843102Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.05322","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98b302165d0dc1a6fa8b34bfc6dabd7491ea014072d05fed22990b159f9e742f","sha256:3b5aa5ee724f0231e14bfff9bd613bc0b0a55cc53a3f6af8b23444426b21f5a2"],"state_sha256":"82751ddc7b7edb6c7cfc8be9001ce274d4c6698d3f131a66fcec44b6279a9548"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ilBVlm0hTOlAcBuRtqMKaE2f0LNhhXcButfy7KW1Zluj5LmtyOHe0FPlioA03HAD79BM5ci5O3EpqQAxSESzAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T11:01:33.236178Z","bundle_sha256":"46a064922dcfba320400e0539e39dcdf8c81446dc6f1984a526537b41481207b"}}