Junxiao Cao: Restricted Verifier: Using ML/AI to Limit Data Disclosure; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, August 2025, URL: https://files.ifi.uzh.ch/CSG/staff/schumm/extern/theses/MA-J-Cao.pdf.