most citedSecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices)

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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…