Scaling Deductive Verification for Real-World Cloud Data Security - Li, Xupeng (ProQuest Dissertations and Theses, 2025)