On Composing AGM-Secure Functionalities with Cryptographic Proofs - Applications to Unbounded-Depth IVC and More.

Matteo Campanelli, Dario Fiore, Mahak Pancholi

Browse the full PKC paper archive.