Login / Signup
Howard Wu
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 8
Top Topics
Formal Proof
Theorem Prover
Human Experts
Lightweight
Top Venues
IACR Cryptol. ePrint Arch.
SysTEX@Middleware
IEEE Symposium on Security and Privacy
CoRR
</>
Publications
</>
Collin Chin
,
Howard Wu
,
Raymond Chu
,
Alessandro Coglio
,
Eric McCarthy
,
Eric Smith
Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications.
IACR Cryptol. ePrint Arch.
2021 (2021)
Sean Bowe
,
Alessandro Chiesa
,
Matthew Green
,
Ian Miers
,
Pratyush Mishra
,
Howard Wu
ZEXE: Enabling Decentralized Private Computation.
IEEE Symposium on Security and Privacy
(2020)
Sean Bowe
,
Alessandro Chiesa
,
Matthew Green
,
Ian Miers
,
Pratyush Mishra
,
Howard Wu
Zexe: Enabling Decentralized Private Computation.
IACR Cryptol. ePrint Arch.
2018 (2018)
Howard Wu
,
Wenting Zheng
,
Alessandro Chiesa
,
Raluca Ada Popa
,
Ion Stoica
DIZK: A Distributed Zero Knowledge Proof System.
USENIX Security Symposium
(2018)
Howard Wu
,
Wenting Zheng
,
Alessandro Chiesa
,
Raluca Ada Popa
,
Ion Stoica
DIZK: A Distributed Zero Knowledge Proof System.
IACR Cryptol. ePrint Arch.
2018 (2018)
Mitar Milutinovic
,
Warren He
,
Howard Wu
,
Maxinder Kanwal
Proof of Luck: an Efficient Blockchain Consensus Protocol.
CoRR
(2017)
Mitar Milutinovic
,
Warren He
,
Howard Wu
,
Maxinder Kanwal
Proof of Luck: an Efficient Blockchain Consensus Protocol.
IACR Cryptol. ePrint Arch.
2017 (2017)
Mitar Milutinovic
,
Warren He
,
Howard Wu
,
Maxinder Kanwal
Proof of Luck: an Efficient Blockchain Consensus Protocol.
SysTEX@Middleware
(2016)