Yupeng Zhang

Muthuramakrishnan Venkitasubramaniam

Proceedings of the Computer Security - ESORICS 2024, 2024

Field-Agnostic SNARKs from Expand-Accumulate Codes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

2023

Private Polynomial Commitments and Applications to MPC.

[BibT_eX]

[DOI]

Rishabh Bhadauria

Carmit Hazay

Wenxuan Wu

Proceedings of the Public-Key Cryptography - PKC 2023, 2023

Proof-of-Contribution-Based Design for Collaborative Machine Learning on Blockchain.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2023

2022

Polynomial Commitment with a One-to-Many Prover and Applications.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments.

[BibT_eX]

[DOI]

Shravan Srinivasan

Alexander Chepurnoy

Alin Tomescu

Proceedings of the 31st USENIX Security Symposium, 2022

Orion: Zero Knowledge Proof with Linear Prover Time.

[BibT_eX]

[DOI]

Tiancheng Xie

Dawn Song

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

zkBridge: Trustless Cross-chain Bridges Made Practical.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

zkCNN: Zero Knowledge Proofs for Convolutional Neural Network Predictions and Accuracy.

[BibT_eX]

[DOI]

Tianyi Liu

Xiang Xie

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Zero Knowledge Static Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Zero Knowledge Proofs for Decision Tree Predictions and Accuracy.

[BibT_eX]

[DOI]

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

Zero-Knowledge Proofs for Machine Learning.

[BibT_eX]

[DOI]

Muthuramakrishnan Venkitasubramaniam

Proceedings of the PPMLP'20: Proceedings of the 2020 Workshop on Privacy-Preserving Machine Learning in Practice, 2020

Ligero++: A New Optimized Sublinear IOP.

[BibT_eX]

[DOI]

Rishabh Bhadauria

Zhiyong Fang

Carmit Hazay

Tiancheng Xie

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation.

[BibT_eX]

[DOI]

Tiancheng Xie

Jiaheng Zhang

Dawn Song

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

CHURP: Dynamic-Committee Proactive Secret Sharing.

[BibT_eX]

[DOI]

Sai Krishna Deepak Maram

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

New (Zero-Knowledge) Arguments and Their Applications to Verifiable Computation.

[BibT_eX]

[DOI]

PhD thesis, 2018

Verifiable Graph Processing.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2018

Edrax: A Cryptocurrency with Stateless Transaction Validation.

[BibT_eX]

[DOI]

Alexander Chepurnoy

IACR Cryptol. ePrint Arch., 2018

vRAM: Faster Verifiable RAM with Program-Independent Preprocessing.

[BibT_eX]

[DOI]

Daniel Genkin

Dimitrios Papadopoulos

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

2017

A Zero-Knowledge Version of vSQL.

[BibT_eX]

[DOI]

Daniel Genkin

Dimitrios Papadopoulos

IACR Cryptol. ePrint Arch., 2017

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases.

[BibT_eX]

[DOI]

Daniel Genkin

Dimitrios Papadopoulos

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

SecureML: A System for Scalable Privacy-Preserving Machine Learning.

[BibT_eX]

[DOI]

Payman Mohassel

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

An Expressive (Zero-Knowledge) Set Accumulator.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

2016

All Your Queries Are Belong to Us: The Power of File-Injection Attacks on Searchable Encryption.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

Efficient Authenticated Multi-Pattern Matching.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

2015

IntegriDB: Verifiable SQL for Outsourced Databases.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

ALITHEIA: Towards Practical Verifiable Graph Processing.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Streaming Authenticated Data Structures: Abstraction and Implementation.

[BibT_eX]

[DOI]

Yi Qian

Xi Chen

Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, 2014

2013

Distributed load balancing in a multiple server system by shift-invariant protocol sequences.

[BibT_eX]

[DOI]

Wing Shing Wong

Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

2011

Failure of TCP congestion control under diversity routing.

[BibT_eX]

[DOI]