Privacy Preserving Computing

Research Frontiers in Formal Privacy Guarantees Verification

Research on formally proving privacy guarantees in algorithms through theorem proving, model checking, and compositional verification of privacy-preserving systems.

All Privacy Preserving Computing PhD categories