本文提出了一种名为PLATYPUS的新型防御机制，旨在弥补现有硬件辅助控制流完整性（CFI）机制——Intel CET（Control-flow Enforcement Technology）的不足。CET虽然已广泛部署于现代Intel CPU，但仍允许通过劫持函数指针进行跨模块边界（cross-DSO）的间接控制转移，这一能力被大量现代漏洞利用所依赖。PLATYPUS通过轻量级地址掩码（address masking）实现“执行狱”（execution jails），强制间接控制转移保持在模块边界内。跨动态共享对象（DSO）的函数调用仅允许通过每个DSO特定的必要PLT存根（PLT stubs）进行。作者基于LLVM实现了原型，并在19个应用程序和16个共享库（包括glibc）上进行了评估，结果显示PLATYPUS减少了超过98%的可间接访问的跨DSO函数。在Nginx和Redis等复杂应用上的性能测试表明，PLATYPUS的开销不超过0.5%。该工作为代码重用攻击的防御提供了新的思路，在不显著影响性能的前提下显著提升了安全性。

该论文旨在弥合控制流完整性（CFI）与远程认证方案之间的差距。CFI是一种广泛使用的防御技术，通过限制程序执行路径来防止控制流劫持攻击，但它在复杂攻击（如绕过细粒度策略）面前存在局限性。远程认证则允许验证者确认远程设备是否处于可信状态，但通常缺乏对运行时控制流的实时保护。作者提出了一种混合架构，将CFI策略嵌入到认证协议中，使得认证过程不仅验证静态完整性，还能动态检测控制流异常。具体方法包括设计一种轻量级的CFI监控器，与认证代理集成，并在每次认证会话中交换控制流证据。实验基于ARM TrustZone和RISC-V平台，评估了性能开销和安全性。结果表明，该方案能够有效检测控制流劫持攻击，同时将运行时开销控制在可接受范围内（平均<10%）。该工作为嵌入式系统和物联网设备提供了一种新的安全增强思路，有助于构建更具弹性的可信执行环境。