Erich Grädel
-
One-way permutations and self-witnessing languages
Journal of Computer and System Sciences
Enforcing and defying associativity, commutativity, totality, and strong noninvertibility for worst-case one-way functions
Theoretical Computer Science