Privacy Preserving Computing

Research Frontiers in Formal Verification Privacy

Using formal methods and theorem proving to verify privacy properties of cryptographic protocols and privacy-preserving systems.

All Privacy Preserving Computing PhD categories