Apparently, this user prefers to keep an air of mystery about them.
6 Correctness of Freivald algorithm for checking matrix multiplication, why is the probability of checking $AB \neq C$ at least 1/2? nov 3
4 If a one-way functions (OWF) exist, then there exits a OWF that is computable in quadratic running time by a padding argument jan 6 '14
3 What is the rigorous definition of an efficient algorithm that $\epsilon-refutes$ random 3CNF formulas may 10