Login / Signup
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits.
Faiq Khalid
Imran Hafeez Abbassi
Semeen Rehman
Osman Hasan
Muhammad Shafique
Published in:
CoRR (2018)
Keyphrases
</>
formal analysis
security vulnerabilities
intrusion detection
dos attacks
formal methods
penetration testing
security properties
agent model
low cost
ban logic
database
anomaly detection
unauthorized access