SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge Topics: Applied Cryptography; Data Integrity In Proceedings of the 19th International Conference on Security and Cryptography SECRYPT - Volume 1, 13-24, 2022 , Lisbon, Portugal