Weidong Cui
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Xinyang Ge2×
- Ziqiao Zhou2×
- Aditya Basuonce
all 15 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… | ||
| Nimble: Rollback Protection for Confidential Cloud Services | OSDI 2023 | 2023-07-10 |
Nimble implements an append-only ledger using a tiny trusted state machine inside TEEs combined with crash-fault-tolerant cloud storage, and it ships a… | ||
| 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… | ||
| Reverse Debugging of Kernel Failures in Deployed Systems | USENIX ATC '20 | 2020-07-15 |
Reverse Debugging of Kernel Failures in Deployed Systems
Xinyang Ge, Microsoft Research; Ben Niu, Microsoft; Weidong Cui, Microsoft Research
Post-mortem… | ||
| nothing matches | ||