We open-source our research artifacts for independent study and reproducibility.
Lab repositories are hosted at
github.com/securecomputinglab.
Artifacts for work completed before the lab was founded remain at
github.com/MadSP-McDaniel.
rebound
Secure and auditable state rollback for confidential cloud applications
(IEEE S&P 2026).
pac
Deferred, provably secure integrity verification for storage in adversarial settings
(IEEE S&P 2025).
dmt
Adaptive Merkle tree for scalable integrity checking on secure cloud disks
(USENIX FAST 2025; ACM TOCS 2026).