Wanilla: Sound Noninterference Analysis for WebAssembly (artifacts)
收藏B2FIND2026-04-11 收录
下载链接：
https://b2find.eudat.eu/dataset/44978f87-e039-5f7e-b116-7512b82cf850
下载链接
链接失效反馈官方服务：
资源简介：
This dataset contains the software and benchmarks accompanying the paper "Wanilla: Sound Noninterference Analysis for WebAssembly" (to be published at the ACM Conference on...
