Research Topics

• Can We Formally Verify Privacy Properties? — slides