Login / Signup
SAIF: Automated Asset Identification for Security Verification at the Register Transfer Level.
Nusrat Farzana
Avinash Ayalasomayajula
Fahim Rahman
Farimah Farahmandi
Mark M. Tehranipoor
Published in:
VTS (2021)
Keyphrases
</>
person identification
information security
high security
security level
intrusion detection
computer security
higher level
access control
network security
levels of abstraction
integrity verification
biometric identification
java card
formal analysis
human operators
semi automated
fully automated
model checking