Exact-Fun: An Exact and Efficient Federated Unlearning Approach | IEEE Conference Publication | IEEE Xplore