Timing covert channel analysis of the VxWorks MILS embedded hypervisor under the common criteria security certification
Domenico Cotroneo, Luigi De Simone, Roberto Natella
Topics & Concepts
HypervisorCovert channelTrojanComputer scienceCertificationVirtualizationComputer securityLeverage (statistics)Common CriteriaInformation leakageOperating systemEmbedded systemSide channel attackCryptographyCloud computing securityCloud computingSecurity information and event managementLawMachine learningPolitical scienceSecurity and Verification in ComputingCryptographic Implementations and SecurityPhysical Unclonable Functions (PUFs) and Hardware Security