Linux 内核 Core Scheduling 深度实战：SMT 侧信道防御与安全隔离工程
Linux 5.14 引入的 Core Scheduling 机制如何通过 cookie 信任模型防御 SMT 侧信道攻击（L1TF/MDS/TAA），实现多租户容器安全隔离的深度工程实战指南。
SMT
Linux内核Core Scheduling：SMT安全域与侧信道深度防御
深入解析Linux内核Core Scheduling机制，从SMT/Hyper-Threading安全隐患出发，详解Cookie信任模型、调度器决策流程、生产部署模式及其与硬件缓解措施的交互，为多租户云原生环境提供SMT级别的侧信道防御深度指南。
神经网络的形式化验证：从抽象解释到SMT驱动的鲁棒性证明
深度解析神经网络形式化验证的技术体系：从区间抽象解释到Zonotope抽象域的精度演进，从SMT编码到Marabou专用求解器的精确判定，再到验证感知训练如何让网络天生可验证。
