Falsifiable assumptions
An assumption is falsifiable if a violation of it can be witnessed by a polynomial-time game between a challenger and an adversary, so that a counterexample can be efficiently recognized; KEA-style knowledge assumptions are not.
TODO: syntax and security definition.
Participates in
Barriers