wenzel / awesome-virtualization

Collection of resources about Virtualization

Hi, I'm Mathieu Tarral

I work for Intel since Jan 2022.

I'm interested by virtualization topics applied to security research.

I have been working around Virtual Machine Introspection technologies for the past 5 years, and maintaining open-source tools for the community, for Xen and KVM.

Repositories

Repository	Stars
awesome-virtualization
KVM-VMI
libmicrovmi
checksec.py

Presentations

• 2020: FOSDEM - Rustifying the Virtual Machine Introspection ecosystem
• 2019: Hack.lu - Leveraging KVM as a Debugging Platform
• 2019: Insomni'Hack - Building a Flexible Hypervisor-Level Debugger
• 2018: Hack.lu - Hypervisor-Level Debugger Benefits & Challenges

Recent Activity

1. 🗣 Commented on #1578 in nektos/act
2. 🎉 Merged PR #280 in IntelLabs/kAFL
3. 💪 Opened PR #13 in IntelLabs/kafl.linux
4. 💪 Opened PR #280 in IntelLabs/kAFL
5. 🎉 Merged PR #278 in IntelLabs/kAFL

awesome-virtualization's Issues

Add kata containers

Add NOVA related repositores too

I feel that adding the following as sublist to the NOVA entry would be really helpful in some cases.

• novaboot
• TUD-OS/NUL
• TUD-OS/NRE

I didn't know about these repositories and wasted a bunch of time, which I still do too.

Add Unicorn engine

https://www.unicorn-engine.org/

Some new virtualization CVE

• Analysis of VirtualBox CVE-2023-21987 and CVE-2023-21991 https://qriousec.github.io/post/vbox-pwn2own-2023/

Add Qiling framework

https://github.com/qilingframework/qiling

Where is Proxmox?

🤔

add new course

Please add https://www.youtube.com/playlist?list=PLDW872573QAbcpQ7VSUdcm4o3tgnQYBE8 under Courses

Add QEMU

Add Bareflank (and others)

https://github.com/Bareflank

There are others that are super helpful, especially for learning like:
https://github.com/ionescu007/SimpleVisor
https://github.com/tandasat/SimpleSvm
https://github.com/tandasat/HyperPlatform
https://github.com/ainfosec/MoRE

And then there are other hypervisors that are also great for learning more about different architectures like:
https://github.com/Bareflank/MicroV
https://github.com/udosteinberg/NOVA
https://projectacrn.org/

There are also some fun things like:
https://github.com/Cr4sh/s6_pcie_microblaze/tree/master/python/payloads/DmaBackdoorHv