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.
Repository | Stars |
---|---|
awesome-virtualization |
|
KVM-VMI |
|
libmicrovmi |
|
checksec.py |
|
- 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
- ❌ Closed PR #47 in IntelLabs/kafl.targets
- 🎉 Merged PR #20 in intel/vmsifter
- 🗣 Commented on #107 in intel/tsffs
- 🗣 Commented on #305 in IntelLabs/kAFL
- 🎉 Merged PR #82 in IntelLabs/kafl.fuzzer