Search papers, labs, and topics across Lattice.
CISPA Helmholtz Center for Information Security, Aarhus University
2
0
3
10
Every linearizable data structure can now be paired with a logically atomic specification, simplifying the proof process in concurrent programming.
Finally, a program logic that handles the complexities of real-world differential privacy libraries, including privacy filters, higher-order functions, and interactive algorithms.
