Search papers, labs, and topics across Lattice.
Aarhus University
2
0
4
5
Elton can prove error bounds on security properties that were previously unaddressable, revolutionizing how we reason about adversarial probabilistic programs.
Finally, a program logic that handles the complexities of real-world differential privacy libraries, including privacy filters, higher-order functions, and interactive algorithms.
