Get started
Author

Miguel Ambrona

Observed name: Ambrona, Miguel
ORCID: 0000-0001-5927-9235
Observed ORCID: 0000-0001-5927-9235
OpenAlex ID: A5005806644
Attribute-Based Encryption in the Generic Group Model
2017 · Miguel Ambrona, Gilles Barthe, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 49
Generic Transformations of Predicate Encodings: Constructions and Applications
2017 · Miguel Ambrona, Gilles Barthe, et al. · Lecture notes in computer science · 36
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model
2016 · Miguel Ambrona, Gilles Barthe, et al. · Lecture notes in computer science · 19
PDF
WI is Almost Enough: Contingent Payment All Over Again
2020 · Ky Nguyen, Miguel Ambrona, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 16
PDF
Controlled Functional Encryption Revisited: Multi-Authority Extensions and Efficient Schemes for Quadratic Functions
2020 · Miguel Ambrona, Dario Fiore, et al. · Proceedings on Privacy Enhancing Technologies · 15
Non-interactive Composition of Sigma-Protocols via Share-then-Hash
2020 · Masayuki Abe, Miguel Ambrona, et al. · Lecture notes in computer science · 13
PDF
Multi-authority ABE for Non-monotonic Access Structures
2023 · Miguel Ambrona, Romain Gay · Lecture notes in computer science · 12
Acyclicity Programming for Sigma-Protocols
2021 · Masayuki Abe, Miguel Ambrona, et al. · Lecture notes in computer science · 11
$$a\mathcal {P}lon\mathcal {K}$$: Aggregated $$\mathcal {P}lon\mathcal {K}$$ from Multi-polynomial Commitment Schemes
2023 · Miguel Ambrona, Marc Beunardeau, et al. · Lecture notes in computer science · 8
Lower Bounds on Structure-Preserving Signatures for Bilateral Messages
2018 · Masayuki Abe, Miguel Ambrona, et al. · Lecture notes in computer science · 7
Blind key-generation attribute-based encryption for general predicates
2022 · Masayuki Abe, Miguel Ambrona · Designs Codes and Cryptography · 6
PDF
Generic Negation of Pair Encodings
2021 · Miguel Ambrona · Lecture notes in computer science · 6
On Black-Box Extensions of Non-interactive Zero-Knowledge Arguments, and Signatures Directly from Simulation Soundness
2020 · Masayuki Abe, Miguel Ambrona, et al. · Lecture notes in computer science · 5
PDF
Multi-Authority ABE, Revisited.
2021 · Miguel Ambrona · IACR Cryptology ePrint Archive · 4
Symbolic Synthesis of Indifferentiability Attacks
2022 · Itsaka Rakotonirina, Miguel Ambrona, et al. · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · 1
PDF
Hybrid zero-knowledge from garbled circuits
2025 · Masayuki Abe, Miguel Ambrona, et al. · Cryptography and Communications
PDF
Block Ciphers in Idealized Models: Automated Proofs and New Security Results
2024 · Miguel Ambrona, Pooya Farshim, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS)
Hybrid Zero-Knowledge from Garbled Circuits and Circuit-Based Composition of $$\Sigma $$-Protocols
2024 · Masayuki Abe, Miguel Ambrona, et al. · Lecture notes in computer science
A Practical Algorithm for Chess Unwinnability
2022 · Ambrona, Miguel · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Black-Box Language Extension of Non-Interactive Zero-Knowledge Arguments.
2019 · Masayuki Abe, Miguel Ambrona, et al. · IACR Cryptology ePrint Archive
Works count: 20
Citation count: 208
H-index: 8
I10-index: 8
Year
Topic
Type