Benedikt BŁnz
Benedikt BŁnz
Verified email at stanford.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
4572018
Verifiable delay functions
D Boneh, J Bonneau, B BŁnz, B Fisch
Annual international cryptology conference, 757-788, 2018
2112018
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
2042018
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
1022020
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
972019
A Survey of Two Verifiable Delay Functions.
D Boneh, B BŁnz, B Fisch
IACR Cryptol. ePrint Arch. 2018, 712, 2018
712018
Transparent SNARKs from DARK compilers
B BŁnz, B Fisch, A Szepieniec
Annual International Conference on the Theory and Applications of†…, 2020
702020
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
642015
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
47*2020
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
442017
Proofs for inner pairing products and applications
B BŁnz, M Maller, P Mishra, N Vesely
IACR Cryptol. ePrint Arch 1177, 2019, 2019
222019
Designing core-selecting payment rules: A computational search approach
B BŁnz, B Lubin, S Seuken
Available at SSRN 3178454, 2020
212020
A Faster Core Constraint Generation Algorithm for Combinatorial Auctions
B BŁnz, S Seuken, B Lubin
AAAI 2015, 2015
132015
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces.
V Bosshard, B BŁnz, B Lubin, S Seuken
IJCAI, 119-127, 2017
122017
Proof-Carrying Data from Accumulation Schemes.
B BŁnz, A Chiesa, P Mishra, N Spooner
IACR Cryptol. ePrint Arch. 2020, 499, 2020
102020
New core-selecting payment rules with better fairness and incentive properties
B Lubin, B BŁnz, S Seuken
ACM, 2015
102015
Graph Neural Networks and Boolean Satisfiability
M Lamm, B BŁnz
8*
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
72020
Proof-Carrying Data without Succinct Arguments.
B BŁnz, A Chiesa, W Lin, P Mishra, N Spooner
IACR Cryptol. ePrint Arch. 2020, 1618, 2020
32020
Recursive proof composition from accumulation schemes
B BŁnz, A Chiesa, P Mishra, N Spooner
Theory of Cryptography Conference, 1-18, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20