Login / Signup
VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations.
Quentin L. Meunier
Abdul Rahman Taleb
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
hardware and software
low cost
software and hardware implementations
computer systems
hardware software
parallel processing
remote monitoring
data processing
efficient implementation
databases
model checking
hardware software co design