Miguel Ambrona

Iñigo Querejeta-Azurmendi

Denis Firsov

IACR Cryptol. ePrint Arch., 2025

2024

Hybrid Zero-Knowledge from Garbled Circuits.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Pooya Farshim

Patrick Harasser

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Timed Commitments Revisited.

[BibT_eX]

[DOI]

Marc Beunardeau

Raphael R. Toledo

IACR Cryptol. ePrint Arch., 2023

Multi-authority ABE for Non-monotonic Access Structures.

[BibT_eX]

[DOI]

Romain Gay

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

aPlonK: Aggregated PlonK from Multi-polynomial Commitment Schemes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information and Computer Security, 2023

2022

New optimization techniques for PlonKâs arithmetization.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

aPlonK : Aggregated PlonK from Multi-Polynomial Commitment Schemes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

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

[BibT_eX]

[DOI]

Des. Codes Cryptogr., 2022

A Practical Algorithm for Chess Unwinnability.

[BibT_eX]

[DOI]

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

Symbolic Synthesis of Indifferentiability Attacks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dario Fiore

Claudio Soriente

Proc. Priv. Enhancing Technol., 2021

Multi-Authority ABE, Revisited.

[BibT_eX]

[DOI]

Romain Gay

IACR Cryptol. ePrint Arch., 2021

Acyclicity Programming for Sigma-Protocols.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

Generic Negation of Pair Encodings.

[BibT_eX]

[DOI]

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

2020

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

[BibT_eX]

[DOI]

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

WI is Almost Enough: Contingent Payment All Over Again.

[BibT_eX]

[DOI]

Ky Nguyen

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

Non-interactive Composition of Sigma-Protocols via Share-then-Hash.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2020, 2020

2019

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

2018

Automated Analysis of Cryptographic Constructions.

[BibT_eX]

[DOI]

PhD thesis, 2018

Lower Bounds on Structure-Preserving Signatures for Bilateral Messages.

[BibT_eX]

[DOI]

Proceedings of the Security and Cryptography for Networks - 11th International Conference, 2018

2017

Generic Transformations of Predicate Encodings: Constructions and Applications.

[BibT_eX]

[DOI]

Gilles Barthe

Benedikt Schmidt

Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

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

[BibT_eX]

[DOI]