Verifying Linearizability of Intel® Software Guard Extensions.

Rebekah Leslie-Hurd Dror Caspi Matthew Fernandez

Published in: CAV (2) (2015)

Keyphrases

software tools
software development
software components
software design
software systems
software packages
computer systems
personal computer
software maintenance
commercial software
real time
software engineering