{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:6LGIZMI7FF4BZW4FHSALHZAGLM","short_pith_number":"pith:6LGIZMI7","canonical_record":{"source":{"id":"1902.07471","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2019-02-20T09:46:02Z","cross_cats_sorted":["cs.CR","cs.LG"],"title_canon_sha256":"42408d3ebdf7ac9421ac4d32cab395726d662d6780e2fd07db6d3be1a8ceac59","abstract_canon_sha256":"e79fd172b10e1d559e02c9bf04a69cf74550de196dd2d77bc18d090b7847f9ef"},"schema_version":"1.0"},"canonical_sha256":"f2cc8cb11f29781cdb853c80b3e4065b1ecde540475152fec98458ba8ccfbb3c","source":{"kind":"arxiv","id":"1902.07471","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.07471","created_at":"2026-05-17T23:53:07Z"},{"alias_kind":"arxiv_version","alias_value":"1902.07471v1","created_at":"2026-05-17T23:53:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.07471","created_at":"2026-05-17T23:53:07Z"},{"alias_kind":"pith_short_12","alias_value":"6LGIZMI7FF4B","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6LGIZMI7FF4BZW4F","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6LGIZMI7","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:6LGIZMI7FF4BZW4FHSALHZAGLM","target":"record","payload":{"canonical_record":{"source":{"id":"1902.07471","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2019-02-20T09:46:02Z","cross_cats_sorted":["cs.CR","cs.LG"],"title_canon_sha256":"42408d3ebdf7ac9421ac4d32cab395726d662d6780e2fd07db6d3be1a8ceac59","abstract_canon_sha256":"e79fd172b10e1d559e02c9bf04a69cf74550de196dd2d77bc18d090b7847f9ef"},"schema_version":"1.0"},"canonical_sha256":"f2cc8cb11f29781cdb853c80b3e4065b1ecde540475152fec98458ba8ccfbb3c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:07.772525Z","signature_b64":"mduQaclfG/fI6TEhNzdIfjMm0umQPe7jDNHdGlG8gdNKahdji3e+Lhv4pinhEZAhz/fLEoOLK3Nl7VVeYql7AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f2cc8cb11f29781cdb853c80b3e4065b1ecde540475152fec98458ba8ccfbb3c","last_reissued_at":"2026-05-17T23:53:07.772017Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:07.772017Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.07471","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:53:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r5sOq7ptufI/RVKjuPqj/ewQJ9Tyl062NUUso8weh5gI7+MPOSoCXzkAWmtgyMp4RDo94MS01GyPvcJHDXwCBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T14:51:06.976819Z"},"content_sha256":"76203d6c0efa19a7737e27099d21433a7d7d032bf1ef9e5ec829940c4599d019","schema_version":"1.0","event_id":"sha256:76203d6c0efa19a7737e27099d21433a7d7d032bf1ef9e5ec829940c4599d019"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:6LGIZMI7FF4BZW4FHSALHZAGLM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Identification of Bugs and Vulnerabilities in TLS Implementation for Windows Operating System Using State Machine Learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.LG"],"primary_cat":"cs.NI","authors_text":"Koustav Sadhukhan, Tarun Yadav","submitted_at":"2019-02-20T09:46:02Z","abstract_excerpt":"TLS protocol is an essential part of secure Internet communication. In past, many attacks have been identified on the protocol. Most of these attacks are due to flaws in protocol implementation. The flaws are due to improper design and implementation of program logic by programmers. One of the widely used implementation of TLS is SChannel which is used in Windows operating system since its inception. We have used protocol state fuzzing to identify vulnerable and undesired state transitions in the state machine of the protocol for various versions of SChannel. The client as well as server compo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.07471","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:53:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RG+CSMqWNSRl6G89/3JuxZgMP5zjiThdLxD7NKOflqFyeKYBr9EEFzp2x7OzJzc77cmc0DZJ/YjCS1KqYLqPCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T14:51:06.977526Z"},"content_sha256":"3dcd60723567406553f6ad651d0db24632a7889fc81645dfe42549f682480507","schema_version":"1.0","event_id":"sha256:3dcd60723567406553f6ad651d0db24632a7889fc81645dfe42549f682480507"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6LGIZMI7FF4BZW4FHSALHZAGLM/bundle.json","state_url":"https://pith.science/pith/6LGIZMI7FF4BZW4FHSALHZAGLM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6LGIZMI7FF4BZW4FHSALHZAGLM/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-15T14:51:06Z","links":{"resolver":"https://pith.science/pith/6LGIZMI7FF4BZW4FHSALHZAGLM","bundle":"https://pith.science/pith/6LGIZMI7FF4BZW4FHSALHZAGLM/bundle.json","state":"https://pith.science/pith/6LGIZMI7FF4BZW4FHSALHZAGLM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6LGIZMI7FF4BZW4FHSALHZAGLM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:6LGIZMI7FF4BZW4FHSALHZAGLM","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":"e79fd172b10e1d559e02c9bf04a69cf74550de196dd2d77bc18d090b7847f9ef","cross_cats_sorted":["cs.CR","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2019-02-20T09:46:02Z","title_canon_sha256":"42408d3ebdf7ac9421ac4d32cab395726d662d6780e2fd07db6d3be1a8ceac59"},"schema_version":"1.0","source":{"id":"1902.07471","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.07471","created_at":"2026-05-17T23:53:07Z"},{"alias_kind":"arxiv_version","alias_value":"1902.07471v1","created_at":"2026-05-17T23:53:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.07471","created_at":"2026-05-17T23:53:07Z"},{"alias_kind":"pith_short_12","alias_value":"6LGIZMI7FF4B","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6LGIZMI7FF4BZW4F","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6LGIZMI7","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:3dcd60723567406553f6ad651d0db24632a7889fc81645dfe42549f682480507","target":"graph","created_at":"2026-05-17T23:53:07Z","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":"TLS protocol is an essential part of secure Internet communication. In past, many attacks have been identified on the protocol. Most of these attacks are due to flaws in protocol implementation. The flaws are due to improper design and implementation of program logic by programmers. One of the widely used implementation of TLS is SChannel which is used in Windows operating system since its inception. We have used protocol state fuzzing to identify vulnerable and undesired state transitions in the state machine of the protocol for various versions of SChannel. The client as well as server compo","authors_text":"Koustav Sadhukhan, Tarun Yadav","cross_cats":["cs.CR","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2019-02-20T09:46:02Z","title":"Identification of Bugs and Vulnerabilities in TLS Implementation for Windows Operating System Using State Machine Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.07471","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:76203d6c0efa19a7737e27099d21433a7d7d032bf1ef9e5ec829940c4599d019","target":"record","created_at":"2026-05-17T23:53:07Z","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":"e79fd172b10e1d559e02c9bf04a69cf74550de196dd2d77bc18d090b7847f9ef","cross_cats_sorted":["cs.CR","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2019-02-20T09:46:02Z","title_canon_sha256":"42408d3ebdf7ac9421ac4d32cab395726d662d6780e2fd07db6d3be1a8ceac59"},"schema_version":"1.0","source":{"id":"1902.07471","kind":"arxiv","version":1}},"canonical_sha256":"f2cc8cb11f29781cdb853c80b3e4065b1ecde540475152fec98458ba8ccfbb3c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2cc8cb11f29781cdb853c80b3e4065b1ecde540475152fec98458ba8ccfbb3c","first_computed_at":"2026-05-17T23:53:07.772017Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:53:07.772017Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mduQaclfG/fI6TEhNzdIfjMm0umQPe7jDNHdGlG8gdNKahdji3e+Lhv4pinhEZAhz/fLEoOLK3Nl7VVeYql7AA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:53:07.772525Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.07471","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:76203d6c0efa19a7737e27099d21433a7d7d032bf1ef9e5ec829940c4599d019","sha256:3dcd60723567406553f6ad651d0db24632a7889fc81645dfe42549f682480507"],"state_sha256":"b8c557e50e9ec260e183b2cbf39ece19da10d7735fe7e8f2bfbc4d260c377d7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XNDl8bhTxIM25CZxTeD1B9TBGQCO/sShW80mJm5giibnlbsKRY3tyNfTTDR2vs+1O91d5GtT2sIiJGeJXzV5Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T14:51:06.982048Z","bundle_sha256":"c46ffbb456801d0ecff02341462795f515220317ca7a9218dcb056466bf9a30f"}}