Quantified security is a weak hypothesis
Verendel, Vilhelm · Proceedings of the 2009 workshop on New security paradigms workshop · 2009