11 citations · 41 across the 11 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019
Smart Contract Repair
Xiao Liang Yu, Omar Al-Bataineh, David Lo +1
Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart…
cs.CR2019★ 9 cited
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas +2
Spectre attacks disclosed in early 2018 expose data leakage scenarios via cache side channels. Specifically, speculatively executed paths due to branch mis-prediction may bring sec…