## CryptoDB

### Yuliang Zheng

#### Publications

Year
Venue
Title
2018
ASIACRYPT
The consensus protocol underlying Bitcoin (the blockchain) works remarkably well in practice. However proving its security in a formal setting has been an elusive goal. A recent analytical result by Pass, Seeman and shelat indicates that an idealized blockchain is indeed secure against attacks in an asynchronous network where messages are maliciously delayed by at most $\varDelta \ll 1/np$, with n being the number of miners and p the mining hardness. This paper improves upon the result by showing that if appropriate inconsistency tolerance is allowed the blockchain can withstand even more powerful external attacks in the honest miner setting. Specifically we prove that the blockchain is secure against long delay attacks with $\varDelta \ge 1/np$ in an asynchronous network.
2007
JOFC
2004
PKC
2002
EUROCRYPT
2002
PKC
2002
PKC
2001
PKC
2000
ASIACRYPT
2000
ASIACRYPT
1999
ASIACRYPT
1999
ASIACRYPT
1999
PKC
1998
PKC
1997
CRYPTO
1996
EUROCRYPT
1995
EUROCRYPT
1994
ASIACRYPT
1994
CRYPTO
1994
EUROCRYPT
1994
EUROCRYPT
1994
EUROCRYPT
1993
CRYPTO
1993
EUROCRYPT
1992
AUSCRYPT
1992
AUSCRYPT
1992
CRYPTO
1992
AUSCRYPT
1991
ASIACRYPT
1991
ASIACRYPT
1990
CRYPTO
1989
CRYPTO
1989
EUROCRYPT

#### Program Committees

PKC 2012
Asiacrypt 2008
PKC 2007
PKC 2005
Asiacrypt 2004
PKC 2004
PKC 2003
Asiacrypt 2002 (Program chair)
PKC 2001
Asiacrypt 2001
Asiacrypt 2000
PKC 2000 (Program chair)
Eurocrypt 1999
PKC 1999 (Program chair)
PKC 1999
Asiacrypt 1999
Asiacrypt 1998
PKC 1998 (Program chair)
Crypto 1997
Asiacrypt 1996
Asiacrypt 1994