VerifyVFL: Practical Verifiable Vertical Federated Learning. - Junchen Hou; Lan Zhang (DSN, 2025)