Références

Sommaire

Conception de systèmes numériques et outils

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

[Verilator]:
Verilator
Snyder, Wilson
2022
Notes:

Architecture de jeu d’instructions

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

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

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

Microarchitecture des processeurs

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

Isolation de la microarchitecture

[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
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), Mai 2019
Notes:

[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), Août 2018
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), Août 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:

Canaux auxiliaires

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