2 citations · 5 across the 10 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
Correlated Failures of AI Approval Monitors
Luca Zanolini
Before an AI agent takes a consequential action, such as paying, messaging or changing code, several monitors check it. Their verdicts are combined by aggregating scores or by coun…
cs.CR2025
Accountable Liveness
Andrew Lewis-Pye, Joachim Neu, Tim Roughgarden +1
Safety and liveness are the two classical security properties of consensus protocols. Recent works have strengthened safety with accountability: should any safety violation occur,…
cs.CR2022
Modeling Resources in Permissionless Longest-chain Total-order Broadcast
Sarah Azouvi, Christian Cachin, Duc V. Le +2
Blockchain protocols implement total-order broadcast in a permissionless setting, where processes can freely join and leave. In such a setting, to safeguard against Sybil attacks,…