15 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.CR2017★ 1 cited
Quantifying vulnerability of secret generation using hyper-distributions (extended version)
Mário S. Alvim, Piotr Mardziel, Michael Hicks
Traditional approaches to Quantitative Information Flow (QIF) represent the adversary's prior knowledge of possible secret values as a single probability distribution. This represe…
cs.PL2014★ 15 cited
Polymonadic Programming
Michael Hicks, Gavin Bierman, Nataliya Guts +2
Monads are a popular tool for the working functional programmer to structure effectful computations. This paper presents polymonads, a generalization of monads. Polymonads give the…