{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T07:01:33Z","timestamp":1782975693239,"version":"3.54.5"},"reference-count":47,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,18]]},"DOI":"10.1109\/sp63933.2026.00102","type":"proceedings-article","created":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T19:34:20Z","timestamp":1782934460000},"page":"2133-2151","source":"Crossref","is-referenced-by-count":0,"title":["Fast Deterministically Safe Proof-of-Work Consensus"],"prefix":"10.1109","author":[{"given":"Ali","family":"Farahbakhsh","sequence":"first","affiliation":[{"name":"Cornell University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giuliano","family":"Losa","sequence":"additional","affiliation":[{"name":"Stellar Development Foundation"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Youer","family":"Pu","sequence":"additional","affiliation":[{"name":"Cornell University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lorenzo","family":"Alvisi","sequence":"additional","affiliation":[{"name":"Cornell University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179426"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3560829.3563563"},{"key":"ref3","first-page":"33:1","article-title":"Safe permissionless consensus","volume-title":"36th International Symposium on Distributed Computing, DISC 2022, October 25\u201327, 2022","volume":"246","author":"Pu"},{"key":"ref4","first-page":"31:1","article-title":"Gorilla: Safe permissionless byzantine consensus","volume-title":"37th International Symposium on Distributed Computing, DISC 2023, October 10\u201312, 2023","volume":"281","author":"Pu"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46803-6_10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417290"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96884-1_25"},{"key":"ref8","first-page":"2022\/1448","article-title":"Towards practical sleepy BFT","author":"Malkhi","year":"2023","journal-title":"Cryptology ePrint Archive"},{"issue":"arXiv:2304.14701","key":"ref9","author":"Lewis-Pye","year":"2024","journal-title":"Permissionless Consensus"},{"key":"ref10","first-page":"41:1","article-title":"Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority","volume-title":"37th International Symposium on Distributed Computing (DISC 2023), ser. Leibniz International Proceedings in Informatics \u20ddLIPIcs","volume":"281","author":"Gafni"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623073"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref13","author":"Losa","year":"2025","journal-title":"Formal models of the Sieve-MMR protocol"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1060"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-47754-6_2"},{"key":"ref18","journal-title":"Ethereum proof-of-stake consensus specifications."},{"key":"ref19","author":"Losa","year":"2023","journal-title":"Consensus in the Unknown-Participation Message-Adversary Model"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3559347"},{"key":"ref21","first-page":"143","article-title":"Round-by-round fault detectors, unifying synchrony and asynchrony (extendeda abstract)","volume-title":"Proc. 17th Annual ACM Symposium on Principles of Distributed Computing \u20ddPODC","author":"Gafni"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539790187084"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11818175_27"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70697-9_14"},{"key":"ref25","author":"Nakamoto","year":"2008","journal-title":"Bitcoin: A peer-to-peer electronic cash system"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SFFCS.1999.814584"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3662158.3662799"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68164-9_6"},{"key":"ref29","author":"Buchman","year":"2019","journal-title":"The latest gossip on BFT consensus"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132757"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63688-7_12"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32101-7_2"},{"key":"ref33","author":"D\u2019Amato","year":"2023","journal-title":"Goldfish: No More Attacks on Proof-of-Stake Ethereum"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-64331-0_6"},{"key":"ref35","article-title":"Short paper: Posh proof of staked hardware consensus","author":"Khalil","year":"2020","journal-title":"Cryptology ePrint Archive"},{"key":"ref36","article-title":"Nakamoto consensus with verifiable delay puzzle","author":"Long","year":"2019","journal-title":"arXiv preprint"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain55522.2022.00055"},{"key":"ref38","year":"2025","journal-title":"Chia green paper"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3419614.3423260"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3670865.3673548"},{"key":"ref41","first-page":"45","article-title":"BitcoinNG: A scalable blockchain protocol","volume-title":"13th USENIX symposium on networked systems design and implementation (NSDI 16).","author":"Eyal"},{"key":"ref42","author":"Fitzi","year":"2018","journal-title":"Parallel Chains: Improving Throughput and Latency of Blockchain Protocols via Parallel Composition"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363213"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-58734-4_4"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/800221.806707"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3558535.3559773"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3335741.3335750"}],"event":{"name":"2026 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2026,5,18]]},"end":{"date-parts":[[2026,5,21]]}},"container-title":["2026 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11573355\/11573356\/11573427.pdf?arnumber=11573427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T05:31:50Z","timestamp":1782970310000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11573427\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,18]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/sp63933.2026.00102","relation":{},"subject":[],"published":{"date-parts":[[2026,5,18]]}}}