17 citations · 58 across the 6 of their papers we have counts for
6 papers
Galapagos: Automated N-Version Programming with LLMs
Javier Ron, Diogo Gaspar, Javier Cabrera-Arteaga +2
N-Version Programming is a well-known methodology for developing fault-tolerant systems. It achieves fault detection and correction at runtime by adding diverse redundancy into pro…
WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly
Javier Cabrera-Arteaga, Nicholas Fitzgerald, Martin Monperrus +1
WebAssembly is the fourth officially endorsed Web language. It is recognized because of its efficiency and design, focused on security. Yet, its swiftly expanding ecosystem lacks r…
WebAssembly Diversification for Malware Evasion
Javier Cabrera-Arteaga, Martin Monperrus, Tim Toady +1
WebAssembly has become a crucial part of the modern web, offering a faster alternative to JavaScript in browsers. While boosting rich applications in browser, this technology is al…
CROW: Code Diversification for WebAssembly
Javier Cabrera Arteaga, Orestis Malivitsis, Oscar Vera Pérez +2
The adoption of WebAssembly has rapidly increased in the last few years as it provides a fast and safe model for program execution. However, WebAssembly is not exempt from vulnerab…
Superoptimization of WebAssembly Bytecode
Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu +4
Motivated by the fast adoption of WebAssembly, we propose the first functional pipeline to support the superoptimization of WebAssembly bytecode. Our pipeline works over LLVM and S…
Scalable Comparison of JavaScript V8 Bytecode Traces
Javier Cabrera-Arteaga, Martin Monperrus, Benoit Baudry
The comparison and alignment of runtime traces are essential, e.g., for semantic analysis or debugging. However, naive sequence alignment algorithms cannot address the needs of the…