Semiconductor Engineering

Formally Modeling A Security Monitor For Virtual Machine-Based Confidential Computing Systems (IBM)

A technical paper titled “Towards a Formally Verified Security Monitor for VM-based Confidential Computing” was published by researchers at IBM Research and IBM T.J. Watson Research Center.
Business Insider

Linux Foundation to Host the Cloud Hypervisor Project, Creating a Performant, Lightweight Virtual Machine Monitor for Modern Cloud Workloads

SAN FRANCISCO, Dec. 8, 2021 /PRNewswire/ -- The Linux Foundation, the nonprofit organization enabling mass innovation through open source, today announced it will host the Cloud Hypervisor project, ...
Network World

60% of virtual servers less secure than physical machines, Gartner says

Sixty percent of virtual servers are less secure than the physical servers they place, the analyst firm Gartner said in new research Monday. Sixty percent of virtual servers are less secure than the ...
Electronic Design

What’s the Difference in Security Between Virtual Machines and Containers?

Comparison of security postures for containers and different types of hypervisors. Key measures of software security. Security certifications for virtualization solutions. How to improve the security ...