Cited in
(30)- Verilator
- First full-fledged side channel attack on HMAC-SHA-2
- Sally
- Tornado
- TASTY
- ABC
- Automated and scalable verification of integer multipliers
- Kind 2
- Chipwhisperer
- Chisel
- EnerJ
- Z34Bio
- Rosette
- AIGER
- acrt
- REBECCA
- Booster
- Visual DSD
- Formal verification of masked hardware implementations in the presence of glitches
- Pyverilog
- Rely
- PolyCleaner
- RevSCA
- multgen
- SymbiFlow
- FreePDK45
- Btor2Tools
- CoSA
- maskVerif
- Integrating side channel security in the FPGA hardware design flow
This page was built for software: Yosys
