Formal verification of approximate differential privacy via the characteristic function

Date: June 19, 2023