Secure Formation Control via Edge Computing Enabled by Fully Homomorphic Encryption and Mixed Uniform-Logarithmic Quantization | IEEE Journals & Magazine | IEEE Xplore