X. Wang, H. Yu, Y. Chen, R.O. Sinnott, Z. Yang, PrVFL: Pruning-Aware Verifiable Federated Learning for Heterogeneous Edge Computing, IEEE…