Login / Signup

Extending universal verification methodology with fault injection capabilities.

Douglas LohmannFabrizio MazieroElço João dos SantosDjones Lettnin
Published in: LASCAS (2018)
Keyphrases
  • fault injection
  • java card
  • smart card
  • static analysis
  • fault model
  • open source
  • virtual machine
  • countermeasures