main title CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
keywords proof systems; verifiable computation; zero-knowledge proofs; machine learning; convolutional neural networks; image processing