Category: Development

QEMU Gains Vulkan Acceleration with VirtIO GPU Driver Update

2024-12-12

QEMU version 9.2.0 and later now supports Vulkan acceleration for VirtIO-GPU thanks to the Venus patches. This represents a significant advancement in Vulkan graphics rendering for QEMU virtual machines. The article details the setup process, including installing necessary packages (Linux kernel 6.13+, QEMU 9.2.0+, Vulkan drivers, etc.), building QEMU from source, and creating a VM image. While virt-manager currently lacks Vulkan configuration support, command-line parameters offer a workaround. Troubleshooting tips are provided, along with notes on current limitations in virt-manager and libvirt.

(gist.github.com)

Development

Breakthrough in Reachability Analysis of the Domain Name System

2024-12-12

Researchers have presented the first decision procedure for verifying the Domain Name System (DNS), establishing its complexity as 2ExpTime. The study formalizes DNS semantics and uses a novel abstraction based on positive prefix-testable languages, reducing the DNS verification problem to the verification problem for pushdown systems. This approach effectively models attack vectors in DNS, such as amplification attacks and rewrite blackholing, providing a new theoretical foundation for ensuring DNS security and reliability.

(arxiv.org)

Development DNS security formal verification reachability analysis

← Previous 1 2 … 195 196 197 198 199 200 201 202 203 Next →