247 citations · 1.8k across the 152 of their papers we have counts for
4 papers · 1 filter
A Knowledge-Based Analysis of the Blockchain Protocol
Joseph Y. Halpern, Rafael Pass
At the heart of the Bitcoin is a blockchain protocol, a protocol for achieving consensus on a public ledger that records bitcoin transactions. To the extent that a blockchain proto…
An Epistemic Foundation for Authentication Logics (Extended Abstract)
Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella
While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, thi…
Games With Tolerant Players
Arpita Ghosh, Joseph Y. Halpern
A notion of pi-tolerant equilibrium is defined that takes into account that players have some tolerance regarding payoffs in a game. This solution concept generalizes Nash and refi…
From Type Spaces to Probability Frames and Back, via Language
Adam Bjorndahl, Joseph Y. Halpern
We investigate the connection between the two major mathematical frameworks for modeling interactive beliefs: Harsanyi type spaces and possible-worlds style probability frames. Whi…