5 citations · 13 across the 8 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021★ 1 cited
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices)
Pengbo Yan, Toby Murray
We present Security Relaxed Separation Logic (SecRSL), a separation logic for proving information-flow security of C11 programs in the Release-Acquire fragment with relaxed accesse…
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…