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. Abstract: "Confidential computing is a key technology for isolating high-assurance applications from the large amounts of untrusted code typical in modern systems. Existing confidential computing syste... » read more

An Update On 5G And Aircraft Safety


The U.S. aircraft industry is in the final phases of adapting aircraft and airports to address concerns over potential 5G cellular signal interference of automated landing systems. The Federal Aviation Administration (FAA) has driven the process to determine the level of risk to aircraft and safeguard against problems for low-visibility approaches — such as during inclement weather — for ne... » read more