Miguel Ambrona

According to our database, Miguel Ambrona authored at least 24 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Block Ciphers in Idealized Models: Automated Proofs and New Security Results.

Miguel Ambrona, Pooya Farshim, Patrick Harasser

IACR Cryptol. ePrint Arch., 2024

Hybrid Zero-Knowledge from Garbled Circuits.

Masayuki Abe, Miguel Ambrona, Miyako Ohkubo

IACR Cryptol. ePrint Arch., 2024

Hybrid Zero-Knowledge from Garbled Circuits and Circuit-Based Composition of Σ-Protocols.

Masayuki Abe, Miguel Ambrona, Miyako Ohkubo

Proceedings of the Security and Cryptography for Networks - 14th International Conference, 2024

2023

Timed Commitments Revisited.

Miguel Ambrona, Marc Beunardeau, Raphael R. Toledo

IACR Cryptol. ePrint Arch., 2023

Multi-authority ABE for Non-monotonic Access Structures.

Miguel Ambrona, Romain Gay

Proceedings of the Public-Key Cryptography - PKC 2023, 2023

a<i>P</i>lon<i>K</i>: Aggregated <i>P</i>lon<i>K</i> from Multi-polynomial Commitment Schemes.

Miguel Ambrona, Marc Beunardeau, Anne-Laure Schmitt, Raphael R. Toledo

Proceedings of the Advances in Information and Computer Security, 2023

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

IACR Cryptol. ePrint Arch., 2022

Blind key-generation attribute-based encryption for general predicates.

Masayuki Abe, Miguel Ambrona

Des. Codes Cryptogr., 2022

A Practical Algorithm for Chess Unwinnability.

Miguel Ambrona

Proceedings of the 11th International Conference on Fun with Algorithms, 2022

Symbolic Synthesis of Indifferentiability Attacks.

Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Controlled Functional Encryption Revisited: Multi-Authority Extensions and Efficient Schemes for Quadratic Functions.

Miguel Ambrona, Dario Fiore, Claudio Soriente

Proc. Priv. Enhancing Technol., 2021

Multi-Authority ABE, Revisited.

Miguel Ambrona, Romain Gay

IACR Cryptol. ePrint Arch., 2021

Generic Negation of Pair Encodings.

Miguel Ambrona

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

Acyclicity Programming for Sigma-Protocols.

Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen

IACR Cryptol. ePrint Arch., 2021

2020

On Black-Box Extensions of Non-interactive Zero-Knowledge Arguments, and Signatures Directly from Simulation Soundness.

Masayuki Abe, Miguel Ambrona, Miyako Ohkubo

Proceedings of the Public-Key Cryptography - PKC 2020, 2020

WI is Almost Enough: Contingent Payment All Over Again.

Ky Nguyen, Miguel Ambrona, Masayuki Abe

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Black-Box Language Extension of Non-Interactive Zero-Knowledge Arguments.

Masayuki Abe, Miguel Ambrona, Miyako Ohkubo

IACR Cryptol. ePrint Arch., 2019

2018

Automated Analysis of Cryptographic Constructions.

Miguel Ambrona

PhD thesis, 2018

Lower Bounds on Structure-Preserving Signatures for Bilateral Messages.

Masayuki Abe, Miguel Ambrona, Miyako Ohkubo, Mehdi Tibouchi

IACR Cryptol. ePrint Arch., 2018

2017

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

2016

Generic Transformations of Predicate Encodings: Constructions and Applications.

Miguel Ambrona, Gilles Barthe, Benedikt Schmidt

IACR Cryptol. ePrint Arch., 2016

Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.

Miguel Ambrona, Gilles Barthe, Benedikt Schmidt

IACR Cryptol. ePrint Arch., 2016