Publications

Placeholder entries — replace with the group's real papers. BibTeX is generated from the entry metadata.

Hardening the Edge: A Survey of Hypervisor Attack Surfaces and DefensesSample — replace

Alex Sample, Dana Sample, Min Sample

USENIX Security conference Distinguished Paper Award

SAMPLE ABSTRACT — replace. We survey the attack surface of commodity hypervisors and systematize defenses along the dimensions of attack surface reduction, isolation, and formal verification.

BibTeX

@inproceedings{sample2026hardening,
  title     = {Hardening the Edge: A Survey of Hypervisor Attack Surfaces and Defenses},
  author    = {Alex Sample and Dana Sample and Min Sample},
  booktitle= {USENIX Security},
  year      = {2026},
  doi       = {10.0000/sample.2026.001},
}

Enclave in Enclave: Lightweight Isolation for Confidential Virtual MachinesSample — replace

Dana Sample, Alex Sample

IEEE Symposium on Security and Privacy conference

arXiv

SAMPLE ABSTRACT — replace. We propose a nested isolation design that splits a confidential VM into security domains with minimal additions to the trusted computing base.

BibTeX

@inproceedings{sample2025enclave,
  title     = {Enclave in Enclave: Lightweight Isolation for Confidential Virtual Machines},
  author    = {Dana Sample and Alex Sample},
  booktitle= {IEEE Symposium on Security and Privacy},
  year      = {2025},
  eprint    = {2501.00000},
}

Shrink the TCB: Verified Boot Chains for Nested VirtualizationSample — replace

Alex Sample, Casey Sample

ACM Transactions on Software Engineering and Methodology journal

doi

SAMPLE ABSTRACT — replace. We build and formally analyze boot-chain verification for nested virtualization setups, cutting the trusted code that must be audited by an order of magnitude.

BibTeX

@article{sample2024shrink,
  title     = {Shrink the TCB: Verified Boot Chains for Nested Virtualization},
  author    = {Alex Sample and Casey Sample},
  journal  = {ACM Transactions on Software Engineering and Methodology},
  year      = {2024},
  doi       = {10.0000/sample.2024.007},
}