2 citations · 2 across the 1 of their papers we have counts for
1 paper
Léo Andrès, Filipe Marques, Arthur Carcano +3
In this paper, we present the design of Owi, a symbolic interpreter for WebAssembly written in OCaml, and how we used it to create a state-of-the-art tool to find bugs in programs…