In this comprehensive exploration, we delve into the intricate world of Hyper-V, showcasing a collection of significant work and research dedicated to understanding and enhancing the security of Microsoft’s Hyper-V hypervisor.
From detailed proof-of-concept exploits to advanced debugging techniques, this article highlights the critical vulnerabilities discovered and the innovative tools developed for hypervisor research and fuzzing.
Join us as we navigate through the complexities of Hyper-V security, shedding light on its most pivotal aspects.
This repository contains some of the Hyper-V related work I did in the past…
My code from the “Inside Hyper-V” of the Gray Hat Hacking book (6th edition).
Original repository
Includes a framework that can be used to perform hypervisor research/fuzzing and hyper-v specific code (hypercalls, MSRs, VMBus communication).
Windbg script that can be used when debugging hvix64
and provides the following features:
!brexit conditions
.conditions
is a in the form condition1 condition2 .. conditionN
.VM_EXIT_REASON
)==
, !=
, <=
, >=
, <
, >
.Proof of concept for Hyper-V stack overflow bug (hvix64).
Proof of concept for Hyper-V NULL deref bug (hvix64).
Proof of concept for Hyper-V type confusion bug (hvix64).
Proof of concept for Hyper-V arbitrary memory read bug (vmswitch).
Prompt injection is a type of security vulnerability that can be exploited to control the…
Firefly is an advanced black-box fuzzer and not just a standard asset discovery tool. Firefly…
Winit is a robust, cross-platform library designed for creating and managing windows in Rust applications.…
In today’s digital age, convenience often comes at the cost of security. One such overlooked…
Terminal GPT (tgpt) offers a seamless way to bring the power of ChatGPT 3.5 directly…
garak checks if an LLM can be made to fail in a way we don't…