Follow
Benedikt Bünz
Benedikt Bünz
Professor of Computer Science, NYU Courant
Verified email at nyu.edu - Homepage
Title
Cited by
Cited by
Year
Bulletproofs: Short proofs for confidential transactions and more
B Bünz, J Bootle, D Boneh, A Poelstra, P Wuille, G Maxwell
2018 IEEE symposium on security and privacy (SP), 315-334, 2018
14832018
Verifiable delay functions
D Boneh, J Bonneau, B Bünz, B Fisch
Annual international cryptology conference, 757-788, 2018
6592018
Learning a SAT solver from single-bit supervision
D Selsam, M Lamm, B Bünz, P Liang, L de Moura, DL Dill
arXiv preprint arXiv:1802.03685, 2018
5172018
Zether: Towards privacy in a smart contract world
B Bünz, S Agrawal, M Zamani, D Boneh
International Conference on Financial Cryptography and Data Security, 423-443, 2020
4122020
Transparent SNARKs from DARK compilers
B Bünz, B Fisch, A Szepieniec
Advances in Cryptology–EUROCRYPT 2020: 39th Annual International Conference …, 2020
3502020
Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains
D Boneh, B Bünz, B Fisch
Annual International Cryptology Conference, 561-586, 2019
3472019
Flyclient: Super-light clients for cryptocurrencies
B Bünz, L Kiffer, L Luu, M Zamani
2020 IEEE Symposium on Security and Privacy (SP), 928-946, 2020
1582020
Hyperplonk: Plonk with linear-time prover and high-degree custom gates
B Chen, B Bünz, D Boneh, Z Zhang
Annual International Conference on the Theory and Applications of …, 2023
1352023
Proofs for inner pairing products and applications
B Bünz, M Maller, P Mishra, N Tyagi, P Vesely
Advances in Cryptology–ASIACRYPT 2021: 27th International Conference on the …, 2021
1192021
Provisions: Privacy-preserving proofs of solvency for bitcoin exchanges
GG Dagher, B Bünz, J Bonneau, J Clark, D Boneh
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015
1132015
Proofs-of-delay and randomness beacons in ethereum
B Bünz, S Goldfeder, J Bonneau
IEEE Security and Privacy on the blockchain (IEEE S&B), 2017
912017
Proof-carrying data without succinct arguments
B Bünz, A Chiesa, W Lin, P Mishra, N Spooner
Advances in Cryptology–CRYPTO 2021: 41st Annual International Cryptology …, 2021
872021
Proof-carrying data from accumulation schemes
B Bünz, A Chiesa, P Mishra, N Spooner
Cryptology ePrint Archive, 2020
652020
Recursive proof composition from accumulation schemes
B Bünz, A Chiesa, P Mishra, N Spooner
Theory of Cryptography: 18th International Conference, TCC 2020, Durham, NC …, 2020
612020
Protostar: generic efficient accumulation/folding for special-sound protocols
B Bünz, B Chen
International Conference on the Theory and Application of Cryptology and …, 2023
522023
{VeriZexe}: Decentralized Private Computation with Universal Setup
AL Xiong, B Chen, Z Zhang, B Bünz, B Fisch, F Krell, P Camacho
32nd USENIX Security Symposium (USENIX Security 23), 4445-4462, 2023
332023
Designing core-selecting payment rules: A computational search approach
B Bünz, B Lubin, S Seuken
Information Systems Research 33 (4), 1157-1173, 2022
332022
Computing Bayes-Nash equilibria in combinatorial auctions with verification
V Bosshard, B Bünz, B Lubin, S Seuken
Journal of Artificial Intelligence Research 69, 531-570, 2020
312020
Graph Neural Networks and Boolean Satisfiability
M Lamm, B Bünz
29*
A Faster Core Constraint Generation Algorithm for Combinatorial Auctions
B Bünz, S Seuken, B Lubin
AAAI 2015, 2015
212015
The system can't perform the operation now. Try again later.
Articles 1–20