|
|
@@ -3381,6 +3381,13 @@ David A. Wagner},
|
|
|
year = {2020}
|
|
|
}
|
|
|
|
|
|
+@inproceedings{cauligi2022sok,
|
|
|
+ author = {Cauligi, Sunjay and Disselkoen, Craig and Moghimi, Daniel and Barthe, Gilles and Stefan, Deian},
|
|
|
+ booktitle = {S\&P},
|
|
|
+ title = {{SoK: Practical foundations for software Spectre defenses}},
|
|
|
+ year = {2022}
|
|
|
+}
|
|
|
+
|
|
|
@misc{CBenchmarksGame,
|
|
|
author = {The Computer Language Benchmarks Game},
|
|
|
title = {{C Benchmarks Game}},
|