IACR Cryptology ePrint Archive · 2016 · 11 citations · 0 references
ComputingComputer EngineeringComputer ScienceFormal MethodsHardware Description LanguagesHardware SecurityAssertion-based VerificationDeductive VerificationHardware Security VerificationMicroarchitectural SecuritySystem SecurityVerificationFormal Hardware VerificationFormal Security VerificationHardware Model CheckingHardware-software IntegrationSecurity Verification