Publications
2019
Statement
Voting
Bingsheng Zhang, Hong-Sheng Zhou
FC 2019 -- Financial Cryptography and Data Security
Conference
Let a Non-Barking Watchdog Bite: Cliptographic
Signatures with an Offline Watchdog
Sherman Chow, Alexander Russell, Qiang Tang, Moti
Yung, Yongjun Zhao, Hong-Sheng Zhou
PKC 2019 -- Public Key Cryptography
2018
Leakage-Resilient
Cryptography from Puncturable Primitives and Obfuscation
Yu Chen, Yuyu Wang, Hong-Sheng Zhou
ASIACRYPT 2018 -- Advances in Cryptology
Correcting Subverted Random Oracles
Alexander Russell, Qiang Tang, Moti Yung, Hong-Sheng Zhou
CRYPTO 2018 -- Advances in Cryptology
TwinsCoin: A
Cryptocurrency via Proof-of-Work and Proof-of-Stake
Tuyet Duong, Alexander Chepurnoy, Lei Fan, Hong-Sheng Zhou
BCC 2018 -- The Second ACM Workshop on
Blockchain, Cryptocurrencies and Contracts
Source
code available
Multi-Mode
Cryptocurrency Systems
Tuyet Duong, Alexander Chepurnoy, Hong-Sheng Zhou
BCC 2018 -- The Second ACM Workshop on
Blockchain, Cryptocurrencies and Contracts
Multi-Key
FHE on Multi-Bit Messages
Zengpeng Li, Chunguang Ma, Hong-Sheng Zhou
Journal version in SCIENCE CHINA Information
Sciences, 2018
2017
Generic
Semantic Security against a Kleptographic Adversary
Alexander Russell, Qiang Tang, Moti Yung, Hong-Sheng Zhou
CCS 2017 -- ACM Conference on Computer and
Communications Security
Seminar talk slides
Brief
announcement: Statement Voting and Liquid Democracy
Bingsheng Zhang, Hong-Sheng Zhou
PODC 2017 -- ACM Symposium on Principles of Distributed
Computing
Presentation slides
at PODC 2017
Full version Statement Voting ,
at FC 2019
2016
Cliptography:
Clipping the Power of Kleptographic Attacks
Alexander Russell, Qiang Tang, Moti Yung, Hong-Sheng Zhou
ASIACRYPT 2016 -- Advances in Cryptology
Oral presentation at SAT 2015 -- Workshop on
Surveillance and Technology
Invited to Journal of
Cryptology as top 3 papers in ASIACRYPT
2016
Designing
Proof of Human-work Puzzles for Cryptocurrency and
Beyond
Jeremiah Blocki, Hong-Sheng Zhou
TCC 2016B -- Theory of Cryptography Conference
Fair and
Robust Multi-Party Computation using a Global
Transaction Ledger
Aggelos Kiayias, Hong-Sheng Zhou, Vassilis Zikas
EUROCRYPT 2016 -- Advances in Cryptology
Cryptography
for Parallel RAM via Indistinguishability Obfuscation
Yu-Chi Chen, Sherman Chow, Kai-Min Chung, Russell Lai,
Wei-Kai Lin, Hong-Sheng Zhou
ITCS 2016 -- Innovations in Theoretical Computer
Science
Rump session slides
Leakage-Resilient
Public-Key Encryption from Obfuscation
Dana Dachman-Soled, Dov Gordon, Feng-Hao Liu, Adam
O'Neill, Hong-Sheng Zhou
PKC 2016 -- Public Key Cryptography
Journal of Cryptology, July
2019 , Volume 32, Issue 3 , pp 742–824, DIO
A Unified
Approach to Idealized Model Separations via
Indistinguishability Obfuscation
Matthew Green, Jonathan Katz, Alex Malozemoff,
Hong-Sheng Zhou
SCN 2016 -- Security and Cryptography for Network
2015
Incoercible
Multi-Party Computation and Universally Composable
Receipt-Free Voting
Joël Alwen, Rafail Ostrovsky, Hong-Sheng Zhou, Vassilis
Zikas
CRYPTO 2015 -- Advances in Cryptology
Oral presentation at SAT 2015 -- Workshop on
Surveillance and Technology
Leakage-Resilient
Circuits Revisited -- Optimal Number of Computing
Components without Leak-free Hardware
Dana Dachman-Soled, Feng-Hao Liu, Hong-Sheng Zhou
EUROCRYPT 2015 -- Advances in Cryptology
Locally
Decodable and Updatable Non-Malleable Codes and Their
Applications
Dana Dachman-Soled, Feng-Hao Liu, Elaine Shi, Hong-Sheng
Zhou
TCC 2015 -- Theory of Cryptography Conference
Journal of Cryptology, 2018, DIO
Multi-Client
Verifiable Computation with Stronger Security Guarantees
Dov Gordon, Jonathan Katz, Feng-Hao Liu, Elaine Shi,
Hong-Sheng Zhou
TCC 2015 -- Theory of Cryptography Conference
2014
Multi-Input Functional Encryption
Shafi Goldwasser, Dov Gordon, Vipul Goyal, Abhishek Jain,
Jonathan Katz, Feng-Hao Liu, Amit Sahai, Elaine Shi,
Hong-Sheng Zhou
EUROCRYPT 2014 -- Advances in Cryptology
Merge of [GKLSZ ]
and [GGJS ]
Distributing
the Setup in Universally Composable Multi-Party
Computation
Jonathan Katz, Aggelos Kiayias, Hong-Sheng Zhou,
Vassilis Zikas
PODC 2014 -- ACM Symposium on Principles of Distributed
Computing
(Efficient)
Universally Composable Two-Party Computation using a
Minimal Number of Stateless Tokens
Seung Geol Choi, Jonathan Katz, Dominique Schröder, Arkady
Yerukhimovich, Hong-Sheng Zhou
TCC 2014 -- Theory of Cryptography Conference
Journal of Cryptology, April
2019, Volume 32, Issue 2, pp 459–497. DIO
Invited to Journal of
Cryptology as
top 3 papers in TCC 2014
2013
Functional
Encryption from (Small) Hardwae Tokens
Kai-Min Chung, Jonathan Katz, Hong-Sheng Zhou
ASIACRYPT 2013 -- Advances in Cryptology
Feasibility
and Infeasibility of Adaptively Secure, Fully
Homomorphic Encryption
Jonathan Katz, Aishwarya Thiruvengadam, Hong-Sheng Zhou
PKC 2013 -- Public Key Cryptography
Efficient,
Adaptively Secure, and Composable Oblivious Transfer
with a Single, Global CRS
Seung Geol Choi, Jonathan Katz, Hoeteck Wee, Hong-Sheng
Zhou
PKC 2013 -- Public Key Cryptography
Feasibility and Completeness of Cryptographic Tasks in
the Quantum World
Serge Fehr, Jonathan Katz, Fang Song, Hong-Sheng Zhou,
Vassilis Zikas
TCC 2013 -- Theory of Cryptography Conference
Oral
presentation at ICITS 2012 -- International
Conference on Information-Theoretic Security
Poster
at STOC 2012
2012
On the
Security of the "Free-XOR" Technique
Seung Geol Choi, Jonathan Katz, Ranjit Kumaresan,
Hong-Sheng Zhou
TCC 2012 -- Theory of Cryptography Conference
2011
Adaptively
Secure Broadcast, Revisited
Juan Garay, Jonathan Katz, Ranjit Kumaresan, Hong-Sheng
Zhou
PODC 2011 -- ACM Symposium on Principles of Distributed
Computing
2010
A Framework
for the Sound Specification of Cryptographic Tasks
Juan Garay, Aggelos Kiayias, Hong-Sheng Zhou
CSF 2010 -- IEEE Computer Security Foundations Symposium
2009
Somewhat
Non-Committing Encryption and Efficient Adaptively
Secure Oblivious Transfer
Juan Garay, Daniel Wichs, Hong-Sheng Zhou
CRYPTO 2009 -- Advances in Cryptology
Secure
Function Collection with Sublinear Storage
Maged Ibrahim, Aggelos Kiayias, Moti Yung, Hong-Sheng Zhou
ICALP 2009 -- International Colloquium on Automata,
Languages and Programming
Zero-Knowledge
Proofs with Witness Elimination
Aggelos Kiayias, Hong-Sheng Zhou
PKC 2009 -- Public Key Cryptography
2008
Equivocal Blind Signatures and Adaptive UC-Security
Aggelos Kiayias, Hong-Sheng Zhou
TCC 2008 -- Theory of Cryptography Conference
2007
Trading Static for Adaptive Security in Universally
Composable Zero-Knowledge
Aggelos Kiayias, Hong-Sheng Zhou
ICALP 2007 -- International Colloquium on Automata,
Languages and Programming
Hidden
Identity-Based Signatures
Aggelos Kiayias, Hong-Sheng Zhou
FC 2007 -- Financial Cryptography and Data Security
Journal version in IET Information Security, 3(3),
pages 119-127, September 2009
2006
Concurrent
Blind Signatures without Random Oracles
Aggelos Kiayias, Hong-Sheng Zhou
SCN 2006 -- Security and Cryptography for Network