Models for Probabilistic Programs with an Adversary

Robert Rand, Steve Zdancewic
January 2016
PDF Slides
Type
Workshop paper
Publication
Probabilistic Programming Semantics (PPS 2016)
"Hoare Logic" Formal verification "Coq" "Probabilistic Programming" "Nondeterminism"

Related