A Program Logic for Union Bounds.

Gilles Barthe, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub

Browse the full ICALP paper archive.