论文《Symphony: Path Validation at Scale》针对未来互联网架构中的路径验证问题展开研究。路径验证允许端主机为其流量指定转发路径，并验证流量是否遵循指定路径，从而增强灵活性、安全性和隐私性。当前方案要求路由器在数据包包头嵌入加密凭证，但复杂计算导致单包验证效率低下。为此，作者提出聚合验证（aggregate validation）方法，以组（group）为单位进行路径验证，将单包的开销分摊至组内多个数据包，在保证不可伪造性的前提下提升验证效率。基于该思想，设计了Symphony系统，集成了多种设计技术，并形式化证明了安全属性。实验结果表明，与当前最先进的EPIC方案相比，Symphony将数据包处理速度提升3.78至18.40倍，通信吞吐量提升1.13至6.11倍。该研究为高性能路径验证提供了新思路，适合网络架构与安全领域的研究者阅读。