5 citations · 13 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CR2019★ 4 cited
Empirically Analyzing Ethereum's Gas Mechanism
Renlord Yang, Toby Murray, Paul Rimba +1
Ethereum's Gas mechanism attempts to set transaction fees in accordance with the computational cost of transaction execution: a cost borne by default by every node on the network t…
cs.OS2019
Can We Prove Time Protection?
Gernot Heiser, Gerwin Klein, Toby Murray
Timing channels are a significant and growing security threat in computer systems, with no established solution. We have recently argued that the OS must provide time protection, i…