Verifying Linearizability of Intel Software Guard Extensions.

Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez

Browse the full CAV paper archive.