chen-2026-oblivious:
  type: misc
  title: 'Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary'
  author:
  - Chen, Hanxi
  - Zilberstein, Noam
  - Myers, Andrew C.
  - Silva, Alexandra
  date: 2026-07
  serial-number:
    arxiv: '2607.16533'