PROOFS 2021:Author Index

AuthorPapers
A
Asano, TamonSimulation Based Evaluation of Bit-Interaction Side-Channel Leakage on RISC-V Processor
B
Boespflug, EtienneCombining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities
Bu, LeiLocality Based Cache Side-channel Attack Detection
C
Cheng, WeiTowards Finding Best Linear Codes for Side-Channel Protections
F
Féliot, DavidCombining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities
G
Guilley, SylvainTowards Finding Best Linear Codes for Side-Channel Protections
L
Lacombe, GuilhemCombining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities
Liu, YiTowards Finding Best Linear Codes for Side-Channel Protections
M
Marzougui, SoundesXMSS-based Chain of Trust
O
Ou, ChanghaiMultiple-Layer Candidate Sieves Against Serial Cryptographic Implementations
P
Potet, Marie-LaureCombining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities
Q
Qiao, KexinMultiple-Layer Candidate Sieves Against Serial Cryptographic Implementations
R
Rioul, OlivierTowards Finding Best Linear Codes for Side-Channel Protections
S
Seifert, Jean-PierreXMSS-based Chain of Trust
Song, FuLocality Based Cache Side-channel Attack Detection
Sugawara, TakeshiSimulation Based Evaluation of Bit-Interaction Side-Channel Leakage on RISC-V Processor
W
Wang, LiminLocality Based Cache Side-channel Attack Detection
Z
Zhang, FanMultiple-Layer Candidate Sieves Against Serial Cryptographic Implementations
Zhang, RenjunMultiple-Layer Candidate Sieves Against Serial Cryptographic Implementations
Zhou, XinpingMultiple-Layer Candidate Sieves Against Serial Cryptographic Implementations