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
Greg Zaverucha
Principal Software Development Engineer
Publications
Publications by Year
-
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)
Publications by Research Area
-
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)
Publications by Type
-
-
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