Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. - Miguel Ambrona; Gilles Barthe; Benedikt Schmidt (IACR Cryptol. ePrint Arch., 2016)

Generic Transformations of Predicate Encodings: Constructions and Applications. - Miguel Ambrona; Gilles Barthe; Benedikt Schmidt (IACR Cryptol. ePrint Arch., 2016)

Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions. - Miguel Ambrona; Gilles Barthe; Romain Gay; Hoeteck Wee (IACR Cryptol. ePrint Arch., 2017)

Lower Bounds on Structure-Preserving Signatures for Bilateral Messages. - Masayuki Abe; Miguel Ambrona; Miyako Ohkubo; Mehdi Tibouchi (IACR Cryptol. ePrint Arch., 2018)

Automated Analysis of Cryptographic Constructions. - Miguel Ambrona (2018)

Black-Box Language Extension of Non-Interactive Zero-Knowledge Arguments. - Masayuki Abe; Miguel Ambrona; Miyako Ohkubo (IACR Cryptol. ePrint Arch., 2019)

WI is Almost Enough: Contingent Payment All Over Again. - Ky Nguyen; Miguel Ambrona; Masayuki Abe (CCS, 2020)

On Black-Box Extensions of Non-interactive Zero-Knowledge Arguments, and Signatures Directly from Simulation Soundness. - Masayuki Abe; Miguel Ambrona; Miyako Ohkubo (Public Key Cryptography (1), 2020)

Acyclicity Programming for Sigma-Protocols. - Masayuki Abe; Miguel Ambrona; Andrej Bogdanov; Miyako Ohkubo; Alon Rosen (IACR Cryptol. ePrint Arch., 2021)

Non-Interactive Composition of Sigma-Protocols via Share-then-Hash. - Masayuki Abe; Miguel Ambrona; Andrej Bogdanov; Miyako Ohkubo; Alon Rosen (IACR Cryptol. ePrint Arch., 2021)

Generic Negation of Pair Encodings. - Miguel Ambrona (IACR Cryptol. ePrint Arch., 2021)

Multi-Authority ABE, Revisited. - Miguel Ambrona; Romain Gay (IACR Cryptol. ePrint Arch., 2021)

Controlled Functional Encryption Revisited: Multi-Authority Extensions and Efficient Schemes for Quadratic Functions. - Miguel Ambrona; Dario Fiore 001; Claudio Soriente (Proc. Priv. Enhancing Technol., 2021)

Symbolic Synthesis of Indifferentiability Attacks. - Itsaka Rakotonirina; Miguel Ambrona; Alejandro Aguirre 001; Gilles Barthe (AsiaCCS, 2022)

A Practical Algorithm for Chess Unwinnability. - Miguel Ambrona (FUN, 2022)

Blind key-generation attribute-based encryption for general predicates. - Masayuki Abe; Miguel Ambrona (Des. Codes Cryptogr., 2022)

aPlonK : Aggregated PlonK from Multi-Polynomial Commitment Schemes. - Miguel Ambrona; Marc Beunardeau; Anne-Laure Schmitt; Raphael R. Toledo (IACR Cryptol. ePrint Arch., 2022)

New optimization techniques for PlonKâs arithmetization. - Miguel Ambrona; Anne-Laure Schmitt; Raphael R. Toledo; Danny Willems (IACR Cryptol. ePrint Arch., 2022)

aPlonK: Aggregated PlonK from Multi-polynomial Commitment Schemes. - Miguel Ambrona; Marc Beunardeau; Anne-Laure Schmitt; Raphael R. Toledo (IWSEC, 2023)

Multi-authority ABE for Non-monotonic Access Structures. - Miguel Ambrona; Romain Gay (Public Key Cryptography (2), 2023)

Timed Commitments Revisited. - Miguel Ambrona; Marc Beunardeau; Raphael R. Toledo (IACR Cryptol. ePrint Arch., 2023)

Hybrid Zero-Knowledge from Garbled Circuits and Circuit-Based Composition of Σ-Protocols. - Masayuki Abe; Miguel Ambrona; Miyako Ohkubo (SCN (1), 2024)

Hybrid Zero-Knowledge from Garbled Circuits. - Masayuki Abe; Miguel Ambrona; Miyako Ohkubo (IACR Cryptol. ePrint Arch., 2024)

Block Ciphers in Idealized Models: Automated Proofs and New Security Results. - Miguel Ambrona; Pooya Farshim; Patrick Harasser (IACR Cryptol. ePrint Arch., 2024)

Efficient Foreign-Field Arithmetic in PLONK. - Miguel Ambrona; Denis Firsov; Iñigo Querejeta-Azurmendi (IACR Cryptol. ePrint Arch., 2025)