Practical and Scalable Security Verification of Secure Architectures.

Tianwei Zhang, Jakub Szefer, Ruby B. Lee

Browse the full MICRO paper archive.