Publications

[21] Block Ciphers in Idealized Models: Automated Proofs and New Security Results

Miguel Ambrona, Pooya Farshim, and Patrick Harasser. ACM CCS 2024

[20] Hybrid Zero-Knowledge from Garbled Circuits and Circuit-Based Composition of Σ-Protocols

Masayuki Abe, Miguel Ambrona, and Miyako Ohkubo. SCN 2024

[19] Timed Commitments Revisited

Miguel Ambrona, Marc Beunardeau, and Raphaël R. Toledo. Preprint

[18] aPlonK: Aggregated PlonK from Multi-Polynomial Commitment Schemes

Miguel Ambrona, Marc Beunardeau, Anne-Laure Schmitt, and Raphaël R. Toledo. IWSEC 2023, Best Paper Award
TOOL

[17] Multi-Authority ABE for Non-Monotonic Access Structures

Miguel Ambrona, Romain Gay. PKC 2023

[16] Blind Key-Generation Attribute-Based Encryption for General Predicates

Masayuki Abe, Miguel Ambrona. Designs, Codes and Cryptography 2022

[15] New optimization techniques for PlonK’s arithmetization

Miguel Ambrona, Anne-Laure Schmitt, Raphaël R. Toledo, and Danny Willems. Preprint

[14] A Practical Algorithm for Chess Unwinnability

Miguel Ambrona. FUN with Algorithms 2022
TOOL

[13] Symbolic Synthesis of Indifferentiability Attacks

Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe. ASIA CCS 2022
TOOL

[12] Multi-Authority ABE, Revisited

Miguel Ambrona, Romain Gay. Preprint

[11] Acyclicity Programming for Sigma-Protocols

Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Alon Rosen, Miyako Ohkubo. TCC 2021

[10] Generic Negation of Pair Encodings

Miguel Ambrona. PKC 2021

[9] Controlled Functional Encryption Revisited: Multi-Authority Extensions and Efficient Schemes for Quadratic Functions

Miguel Ambrona, Dario Fiore, Claudio Soriente. PoPETs 2021

[8] Non-Interactive Composition of Sigma-Protocols via Share-then-Hash

Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Alon Rosen, Miyako Ohkubo. ASIACRYPT 2020

[7] WI is Almost Enough: Contingent Payment All Over Again

Ky Nguyen, Miguel Ambrona, Masayuki Abe. ACM CCS 2020
TOOL

[6] Black-Box Language Extension of Non-Interactive Zero-Knowledge Arguments

Masayuki Abe, Miguel Ambrona, Miyako Ohkubo. PKC 2020

[5] Lower Bounds on Structure-Preserving Signatures for Bilateral Messages

Masayuki Abe, Miguel Ambrona, Miyako Ohkubo and Mehdi Tibouchi. SCN 2018

[4] Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions

Miguel Ambrona, Gilles Barthe, Romain Gay and Hoeteck Wee. ACM CCS 2017
TOOL

[3] Generic Transformations of Predicate Encodings: Constructions and Applications

Miguel Ambrona, Gilles Barthe, Benedikt Schmidt. CRYPTO 2017
CODE

[2] Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model

Miguel Ambrona, Gilles Barthe, Benedikt Schmidt. EUROCRYPT 2016
TOOL

[1] Secure color. Advanced color techniques for analysis and security

Luis Borruel, Miguel Ambrona. Fábrica Nacional de Moneda y Timbre.