Ziqiao Zhou
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| VeriSMo: A Verified Security Module for Confidential VMs | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
VERISMO implements a Rust security module for AMD SEV-SNP that is formally verified for functional correctness, secure information flow, and VM confidentiality… | ||
| Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud | OSDI 2023 | 2023-07-10 |
Proposes partitioning a server into static, hardware-enforced slices that remove the hypervisor from the TCB and eliminate CPU-sharing side channels… | ||
| Interpretable Noninterference Measurement and its Application to Processor Designs | OOPSLA 2021 | 2021-10-17 |
DINoMe scales quantitative noninterference measurement to a full RISC-V BOOM Verilog core by translating Verilog to SMT2 with Yosys-to-SMT2, composing… | ||
| nothing matches | ||