Login / Signup
Security Properties Driven Pre-Silicon Laser Fault Injection Assessment.
Nitin Pundir
Henian Li
Lang Lin
Norman Chang
Farimah Farahmandi
Mark M. Tehranipoor
Published in:
HOST (2022)
Keyphrases
</>
security properties
fault injection
security requirements
java card
formal model
security analysis
fault model
security protocols
smart card
cryptographic protocols
formal methods
low cost
elliptic curve
information systems
countermeasures
object oriented
wireless sensor networks