Miguel Ambrona

34 papers A* 3A 1Misc 3Journal 18Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient Foreign-Field Arithmetic in PLONK.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Denis Firsov, Iñigo Querejeta-Azurmendi
2025 J jnl
Hybrid zero-knowledge from garbled circuits.
Cryptogr. Commun.
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo
2024 A* conf
Block Ciphers in Idealized Models: Automated Proofs and New Security Results.
CCS
Miguel Ambrona, Pooya Farshim, Patrick Harasser
2024 J jnl
Block Ciphers in Idealized Models: Automated Proofs and New Security Results.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Pooya Farshim, Patrick Harasser
2024 — conf
Hybrid Zero-Knowledge from Garbled Circuits and Circuit-Based Composition of Σ-Protocols.
SCN (1)
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo
2024 J jnl
Hybrid Zero-Knowledge from Garbled Circuits.
IACR Cryptol. ePrint Arch.
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo
2023 — conf
Multi-authority ABE for Non-monotonic Access Structures.
Public Key Cryptography (2)
Miguel Ambrona, Romain Gay
2023 J jnl
Timed Commitments Revisited.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Marc Beunardeau, Raphael R. Toledo
2023 Misc conf
a
IWSEC
Miguel Ambrona, Marc Beunardeau, Anne-Laure Schmitt, Raphael R. Toledo
2022 Misc conf
A Practical Algorithm for Chess Unwinnability.
FUN
Miguel Ambrona
2022 J jnl
Blind key-generation attribute-based encryption for general predicates.
Des. Codes Cryptogr.
Masayuki Abe, Miguel Ambrona
2022 J jnl
New optimization techniques for PlonK’s arithmetization.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Anne-Laure Schmitt, Raphael R. Toledo, Danny Willems
2022 A conf
Symbolic Synthesis of Indifferentiability Attacks.
AsiaCCS
Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe
2022 J jnl
aPlonK : Aggregated PlonK from Multi-Polynomial Commitment Schemes.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Marc Beunardeau, Anne-Laure Schmitt, Raphael R. Toledo
2021 — conf
Acyclicity Programming for Sigma-Protocols.
TCC (1)
Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen
2021 J jnl
Acyclicity Programming for Sigma-Protocols.
IACR Cryptol. ePrint Arch.
Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen
2021 J jnl
Controlled Functional Encryption Revisited: Multi-Authority Extensions and Efficient Schemes for Quadratic Functions.
Proc. Priv. Enhancing Technol.
Miguel Ambrona, Dario Fiore, Claudio Soriente
2021 — conf
Generic Negation of Pair Encodings.
Public Key Cryptography (2)
Miguel Ambrona
2021 J jnl
Generic Negation of Pair Encodings.
IACR Cryptol. ePrint Arch.
Miguel Ambrona
2021 J jnl
Multi-Authority ABE, Revisited.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Romain Gay
2021 J jnl
Non-Interactive Composition of Sigma-Protocols via Share-then-Hash.
IACR Cryptol. ePrint Arch.
Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen
2020 — conf
Non-interactive Composition of Sigma-Protocols via Share-then-Hash.
ASIACRYPT (3)
Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen
2020 — conf
On Black-Box Extensions of Non-interactive Zero-Knowledge Arguments, and Signatures Directly from Simulation Soundness.
Public Key Cryptography (1)
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo
2020 A* conf
WI is Almost Enough: Contingent Payment All Over Again.
CCS
Ky Nguyen, Miguel Ambrona, Masayuki Abe
2019 J jnl
Black-Box Language Extension of Non-Interactive Zero-Knowledge Arguments.
IACR Cryptol. ePrint Arch.
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo
2018 — —
Automated Analysis of Cryptographic Constructions.
Miguel Ambrona
2018 Misc conf
Lower Bounds on Structure-Preserving Signatures for Bilateral Messages.
SCN
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo, Mehdi Tibouchi
2018 J jnl
Lower Bounds on Structure-Preserving Signatures for Bilateral Messages.
IACR Cryptol. ePrint Arch.
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo, Mehdi Tibouchi
2017 A* conf
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions.
CCS
Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee
2017 J jnl
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee
2017 — conf
Generic Transformations of Predicate Encodings: Constructions and Applications.
CRYPTO (1)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
2016 — conf
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.
EUROCRYPT (2)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
2016 J jnl
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
2016 J jnl
Generic Transformations of Predicate Encodings: Constructions and Applications.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt