Research
I am currently working on a few research projects. I will update this page as they progress.
The Bernoulli Model
Random approximate sets, maps, relations, and types with quantifiable false-positive and false-negative rates. The model, its information-theoretic space bound and space-optimal construction, its …
Trapdoor Computing
Computing on values hidden behind a one-way trapdoor. The cipher map abstraction, its algebra and types, a quantitative confidentiality theory, concrete constructions, and the monograph that ties them …