TOPIC: Xen Hypervisor Technology
(video for titles in light text is in progress. Please check back later.)
PSEC2018 Videos & Slides
- Bruce Ashfield, Wind River — The meta-virtualization layer of OpenEmbedded
- Anton Burtsev, UC Irvine — XenTT: Deterministic Systems Analysis in Xen
- Christopher Clark, Edgeform Hypervisor-Mediated data eXchange (HMX)
- Daniel DeGraaf, NSA — Extending Early-boot Trust to Service VMs in Xen
- Paul Durrant, Citrix — Improving the security of QEMU as a device emulator in Xen
- Trammell Hudson, Two Sigma Investments — Firmware is the new Software
- Myong Kang, NRL — Enterprise Scale Separation VMM Systems
- Brendan Kerrigan, AIS — Anti-Evil Maid with UEFI and Xen
- Daniel Kiper, Oracle — UEFI Secure Boot, Shim and Xen
- Eugene Myers, NSA — STM/PE and XHIM
- Lars Kurth, Citrix — Xen Security Weather Report 2018
- Kevin Pearson, AFRL — SecureView Overview
- Ian Pratt, Bromium — Hypervisor Security : Lessons Learned
- Ryan Thibodeaux, Star Lab — Crucible: Tailoring Xen to support Critical Systems
Security
- PSEC2018 Xen Security References (2018)
- Lei Shi, Nexen and XSA analysis, Deconstructing Xen (2017)
- Nathan Studer, Xen and the Art of Certification (2014)
- Patrick Colp et. al., Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor (2011)
- Xen and the Art of Virtualization (2003)
Projects
- Xen Project · wiki · mailing list
- OpenEmbedded
- OpenXT
- QubesOS
- uXen (Bromium)
- ViryaOS: slides · source
- Xen Troops (Epam)
- Xilinx