6 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.DC2021★ 6 cited
Quantifying and Generalizing the CAP Theorem
Edward A. Lee, Soroush Bateni, Shaokai Lin +2
In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned, there is a tradeoff between consistency and availability. Consistency is agreement…
cs.PL2021★ 1 cited
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts
Shaokai Lin, Xinyuan Sun, Jianan Yao +1
The growing adoption of smart contracts on blockchains poses new security risks that can lead to significant monetary loss, while existing approaches either provide no (or partial)…
quant-ph2019★ 2 cited
Communication over Continuous Quantum Secure Dialogue using Einstein-Podolsky-Rosen States
Shaokai Lin, Zichuan Wang, Lior Horesh
With the emergence of quantum computing and quantum networks, many communication protocols that take advantage of the unique properties of quantum mechanics to achieve a secure bid…