Importance of Multi-parameter SAT Attack Exploration for Integrated Circuit Security.
Kyle JuretusIoannis SavidisPublished in: APCCAS (2018)
Keyphrases
- integrated circuit
- security measures
- cyber attacks
- key exchange protocol
- network security
- fault injection
- security vulnerabilities
- malicious users
- authentication protocol
- countermeasures
- authentication mechanism
- denial of service attacks
- satisfiability problem
- search strategies
- information security
- intrusion detection
- security issues
- security analysis
- search algorithm
- encryption algorithm
- attack scenarios
- factor authentication
- security risks
- electron beam
- security policies
- information leakage
- sat solvers
- security threats
- dos attacks
- security mechanisms
- sat problem
- security requirements