MicroNova: Folding-based arguments with efficient (on-chain) verification
Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha
Security and Privacy | May 2025
Greg Zaverucha
Principal Software Development Engineer
论文与出版物
-
-
-
Beyond the circuit: How to Minimize Foreign Arithmetic in ZKP Circuits
Michele Orrù, George Kadianakis, Mary Maller, Greg Zaverucha
IACR Commun. Cryptol. | April 2025, 第 2 卷: pp. 23
-
-
-
Crescent: Stronger Privacy for Existing Credentials
Christian Paquin, Guru-Vamsi Policharla, Greg Zaverucha
IACR Cryptol. ePrint Arch. | November 2024
-
Confidential Computing Proofs
Mark Russinovich, Cédric Fournet, Greg Zaverucha, Josh Benaloh, Brandon Murdoch, Manuel Costa
ACM Queue | August 2024, 第 22 卷: pp. 73-100
-
Oblivious issuance of proofs
Michele Orrù, Stefano Tessaro, Greg Zaverucha, Chenzhi Zhu
Advances in Cryptology -- CRYPTO 2024 | August 2024
-
-
-
Proof-of-Possession for KEM Certificates using Verifiable Generation
Tim Guneysu, Philip W. Hodges, Georg Land, Mike Ounsworth, Douglas Stebila, Greg Zaverucha
ACM CCS | November 2022
-
Shorter Signatures Based on Tailor-Made Minimalist Symmetric-Key Crypto
Christoph Dobraunig, Daniel Kales, Christian Rechberger, Markus Schofnegger, Greg Zaverucha
ACM CCS 2022 | November 2022
-
Efficient Lifting for Shorter Zero-Knowledge Proofs and Post-Quantum Signatures
May 2022
-
-
-
Side-Channel Protections for Picnic Signatures
Diego F. Aranha, Sebastian Berndt, Thomas Eisenbarth, Okan Seker, Akira Takahashi, Luca Wilke, Greg Zaverucha
CHES 2021 | September 2021
-
MPC-Friendly Symmetric Cryptography from Alternating Moduli: Candidates, Protocols, and Applications
Itai Dinur, Steven Goldfeder, Tzipora Halevi, Yuval Ishai, Mahimna Kelkar, Vivek Sharma, Greg Zaverucha
CRYPTO 2021 | August 2021
-
Banquet: Short and Fast Signatures from AES
Carsten Baum, Cyprien Delpech de Saint Guilhem, Daniel Kales, Emmanuela Orsini, Peter Scholl, Greg Zaverucha
PKC 2021 | February 2021
-
-
-
An Attack on Some Signature Schemes Constructed from Five-Pass Identification Schemes
Daniel Kales, Greg Zaverucha
CANS 2020, Conference on Cryptology and Network Security | December 2020
Best paper award
-
The Signal Private Group System and Anonymous Credentials Supporting Efficient Verifiable Encryption
Melissa Chase, Trevor Perrin, Greg Zaverucha
ACM CCS 2020 | October 2020
Also presented at RWC 2021: Real World Crypto Symposium
-
Improving the Performance of the Picnic Signature Scheme
Daniel Kales, Greg Zaverucha
CHES 2020, Cryptographic Hardware and Embedded Systems | August 2020
-
Security of Hedged Fiat–Shamir Signatures Under Fault Attacks
Diego F. Aranha, Claudio Orlandi, Akira Takahashi, Greg Zaverucha
EUROCRYPT 2020 | May 2020
-
-
-
Are Certificate Thumbprints Unique?
February 2019
-
-
-
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi , Sebastian Ramacher, Christian Rechberger, Greg Zaverucha, Daniel Slamanig
Proceedings of ACM CCS 2017 | October 2017
-
-
-
Authenticated Network Time Synchronization
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
USENIX Security 2016 | August 2016
-
-
-
Stronger Password-Based Encryption Using All-or-Nothing Transforms
MSR-TR-2015-63 | August 2015
-
ANTP: Authenticated NTP Implementation Specification
Greg Zaverucha, Benjamin Dowling, Douglas Stebila
MSR-TR-2015-19 | February 2015
-
-
-
Algebraic MACs and Keyed-Verification Anonymous Credentials
Melissa Chase, Sarah Meiklejohn, Greg Zaverucha
ACM CCS 2014 | November 2014
-
U-Prove Collaborative Issuance Extension
Christian Paquin, Greg Zaverucha
MSR-TR-2014-84 | June 2014
-
-
-
U-Prove Cryptographic Specification V1.1 (Revision 3)
Christian Paquin, Greg Zaverucha
December 2013
Released under the Open Specification Promise (http://www.microsoft.com/openspecifications/en/us/programs/osp/default.aspx)
-
A TPM Diffie-Hellman Oracle
Tolga Acar, Greg Zaverucha, Lan Nguyen
MSR-TR-2013-105 | October 2013
-
U-Prove ID escrow extension
MSR-TR-2013-86 | September 2013
-
Montgomery Multiplication Using Vector Instructions
Joppe Bos, Peter Montgomery, Dan Shumow, Greg Zaverucha
Selected Areas in Cryptography 2013 (SAC 2013) | September 2013
Selected Areas in Cryptography 2013 (SAC 2013)
-
-
-
MicroNova: Folding-based arguments with efficient (on-chain) verification
Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha
Security and Privacy | May 2025
-
Beyond the circuit: How to Minimize Foreign Arithmetic in ZKP Circuits
Michele Orrù, George Kadianakis, Mary Maller, Greg Zaverucha
IACR Commun. Cryptol. | April 2025, 第 2 卷: pp. 23
-
Crescent: Stronger Privacy for Existing Credentials
Christian Paquin, Guru-Vamsi Policharla, Greg Zaverucha
IACR Cryptol. ePrint Arch. | November 2024
-
Confidential Computing Proofs
Mark Russinovich, Cédric Fournet, Greg Zaverucha, Josh Benaloh, Brandon Murdoch, Manuel Costa
ACM Queue | August 2024, 第 22 卷: pp. 73-100
-
Oblivious issuance of proofs
Michele Orrù, Stefano Tessaro, Greg Zaverucha, Chenzhi Zhu
Advances in Cryptology -- CRYPTO 2024 | August 2024
-
Proof-of-Possession for KEM Certificates using Verifiable Generation
Tim Guneysu, Philip W. Hodges, Georg Land, Mike Ounsworth, Douglas Stebila, Greg Zaverucha
ACM CCS | November 2022
-
Shorter Signatures Based on Tailor-Made Minimalist Symmetric-Key Crypto
Christoph Dobraunig, Daniel Kales, Christian Rechberger, Markus Schofnegger, Greg Zaverucha
ACM CCS 2022 | November 2022
-
Efficient Lifting for Shorter Zero-Knowledge Proofs and Post-Quantum Signatures
May 2022
-
Side-Channel Protections for Picnic Signatures
Diego F. Aranha, Sebastian Berndt, Thomas Eisenbarth, Okan Seker, Akira Takahashi, Luca Wilke, Greg Zaverucha
CHES 2021 | September 2021
-
MPC-Friendly Symmetric Cryptography from Alternating Moduli: Candidates, Protocols, and Applications
Itai Dinur, Steven Goldfeder, Tzipora Halevi, Yuval Ishai, Mahimna Kelkar, Vivek Sharma, Greg Zaverucha
CRYPTO 2021 | August 2021
-
Banquet: Short and Fast Signatures from AES
Carsten Baum, Cyprien Delpech de Saint Guilhem, Daniel Kales, Emmanuela Orsini, Peter Scholl, Greg Zaverucha
PKC 2021 | February 2021
-
An Attack on Some Signature Schemes Constructed from Five-Pass Identification Schemes
Daniel Kales, Greg Zaverucha
CANS 2020, Conference on Cryptology and Network Security | December 2020
Best paper award
-
The Signal Private Group System and Anonymous Credentials Supporting Efficient Verifiable Encryption
Melissa Chase, Trevor Perrin, Greg Zaverucha
ACM CCS 2020 | October 2020
Also presented at RWC 2021: Real World Crypto Symposium
-
Improving the Performance of the Picnic Signature Scheme
Daniel Kales, Greg Zaverucha
CHES 2020, Cryptographic Hardware and Embedded Systems | August 2020
-
Security of Hedged Fiat–Shamir Signatures Under Fault Attacks
Diego F. Aranha, Claudio Orlandi, Akira Takahashi, Greg Zaverucha
EUROCRYPT 2020 | May 2020
-
Are Certificate Thumbprints Unique?
February 2019
-
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi , Sebastian Ramacher, Christian Rechberger, Greg Zaverucha, Daniel Slamanig
Proceedings of ACM CCS 2017 | October 2017
-
Authenticated Network Time Synchronization
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
USENIX Security 2016 | August 2016
-
Stronger Password-Based Encryption Using All-or-Nothing Transforms
MSR-TR-2015-63 | August 2015
-
ANTP: Authenticated NTP Implementation Specification
Greg Zaverucha, Benjamin Dowling, Douglas Stebila
MSR-TR-2015-19 | February 2015
-
Algebraic MACs and Keyed-Verification Anonymous Credentials
Melissa Chase, Sarah Meiklejohn, Greg Zaverucha
ACM CCS 2014 | November 2014
-
U-Prove Collaborative Issuance Extension
Christian Paquin, Greg Zaverucha
MSR-TR-2014-84 | June 2014
-
A TPM Diffie-Hellman Oracle
Tolga Acar, Greg Zaverucha, Lan Nguyen
MSR-TR-2013-105 | October 2013
-
Montgomery Multiplication Using Vector Instructions
Joppe Bos, Peter Montgomery, Dan Shumow, Greg Zaverucha
Selected Areas in Cryptography 2013 (SAC 2013) | September 2013
Selected Areas in Cryptography 2013 (SAC 2013)
-
-
-
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi , Sebastian Ramacher, Christian Rechberger, Greg Zaverucha, Daniel Slamanig
Proceedings of ACM CCS 2017 | October 2017
-
-
-
U-Prove Cryptographic Specification V1.1 (Revision 3)
Christian Paquin, Greg Zaverucha
December 2013
Released under the Open Specification Promise (http://www.microsoft.com/openspecifications/en/us/programs/osp/default.aspx)
-
U-Prove ID escrow extension
MSR-TR-2013-86 | September 2013
-
-
-
Montgomery Multiplication Using Vector Instructions
Joppe Bos, Peter Montgomery, Dan Shumow, Greg Zaverucha
Selected Areas in Cryptography 2013 (SAC 2013) | September 2013
Selected Areas in Cryptography 2013 (SAC 2013)
-
-
-
Beyond the circuit: How to Minimize Foreign Arithmetic in ZKP Circuits
Michele Orrù, George Kadianakis, Mary Maller, Greg Zaverucha
IACR Commun. Cryptol. | April 2025, 第 2 卷: pp. 23
-
Crescent: Stronger Privacy for Existing Credentials
Christian Paquin, Guru-Vamsi Policharla, Greg Zaverucha
IACR Cryptol. ePrint Arch. | November 2024
-
Confidential Computing Proofs
Mark Russinovich, Cédric Fournet, Greg Zaverucha, Josh Benaloh, Brandon Murdoch, Manuel Costa
ACM Queue | August 2024, 第 22 卷: pp. 73-100
-
-
-
MicroNova: Folding-based arguments with efficient (on-chain) verification
Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha
Security and Privacy | May 2025
-
Oblivious issuance of proofs
Michele Orrù, Stefano Tessaro, Greg Zaverucha, Chenzhi Zhu
Advances in Cryptology -- CRYPTO 2024 | August 2024
-
Proof-of-Possession for KEM Certificates using Verifiable Generation
Tim Guneysu, Philip W. Hodges, Georg Land, Mike Ounsworth, Douglas Stebila, Greg Zaverucha
ACM CCS | November 2022
-
Shorter Signatures Based on Tailor-Made Minimalist Symmetric-Key Crypto
Christoph Dobraunig, Daniel Kales, Christian Rechberger, Markus Schofnegger, Greg Zaverucha
ACM CCS 2022 | November 2022
-
Side-Channel Protections for Picnic Signatures
Diego F. Aranha, Sebastian Berndt, Thomas Eisenbarth, Okan Seker, Akira Takahashi, Luca Wilke, Greg Zaverucha
CHES 2021 | September 2021
-
MPC-Friendly Symmetric Cryptography from Alternating Moduli: Candidates, Protocols, and Applications
Itai Dinur, Steven Goldfeder, Tzipora Halevi, Yuval Ishai, Mahimna Kelkar, Vivek Sharma, Greg Zaverucha
CRYPTO 2021 | August 2021
-
Banquet: Short and Fast Signatures from AES
Carsten Baum, Cyprien Delpech de Saint Guilhem, Daniel Kales, Emmanuela Orsini, Peter Scholl, Greg Zaverucha
PKC 2021 | February 2021
-
An Attack on Some Signature Schemes Constructed from Five-Pass Identification Schemes
Daniel Kales, Greg Zaverucha
CANS 2020, Conference on Cryptology and Network Security | December 2020
Best paper award
-
The Signal Private Group System and Anonymous Credentials Supporting Efficient Verifiable Encryption
Melissa Chase, Trevor Perrin, Greg Zaverucha
ACM CCS 2020 | October 2020
Also presented at RWC 2021: Real World Crypto Symposium
-
Improving the Performance of the Picnic Signature Scheme
Daniel Kales, Greg Zaverucha
CHES 2020, Cryptographic Hardware and Embedded Systems | August 2020
-
Security of Hedged Fiat–Shamir Signatures Under Fault Attacks
Diego F. Aranha, Claudio Orlandi, Akira Takahashi, Greg Zaverucha
EUROCRYPT 2020 | May 2020
-
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi , Sebastian Ramacher, Christian Rechberger, Greg Zaverucha, Daniel Slamanig
Proceedings of ACM CCS 2017 | October 2017
-
Authenticated Network Time Synchronization
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
USENIX Security 2016 | August 2016
-
Algebraic MACs and Keyed-Verification Anonymous Credentials
Melissa Chase, Sarah Meiklejohn, Greg Zaverucha
ACM CCS 2014 | November 2014
-
Montgomery Multiplication Using Vector Instructions
Joppe Bos, Peter Montgomery, Dan Shumow, Greg Zaverucha
Selected Areas in Cryptography 2013 (SAC 2013) | September 2013
Selected Areas in Cryptography 2013 (SAC 2013)
-
-
-
-
Are Certificate Thumbprints Unique?
February 2019
-
U-Prove Cryptographic Specification V1.1 (Revision 3)
Christian Paquin, Greg Zaverucha
December 2013
Released under the Open Specification Promise (http://www.microsoft.com/openspecifications/en/us/programs/osp/default.aspx)
-
-
-
Stronger Password-Based Encryption Using All-or-Nothing Transforms
MSR-TR-2015-63 | August 2015
-
ANTP: Authenticated NTP Implementation Specification
Greg Zaverucha, Benjamin Dowling, Douglas Stebila
MSR-TR-2015-19 | February 2015
-
U-Prove Collaborative Issuance Extension
Christian Paquin, Greg Zaverucha
MSR-TR-2014-84 | June 2014
-
A TPM Diffie-Hellman Oracle
Tolga Acar, Greg Zaverucha, Lan Nguyen
MSR-TR-2013-105 | October 2013
-
U-Prove ID escrow extension
MSR-TR-2013-86 | September 2013
-