ThundaTag：通过跨域标签机制约束程序良性行为

在该项目中，我们实现并评估了 domain tagging 的架构支持。研究显示该设计面积开销可忽略，且性能损耗较低。