References

Table of contents

Digital system design and tools

[Chisel]:
Chisel/FIRRTL Hardware Compiler Framework
2023
Link
Notes:

[Verilator]:
Verilator
Snyder, Wilson
2022
Link
Notes:

Instruction Set Architecture

[Patt2017]:
Computer Organization and Design RISC-V Edition: The Hardware Software Interface
Patterson, David A. and Hennessy, John L.
April 2017
Notes:

[Wate2019]:
The RISC-V Instruction Set Manual Volume I: Unprivileged ISA
Waterman, Andrew and Asanovic, Krste
December 2019
Link
Notes:

[Wate2021]:
The RISC-V Instruction Set Manual Volume II: Privileged Architecture
Waterman, Andrew and Asanovic, Krste
December 2021
Link
Notes:

Processor microarchitecture & design

[Henn2011]:
Computer Architecture: A Quantitative Approach
Hennessy, John L. and Patterson, David A.
September 2011
Notes:

Microarchitecture isolation

[Ge2018a]:
No Security Without Time Protection: We Need a New Hardware-Software Contract
Ge, Qian and Yarom, Yuval and Heiser, Gernot
9th Asia-Pacific Workshop on Systems (APSys'18), 2018
Link
Notes:

[Koch2019]:
Spectre Attacks: Exploiting Speculative Execution
Kocher, Paul and Horn, Jann and Fogh, Anders and Genkin, Daniel and Gruss, Daniel and Haas, Werner and Hamburg, Mike and Lipp, Moritz and Mangard, Stefan and Prescher, Thomas and Schwarz, Michael and Yarom, Yuval
40th IEEE Symposium on Security and Privacy (S&P'19), May 2019
Link
Notes: There is a note.

[Lipp2018]:
Meltdown: Reading Kernel Memory from User Space
Lipp, Moritz and Schwarz, Michael and Gruss, Daniel and Prescher, Thomas and Haas, Werner and Fogh, Anders and Horn, Jann and Mangard, Stefan and Kocher, Paul and Genkin, Daniel and Yarom, Yuval and Hamburg, Mike
27th USENIX Security Symposium (USENIX Security'18), August 2018
Link
Notes:

[Van2018]:
Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient out-of-Order Execution
Van Bulck, Jo and Minkin, Marina and Weisse, Ofir and Genkin, Daniel and Kasikci, Baris and Piessens, Frank and Silberstein, Mark and Wenisch, Thomas F. and Yarom, Yuval and Strackx, Raoul
27th USENIX Security Symposium (USENIX Security'18), August 2018
Notes:

[Weis2018]:
Foreshadow-NG: Breaking the Virtual Memory Abstraction with Transient out-of-Order Execution
Weisse, Ofir and Van Bulck, Jo and Minkin, Marina and Genkin, Daniel and Kasikci, Baris and Piessens, Frank and Silberstein, Mark and Strackx, Raoul and Wenisch, Thomas F. and Yarom, Yuval
2018
Notes:

Power & electromagnetic side-channels

[Mars2021a]:
MIRACLE: MIcRo-ArChitectural Leakage Evaluation: A Study of Micro-Architectural Power Leakage across Many Devices
Marshall, Ben and Page, Dan and Webb, James
November 2021
Notes: