2024-01-20

Secure Composition of SPECTRE Mitigations

Summary

Secure Composition of SPECTRE Mitigations

Tags

Trustworthy Information Processing

Conference Paper

Symposium on Principles of Programming Languages (POPL)

Date published

2024-01-20

Date last modified

2025-03-03

Authors

Full Paper