A quick overview of available tools for aid in securing cryptographic implementations against physical side-channel attacks. A detailed analysis of the tools listed below can be found in our paper SoK: Design Tools for Side-Channel-Aware Implementations authored with Lejla Batina, Patrick Schaumont and Yuval Yarom, which will appear at ASIACCS 2022 video.

Post-silicon side-channel leakage emulators (power) The list is ordered by publication year.

Name Year Leakage Model Target Function
ARMISTICE 2022 white ARM Cortex-M3 Verify
ABBY 2022 gray ARM Cortex-M0 Detect
ROSITA++, repo 2021 gray ARM Cortex-M0 Mitigate (high order)
ROSITA, repo 2021 gray ARM Cortex-M0 Mitigate (1-order)
ELMO, repo 2017 gray ARM Cortex-M0 Detect
ASCOLD, repo 2017 gray ATMega163 Detect
SAVRASCA, repo 2017 gray ATMega163 Verify
Reparaz 2016 black software Detect
SLEAK 2014 black ARM Cortex-A8 Verify
SILK, repo 2014 black ATMega328P Detect
Gagnerot 2013 black RISC-V(not specified) Verify
Debande 2012 gray not specified Verify
Oscar 2009 black AT90XX,ATMegaXX Verify
InspectorSCA 2007 black software Verify
PINPAS 2003 black smartcards Verify

EM side-channel leakage emulation

Name Year Leakage Model Target Function
EMSIM 2020 white Risc-V(custom) Detect

Pre-silicon side-channel leakage emulators (power) The list of tools is ordered according to the design abstraction level.

Name Year Abstraction Target Function
MAPS, repo 2018 ISA ARM Cortex M3 Detect
AMASIVE 2013 RTL - Detect
RT-PSC 2019 RTL AES-GF, AES_LUT Detect
TOFU 2022 gate VCD files to power traces Utility
NCSIM 2007 gate SCARD Detect
CASCADE, repo 2020 gate ASIC(custom) Detect
Patch 2021 gate AES Mitigate
PARAM, repo 2020 gate RISC-V(ShaktiC) Verify
ACA 2020 gate RISC-V(LEON3) Detect
ACA++ 2022 gate tba tba
FORTIFY 2023 gate tba tba
SCRIPT 2020 gate AES-GF, AES_LUT Verify
COCO 2021 gate RISC-V (IBEX) Verify
COCOALMA, repo 2021 Tab Tab Tab
KARNA 2019 layout AES , SIMON Mitigate