declarative specification 1dynamic taint analysis 1runtime instrumentation 1shadow virtual machine 1software security 1
From the 1 of 3 linked papers with an AI index.
3 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…
cs.CR2025
The First Early Evidence of the Use of Browser Fingerprinting for Online Tracking
Zengrui Liu, Jimmy Dani, Yinzhi Cao +2
While advertising has become commonplace in today's online interactions, there is a notable dearth of research investigating the extent to which browser fingerprinting is harnessed…