Concepedia

SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures.

Shuwen Deng, Doğuhan Gümüşoğlu, Wenjie Xiong, Serhan Gener, Onur Demir, Jakub Szefer

IACR Cryptology ePrint Archive · 2017 · 11 citations · 0 references

Concepts

ComputingComputer EngineeringComputer ScienceComputer SecurityHardware Description LanguagesHardware SecurityAssertion-based VerificationCryptographic ArchitectureEmbedded SecurityHardware Security VerificationMicroarchitectural SecuritySecure System DesignHardware Security ArchitectureMicroarchitectural Security VerificationSecure Hardware Design VerificationSecurity Property VerificationSecurity Verification