Sign in

VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations.

Quentin L. MeunierAbdul Rahman Taleb
Published in: SECRYPT (2023)
Keyphrases
  • hardware and software
  • low cost
  • software and hardware implementations
  • computer systems
  • hardware software
  • model checking
  • remote monitoring
  • computational complexity
  • hardware software co design