Follow
Miguel Ambrona
Miguel Ambrona
Research Scientist, Nomadic Labs
Verified email at nomadic-labs.com - Homepage
Title
Cited by
Cited by
Year
Attribute-based encryption in the generic group model: Automated proofs and new constructions
M Ambrona, G Barthe, R Gay, H Wee
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
412017
Generic transformations of predicate encodings: constructions and applications
M Ambrona, G Barthe, B Schmidt
Advances in Cryptology–CRYPTO 2017: 37th Annual International Cryptology …, 2017
332017
Automated unbounded analysis of cryptographic constructions in the generic group model
M Ambrona, G Barthe, B Schmidt
Advances in Cryptology–EUROCRYPT 2016: 35th Annual International Conference …, 2016
252016
Lower bounds on structure-preserving signatures for bilateral messages
M Abe, M Ambrona, M Ohkubo, M Tibouchi
Security and Cryptography for Networks: 11th International Conference, SCN …, 2018
122018
Controlled functional encryption revisited: Multi-authority extensions and efficient schemes for quadratic functions
M Ambrona, D Fiore, C Soriente
Proceedings on Privacy Enhancing Technologies, 2021
92021
WI is almost enough: Contingent payment all over again
K Nguyen, M Ambrona, M Abe
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
92020
Non-interactive composition of sigma-protocols via share-then-hash
M Abe, M Ambrona, A Bogdanov, M Ohkubo, A Rosen
Advances in Cryptology–ASIACRYPT 2020: 26th International Conference on the …, 2020
82020
: Aggregated from Multi-polynomial Commitment Schemes
M Ambrona, M Beunardeau, AL Schmitt, RR Toledo
International Workshop on Security, 195-213, 2023
72023
New optimization techniques for PlonK’s arithmetization
M Ambrona, AL Schmitt, RR Toledo, D Willems
Cryptology ePrint Archive, 2022
62022
Generic negation of pair encodings
M Ambrona
IACR International Conference on Public-Key Cryptography, 120-146, 2021
52021
On black-box extensions of non-interactive zero-knowledge arguments, and signatures directly from simulation soundness
M Abe, M Ambrona, M Ohkubo
IACR International Conference on Public-Key Cryptography, 558-589, 2020
52020
Blind key-generation attribute-based encryption for general predicates
M Abe, M Ambrona
Designs, Codes and Cryptography 90 (10), 2271-2299, 2022
42022
Acyclicity programming for sigma-protocols
M Abe, M Ambrona, A Bogdanov, M Ohkubo, A Rosen
Theory of Cryptography Conference, 435-465, 2021
42021
Multi-authority ABE, revisited
M Ambrona, R Gay
Cryptology ePrint Archive, 2021
42021
Multi-Authority ABE for non-monotonic access structures
M Ambrona, R Gay
IACR International Conference on Public-Key Cryptography, 306-335, 2023
22023
Method and system for multi-authority controlled functional encryption
C Soriente, M Ambrona, D Fiore
US Patent 11,451,369, 2022
22022
Timed Commitments Revisited
M Ambrona, M Beunardeau, RR Toledo
Cryptology ePrint Archive, 2023
2023
Symbolic Synthesis of Indifferentiability Attacks
I Rakotonirina, M Ambrona, A Aguirre, G Barthe
Proceedings of the 2022 ACM on Asia Conference on Computer and …, 2022
2022
A Practical Algorithm for Chess Unwinnability
M Ambrona
11th International Conference on Fun with Algorithms (FUN 2022), 2022
2022
Comparison of transaction cost on different fair exchange protocols
H Zhang, M Tibouchi, M Ambrona, M Abe
2022
The system can't perform the operation now. Try again later.
Articles 1–20