5 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.LO2022★ 1 cited
A Labelled Sequent Calculus for Public Announcement Logic
Hao Wu, Hans van Ditmarsch, Jinsheng Chen
Public announcement logic(PAL) is an extension of epistemic logic (EL) with some reduction axioms. In this paper, we propose a cut-free labelled sequent calculus for PAL, which is…
cs.CR2022
Walking to Hide: Privacy Amplification via Random Message Exchanges in Network
Hao Wu, Olga Ohrimenko, Anthony Wirth
The *shuffle model* is a powerful tool to amplify the privacy guarantees of the *local model* of differential privacy. In contrast to the fully decentralized manner of guaranteeing…
cs.CR2018★ 5 cited
A New Hybrid Consensus Protocol: Deterministic Proof Of Work
Zhuan Cheng, Gang Wu, Hao Wu +3
The Decentralized-Consistent-Scale (DCS) Triangle defines three dimensions that illustrate the tradeoffs of the blockchain consensus mechanism. In this paper, we propose a new hybr…