Higher-order probabilistic adversarial computations: Categorical semantics and program logics

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi +3

Adversarial computations are a widely studied class of computations where resource-bounded probabilistic adversaries have access to oracles, i.e., probabilistic procedures with pri…