Talks and presentations

Formal verification of approximate differential privacy via the characteristic function

June 19, 2023

Poster Presentation @ Student Research Competition, ACM SIGPLAN PLDI 23 - Student Research Competition, Orlando, Florida

Poster