Formal verification of approximate differential privacy via the characteristic function

Published in Penn State Schreyer Honor College, 2023

Undergraduate honor thesis on formal verification of differential privacy