Privacy

Browse posts by category

October 14, 2025

Bernoulli Types: A Foundation for Approximate and Oblivious Computing

A unified type-theoretic foundation for probabilistic data structures, approximate computing, and oblivious computation with information-theoretic privacy guarantees.

October 14, 2025

Encrypted Search and Oblivious Types

Oblivious types give encrypted search information-theoretic privacy against access pattern leakage. No ORAM, no computational hardness assumptions. Here's how.

encrypted search oblivious computing privacy-preserving search information theory cryptography