SoCureLLM: An LLM-driven Approach for Large-Scale System-on-Chip Security Verification and Policy Generation.
Shams TarekDipayan SahaSujan Kumar SahaMark M. TehranipoorFarimah FarahmandiPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- state space
- optimal policy
- high security
- integrity verification
- java card
- information security
- security policies
- hardware and software
- small scale
- real world
- access control
- cryptographic protocols
- power consumption
- model checking
- network security
- data driven
- policy enforcement
- security analysis
- computer security
- security requirements
- security model
- statistical databases
- embedded systems
- verification method
- hardware software partitioning
- access control policies
- security protocols
- data security
- signature verification
- security systems
- countermeasures
- low cost
- supply chain