From the 1 of 1 linked paper with an AI index.
1 paper
Zhuohao Zhang, Junkun Liu, Rui Yang +2
The paper introduces Mystra, a declarative taint specification language and a shadow virtual machine that separate taint semantics from host runtime execution, enabling efficient a…