Binyi Chen

All Publications

• VerITAS: Verifying Image Transformations at Scale Datta, T., Chen, B., Boneh, D. edited by Blanton, M., Enck, W., Nita-Rotaru, C. IEEE COMPUTER SOC. 2025: 4606-4623

  View details for DOI 10.1109/SP61157.2025.00097

  View details for Web of Science ID 001540716400250

• LatticeFold plus : Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems Boneh, D., Chen, B. edited by Kalai, Y. T., Kamara, S. F. SPRINGER INTERNATIONAL PUBLISHING AG. 2025: 327-361

  View details for DOI 10.1007/978-3-032-01907-3_11

  View details for Web of Science ID 001588004200011

• Mangrove: A Scalable Framework for Folding-Based SNARKs Nguyen, W., Datta, T., Chen, B., Tyagi, N., Boneh, D. edited by Reyzin, L., Stebila, D. SPRINGER INTERNATIONAL PUBLISHING AG. 2024: 308-344

  View details for DOI 10.1007/978-3-031-68403-6_10

  View details for Web of Science ID 001308784000010

• BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes Zeilberger, H., Chen, B., Fisch, B. edited by Reyzin, L., Stebila, D. SPRINGER INTERNATIONAL PUBLISHING AG. 2024: 138-169

  View details for DOI 10.1007/978-3-031-68403-6_5

  View details for Web of Science ID 001308784000005

• VERIZEXE: Decentralized Private Computation with Universal Setup Xiong, A., Chen, B., Zhang, Z., Bunz, B., Fisch, B., Krell, F., Camacho, P., USENIX Association USENIX ASSOC. 2023: 4445-4462

  View details for Web of Science ID 001066451504035

• Protostar: Generic Efficient Accumulation/Folding for Special-Sound Protocols Bunz, B., Chen, B. edited by Guo, J., Steinfeld, R. SPRINGER-VERLAG SINGAPORE PTE LTD. 2023: 77-110

  View details for DOI 10.1007/978-981-99-8724-5_3

  View details for Web of Science ID 001157415600003

• HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates Chen, B., Bunz, B., Boneh, D., Zhang, Z. edited by Hazay, C., Stam, M. SPRINGER INTERNATIONAL PUBLISHING AG. 2023: 499-530

  View details for DOI 10.1007/978-3-031-30617-4_17

  View details for Web of Science ID 001276439600017

• Continuous Space-Bounded Non-malleable Codes from Stronger Proofs-of-Space Chen, B., Chen, Y., Hostakova, K., Mukherjee, P. edited by Boldyreva, A., Micciancio, D. SPRINGER INTERNATIONAL PUBLISHING AG. 2019: 467-495

  View details for DOI 10.1007/978-3-030-26948-7_17

  View details for Web of Science ID 000517101200017

• Memory-Hard Functions from Cryptographic Primitives Chen, B., Tessaro, S. edited by Boldyreva, A., Micciancio, D. SPRINGER INTERNATIONAL PUBLISHING AG. 2019: 543-572

  View details for DOI 10.1007/978-3-030-26951-7_19

  View details for Web of Science ID 000517094800019

• Scrypt Is Maximally Memory-Hard Alwen, J., Chen, B., Pietrzak, K., Reyzin, L., Tessaro, S. edited by Coron, J. S., Nielsen, J. B. SPRINGER INTERNATIONAL PUBLISHING AG. 2017: 33-62

  View details for DOI 10.1007/978-3-319-56617-7_2

  View details for Web of Science ID 000419175900002

• Oblivious Parallel RAM: Improved Efficiency and Generic Constructions Chen, B., Lin, H., Tessaro, S. edited by Kushilevitz, E., Malkin, T. SPRINGER INTERNATIONAL PUBLISHING AG. 2016: 205-234

  View details for DOI 10.1007/978-3-662-49099-0_8

  View details for Web of Science ID 000375380000008

• On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model Alwen, J., Chen, B., Kamath, C., Kolmogorov, V., Pietrzak, K., Tessaro, S. edited by Fischlin, M., Coron, J. S. SPRINGER INTERNATIONAL PUBLISHING AG. 2016: 358-387

  View details for DOI 10.1007/978-3-662-49896-5_13

  View details for Web of Science ID 000389727200013