Miguel Ambrona

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 27

Top Topics

Connectionist Learning

Top Venues

IACR Cryptol. ePrint Arch.

Public Key Cryptography (2)

Publications

Miguel Ambrona, Romain Gay
Multi-authority ABE for Non-monotonic Access Structures. Public Key Cryptography (2) (2023)
Miguel Ambrona, Marc Beunardeau, Raphael R. Toledo
Timed Commitments Revisited. IACR Cryptol. ePrint Arch. 2023 (2023)
Miguel Ambrona, Marc Beunardeau, Anne-Laure Schmitt, Raphael R. Toledo
from Multi-polynomial Commitment Schemes. IWSEC (2023)
Miguel Ambrona
A Practical Algorithm for Chess Unwinnability. FUN (2022)
Masayuki Abe, Miguel Ambrona
Blind key-generation attribute-based encryption for general predicates. Des. Codes Cryptogr. 90 (10) (2022)
Miguel Ambrona, Anne-Laure Schmitt, Raphael R. Toledo, Danny Willems
New optimization techniques for PlonKâs arithmetization. IACR Cryptol. ePrint Arch. 2022 (2022)
Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe
Symbolic Synthesis of Indifferentiability Attacks. AsiaCCS (2022)
Miguel Ambrona, Marc Beunardeau, Anne-Laure Schmitt, Raphael R. Toledo
aPlonK : Aggregated PlonK from Multi-Polynomial Commitment Schemes. IACR Cryptol. ePrint Arch. 2022 (2022)
Miguel Ambrona, Dario Fiore, Claudio Soriente
Controlled Functional Encryption Revisited: Multi-Authority Extensions and Efficient Schemes for Quadratic Functions. Proc. Priv. Enhancing Technol. 2021 (1) (2021)
Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen
Non-Interactive Composition of Sigma-Protocols via Share-then-Hash. IACR Cryptol. ePrint Arch. 2021 (2021)
Miguel Ambrona, Romain Gay
Multi-Authority ABE, Revisited. IACR Cryptol. ePrint Arch. 2021 (2021)
Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen
Acyclicity Programming for Sigma-Protocols. IACR Cryptol. ePrint Arch. 2021 (2021)
Miguel Ambrona
Generic Negation of Pair Encodings. Public Key Cryptography (2) (2021)
Miguel Ambrona
Generic Negation of Pair Encodings. IACR Cryptol. ePrint Arch. 2021 (2021)
Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen
Acyclicity Programming for Sigma-Protocols. TCC (1) (2021)
Ky Nguyen, Miguel Ambrona, Masayuki Abe
WI is Almost Enough: Contingent Payment All Over Again. CCS (2020)
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo
On Black-Box Extensions of Non-interactive Zero-Knowledge Arguments, and Signatures Directly from Simulation Soundness. Public Key Cryptography (1) (2020)
Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen
Non-interactive Composition of Sigma-Protocols via Share-then-Hash. ASIACRYPT (3) (2020)
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo
Black-Box Language Extension of Non-Interactive Zero-Knowledge Arguments. IACR Cryptol. ePrint Arch. 2019 (2019)
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo, Mehdi Tibouchi
Lower Bounds on Structure-Preserving Signatures for Bilateral Messages. IACR Cryptol. ePrint Arch. 2018 (2018)
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo, Mehdi Tibouchi
Lower Bounds on Structure-Preserving Signatures for Bilateral Messages. SCN (2018)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
Generic Transformations of Predicate Encodings: Constructions and Applications. CRYPTO (1) (2017)
Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions. IACR Cryptol. ePrint Arch. 2017 (2017)
Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions. CCS (2017)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. EUROCRYPT (2) (2016)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. IACR Cryptol. ePrint Arch. 2016 (2016)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
Generic Transformations of Predicate Encodings: Constructions and Applications. IACR Cryptol. ePrint Arch. 2016 (2016)