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, unified under one model. A synthesis with credited lineage: the unifying model, 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 …