{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:PKSIJXACOH45AX5JB4JSAN2WBW","short_pith_number":"pith:PKSIJXAC","canonical_record":{"source":{"id":"1908.01979","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2019-08-06T06:47:37Z","cross_cats_sorted":["cs.CR","cs.SY"],"title_canon_sha256":"6e50679638874d5048790a0eab18372fb80544ba77b8b51327a0d5d6914f5088","abstract_canon_sha256":"b319109a558477c119f291f42d6b92619d1aa5a8f9e488d91cafb26877ad39e8"},"schema_version":"1.0"},"canonical_sha256":"7aa484dc0271f9d05fa90f132037560db1bc4348d0d36e7843165197c5dee54c","source":{"kind":"arxiv","id":"1908.01979","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.01979","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"arxiv_version","alias_value":"1908.01979v1","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.01979","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"pith_short_12","alias_value":"PKSIJXACOH45","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"pith_short_16","alias_value":"PKSIJXACOH45AX5J","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"pith_short_8","alias_value":"PKSIJXAC","created_at":"2026-07-04T23:51:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:PKSIJXACOH45AX5JB4JSAN2WBW","target":"record","payload":{"canonical_record":{"source":{"id":"1908.01979","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2019-08-06T06:47:37Z","cross_cats_sorted":["cs.CR","cs.SY"],"title_canon_sha256":"6e50679638874d5048790a0eab18372fb80544ba77b8b51327a0d5d6914f5088","abstract_canon_sha256":"b319109a558477c119f291f42d6b92619d1aa5a8f9e488d91cafb26877ad39e8"},"schema_version":"1.0"},"canonical_sha256":"7aa484dc0271f9d05fa90f132037560db1bc4348d0d36e7843165197c5dee54c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:51:49.999936Z","signature_b64":"gqRSjnAI9fttX9ePaKs8N6InonyvMjZL94lssSyrKkZlKkvN07phQmWOaHApDHSd/gB1JQLgprOLpdKlG7ukDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7aa484dc0271f9d05fa90f132037560db1bc4348d0d36e7843165197c5dee54c","last_reissued_at":"2026-07-04T23:51:49.999611Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:51:49.999611Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.01979","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-07-04T23:51:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gvr4OC5L0F5+Cyk3u3MNxjp/IiDOcUB1xaily7jhqQXD83G43hElk9rlhwGAF0Vp+hMB/ggjcMo6nz2HT7IlCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T06:28:42.735602Z"},"content_sha256":"b73b5839dee68231c574d12ca504b7ac0e3b5292773fab8f52cc9f66c3ed7551","schema_version":"1.0","event_id":"sha256:b73b5839dee68231c574d12ca504b7ac0e3b5292773fab8f52cc9f66c3ed7551"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:PKSIJXACOH45AX5JB4JSAN2WBW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.CR","cs.SY"],"primary_cat":"eess.SY","authors_text":"Harsh Vamja, Ranga Vemuri, Richa Agrawal","submitted_at":"2019-08-06T06:47:37Z","abstract_excerpt":"In this paper, we present a non-invasive reverse engineering attack based on a novel approach that combines functional and power analysis to recover finite state machines from their synchronous sequential circuit implementations. The proposed technique formulates the machine exploration and state identification problem as a Boolean constraint satisfaction problem and solves it using a SMT (Satisfiability Modulo Theories) solver. It uses power measurements to achieve fast convergence. Experimental results using the LGSynth'91 benchmark suite show that the satisfiability-based approach is severa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.01979","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/1908.01979/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-04T23:51:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w7l+znbjXU2T+kmbz4cHTzu2ITR4HLq4gmtUkBjetFD9qdNy/yCsfuCebbaFSdL77DFJAASkzCsipRLJinJUAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T06:28:42.736397Z"},"content_sha256":"44af58810d61611c46e6fc4a8c19456a8336a6ec434e7d8f029d3c78c88d54c5","schema_version":"1.0","event_id":"sha256:44af58810d61611c46e6fc4a8c19456a8336a6ec434e7d8f029d3c78c88d54c5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PKSIJXACOH45AX5JB4JSAN2WBW/bundle.json","state_url":"https://pith.science/pith/PKSIJXACOH45AX5JB4JSAN2WBW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PKSIJXACOH45AX5JB4JSAN2WBW/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-08-16T06:28:42Z","links":{"resolver":"https://pith.science/pith/PKSIJXACOH45AX5JB4JSAN2WBW","bundle":"https://pith.science/pith/PKSIJXACOH45AX5JB4JSAN2WBW/bundle.json","state":"https://pith.science/pith/PKSIJXACOH45AX5JB4JSAN2WBW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PKSIJXACOH45AX5JB4JSAN2WBW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:PKSIJXACOH45AX5JB4JSAN2WBW","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":"b319109a558477c119f291f42d6b92619d1aa5a8f9e488d91cafb26877ad39e8","cross_cats_sorted":["cs.CR","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2019-08-06T06:47:37Z","title_canon_sha256":"6e50679638874d5048790a0eab18372fb80544ba77b8b51327a0d5d6914f5088"},"schema_version":"1.0","source":{"id":"1908.01979","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.01979","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"arxiv_version","alias_value":"1908.01979v1","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.01979","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"pith_short_12","alias_value":"PKSIJXACOH45","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"pith_short_16","alias_value":"PKSIJXACOH45AX5J","created_at":"2026-07-04T23:51:49Z"},{"alias_kind":"pith_short_8","alias_value":"PKSIJXAC","created_at":"2026-07-04T23:51:49Z"}],"graph_snapshots":[{"event_id":"sha256:44af58810d61611c46e6fc4a8c19456a8336a6ec434e7d8f029d3c78c88d54c5","target":"graph","created_at":"2026-07-04T23:51:49Z","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/1908.01979/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we present a non-invasive reverse engineering attack based on a novel approach that combines functional and power analysis to recover finite state machines from their synchronous sequential circuit implementations. The proposed technique formulates the machine exploration and state identification problem as a Boolean constraint satisfaction problem and solves it using a SMT (Satisfiability Modulo Theories) solver. It uses power measurements to achieve fast convergence. Experimental results using the LGSynth'91 benchmark suite show that the satisfiability-based approach is severa","authors_text":"Harsh Vamja, Ranga Vemuri, Richa Agrawal","cross_cats":["cs.CR","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2019-08-06T06:47:37Z","title":"Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.01979","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:b73b5839dee68231c574d12ca504b7ac0e3b5292773fab8f52cc9f66c3ed7551","target":"record","created_at":"2026-07-04T23:51:49Z","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":"b319109a558477c119f291f42d6b92619d1aa5a8f9e488d91cafb26877ad39e8","cross_cats_sorted":["cs.CR","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2019-08-06T06:47:37Z","title_canon_sha256":"6e50679638874d5048790a0eab18372fb80544ba77b8b51327a0d5d6914f5088"},"schema_version":"1.0","source":{"id":"1908.01979","kind":"arxiv","version":1}},"canonical_sha256":"7aa484dc0271f9d05fa90f132037560db1bc4348d0d36e7843165197c5dee54c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7aa484dc0271f9d05fa90f132037560db1bc4348d0d36e7843165197c5dee54c","first_computed_at":"2026-07-04T23:51:49.999611Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:51:49.999611Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gqRSjnAI9fttX9ePaKs8N6InonyvMjZL94lssSyrKkZlKkvN07phQmWOaHApDHSd/gB1JQLgprOLpdKlG7ukDg==","signature_status":"signed_v1","signed_at":"2026-07-04T23:51:49.999936Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.01979","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b73b5839dee68231c574d12ca504b7ac0e3b5292773fab8f52cc9f66c3ed7551","sha256:44af58810d61611c46e6fc4a8c19456a8336a6ec434e7d8f029d3c78c88d54c5"],"state_sha256":"3eebb8adea4f4d61a044ef06a57429932288c3336e6f203cb73bd32480999274"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EzSWhSIdpm4VefkzzTBTh5qYwsCBlaG7yR3LAd0bEUlpmC37amg33ctx5b4mU2wAGqhXKjsdDAWI3T3eiU1tAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T06:28:42.742115Z","bundle_sha256":"a1e689c317243060011ea1e25a3bb5592bb968a96927618c1d5a7f4187f4e2a5"}}