People
Current members of the group. Placeholder entries — replace with real people.
PI
Alex SampleSample — replace
Associate Professor
SAMPLE BIO — replace with the principal investigator's real bio. Leads the HyPerSec group, focusing on reducing the trusted computing base of virtualized systems.
Interests: Hypervisor security, Trusted computing, Formal verification
Postdoc
Dana SampleSample — replace
Postdoctoral Researcher
SAMPLE BIO — replace. Works on attestation protocols and microarchitectural side-channel defenses for confidential VMs.
Interests: Confidential computing, Side-channel defenses
PhD Student
Min SampleSample — replace
PhD Candidate
SAMPLE BIO — replace. Studies kernel hardening techniques and automated vulnerability discovery in systems software.
Interests: OS kernel hardening, Fuzzing
Undergraduate
Casey SampleSample — replace
Undergraduate Researcher
SAMPLE BIO — replace. Undergraduate researcher working on nested virtualization experiments.
Interests: Virtualization, Systems building