declarative specification 1dynamic taint analysis 1runtime instrumentation 1shadow virtual machine 1software security 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.CR2026
Buzz to Boom: Detecting Message Progression Vulnerabilities in Electron Applications via Segmented Directed Fuzzing
Jianjia Yu, Zhengyu Liu, Ziyang Li +2
Electron is a popular framework for building cross-platform desktop applications using web technologies. Such applications consist of multiple processes with different privilege le…
cs.PL2026
Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine
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…