| 2024 | CCS | Block Ciphers in Idealized Models: Automated Proofs and New Security Results. | Miguel Ambrona, Pooya Farshim, Patrick Harasser |
| 2024 | SCN | Hybrid Zero-Knowledge from Garbled Circuits and Circuit-Based Composition of Σ-Protocols. | Masayuki Abe, Miguel Ambrona, Miyako Ohkubo |
| 2023 | IWSEC | a | Miguel Ambrona, Marc Beunardeau, Anne-Laure Schmitt, Raphael R. Toledo |
| 2023 | PKC | Multi-authority ABE for Non-monotonic Access Structures. | Miguel Ambrona, Romain Gay |
| 2022 | AsiaCCS | Symbolic Synthesis of Indifferentiability Attacks. | Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe |
| 2022 | FUN | A Practical Algorithm for Chess Unwinnability. | Miguel Ambrona |
| 2021 | PKC | Generic Negation of Pair Encodings. | Miguel Ambrona |
| 2021 | TCC | Acyclicity Programming for Sigma-Protocols. | Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen |
| 2020 | ASIACRYPT | Non-interactive Composition of Sigma-Protocols via Share-then-Hash. | Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen |
| 2020 | CCS | WI is Almost Enough: Contingent Payment All Over Again. | Ky Nguyen, Miguel Ambrona, Masayuki Abe |
| 2020 | PKC | On Black-Box Extensions of Non-interactive Zero-Knowledge Arguments, and Signatures Directly from Simulation Soundness. | Masayuki Abe, Miguel Ambrona, Miyako Ohkubo |
| 2018 | SCN | Lower Bounds on Structure-Preserving Signatures for Bilateral Messages. | Masayuki Abe, Miguel Ambrona, Miyako Ohkubo, Mehdi Tibouchi |
| 2017 | CCS | Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions. | Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee |
| 2017 | CRYPTO | Generic Transformations of Predicate Encodings: Constructions and Applications. | Miguel Ambrona, Gilles Barthe, Benedikt Schmidt |
| 2016 | EuroCrypt | Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. | Miguel Ambrona, Gilles Barthe, Benedikt Schmidt |