search

romits800 / Vivienne_eval

Symbolic Execution for WebAssembly
1 stars 0 forks source link

papers about wasm and static analysis #1

Open bbaudry opened 4 years ago

bbaudry commented 4 years ago

Here we collect pointers to papers and blog posts related to our work on CT analysis for wasm

bbaudry commented 4 years ago

Symbolically Executing WebAssembly in Manticore

https://blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/ https://github.com/trailofbits/manticore

bbaudry commented 4 years ago

Everything Old is New Again: Binary Security of WebAssembly

https://www.unibw.de/patch/papers/usenixsecurity20-wasm.pdf

bbaudry commented 4 years ago

CT-WASM

https://arxiv.org/pdf/1808.01348