Tiago Brito, Pedro Lopes, Nuno M. Santos, José Fragoso Santos,
WebAssembly is a new binary instruction format that allows targeted compiled code written in high-level languages ... the browser's JavaScript engine. However, given that WebAssembly binaries can be compiled from unsafe languages like ... a result, this possibility of incorporating vulnerabilities in WebAssembly modules has widened the attack surface of modern ... static analysis tool for finding security vulnerabilities in WebAssembly binaries. It is based on the generation of ... vulnerabilities in various languages but hitherto unapplied to WebAssembly. We formalize the definition of CPG for WebAssembly, ...
Tópico(s): Software Testing and Debugging Techniques
2022 - Elsevier BV | Computers & Security
Javier Cabrera-Arteaga, Martin Monperrus, Tim Toady, Benoît Baudry,
WebAssembly has become a crucial part of the modern web, offering a faster alternative to JavaScript in ... automatic binary diversification can support the evasion of WebAssembly cryptojacking detectors. We experiment with a dataset of 33 WebAssembly cryptojacking binaries and evaluate our evasion technique against ... VirusTotal, a general-purpose detector, and MINOS, a WebAssembly-specific detector. Our results demonstrate that our technique can automatically generate variants of WebAssembly cryptojacking that evade the detectors in 90% of ...
Tópico(s): Software Testing and Debugging Techniques
2023 - Elsevier BV | Computers & Security
Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal,
WebAssembly makes it possible to run C/C++ applications on the web with near-native performance. A WebAssembly program is expressed as a collection of higher- ... host language featuring the core operations of the WebAssembly JavaScript Interface. Building on Iris-Wasm, we develop ... allow us to formally verify functional correctness of WebAssembly programs, even when they invoke and are invoked by unknown code, thereby demonstrating that WebAssembly enforces strong isolation between modules.
Tópico(s): Adversarial Robustness in Machine Learning
2023 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien,
... collaboratively designed a portable low-level bytecode called WebAssembly. It offers compact representation, efficient validation and compilation, ... Rather than committing to a specific programming model, WebAssembly is an abstraction over modern hardware, making it ... independent, with use cases beyond just the Web. WebAssembly has been designed with a formal semantics from ... describe the motivation, design and formal semantics of WebAssembly and provide some preliminary experience with implementations.
Tópico(s): Software Testing and Debugging Techniques
2017 - Association for Computing Machinery | ACM SIGPLAN Notices
Marius Musch, Christian Wressnegger, Martin Johns, Konrad Rieck,
WebAssembly, or Wasm for short, is a new, low-level language that allows for near-native execution ... now it has, however, been largely unclear what WebAssembly is used for in the wild. In this ... Web. For this, we examine the prevalence of WebAssembly in the Alexa Top 1 million websites and ... find that over 50 % of all sites using WebAssembly apply it for malicious deeds, such as mining ...
Tópico(s): Web Application Security Vulnerabilities
2019 - Springer Science+Business Media | Lecture notes in computer science
... as query compilers in modern database systems and WebAssembly virtual machines in modern browsers. We present copy- ... language intended for metaprogramming and a compiler for WebAssembly. Our high-level language compiler has negligible compilation ... interpretation and 14% faster than LLVM -O0. Our WebAssembly compiler generates code 4.9X-6.5X faster than Liftoff, the WebAssembly baseline compiler in Google Chrome. The generated code ... by 39%-63% on the Coremark and PolyBenchC WebAssembly benchmarks.
Tópico(s): Distributed systems and fault tolerance
2021 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner,
WebAssembly (Wasm) is a new bytecode language supported by all major Web browsers, designed primarily to be ... before its publication [].The first official W3C standard, WebAssembly 1.0, was published in 2019 []. Building on ... mechanisation, we introduce two mechanised specifications of the WebAssembly 1.0 semantics, written in different theorem provers: ...
Tópico(s): Software Testing and Debugging Techniques
2021 - Springer Science+Business Media | Lecture notes in computer science
Jan Šilar, David Polák, Arnošt Mládek, Filip Ježek, Theodore W. Kurtz, Stephen E. DiCarlo, J Živný, Jiří Kofránek,
... We used several open-source Web technologies, namely, WebAssembly and JavaScript, combined with the power of the ... code from the FMU is further compiled to WebAssembly using Emscripten. Industry-standard Adobe Animate is used ... alone HyperText Markup Language files including JavaScript and WebAssembly. Several simulators for physiology education were created using ...
Tópico(s): Experimental Learning in Engineering
2019 - JMIR Publications | Journal of Medical Internet Research
Conrad Watt, John W. Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan,
... Wide Web. With the introduction of the new WebAssembly bytecode language (Wasm) into the web ecosystem, we ... not compromise this convenience. We present Constant-Time WebAssembly (CT-Wasm), a type-driven, strict extension to WebAssembly which facilitates the verifiably secure implementation of cryptographic ...
Tópico(s): Cryptographic Implementations and Security
2019 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
Martin Jacobsson, Jonas Willén,
... app. In this paper, we propose to use WebAssembly, which is a simple but powerful virtual machine ... show that it is possible to implement a WebAssembly interpreter for embedded systems, such as the Texas ...
Tópico(s): Real-Time Systems Scheduling
2020 - Springer International Publishing | EAI/Springer Innovations in Communication and Computing
Ju Long, Hung-Ying Tai, Shen-Ta Hsieh, Michael Juntao Yuan,
... demonstrate that lightweight high-level runtimes, such as WebAssembly, could offer performance and scaling advantages over existing ... widely used performance benchmarks between Docker native and WebAssembly implementations of the same algorithms. We also discuss the barriers for WebAssembly adoption in serverless computing, such as the lack ...
Tópico(s): Cloud Data Security Solutions
2020 - IEEE Computer Society | IEEE Software
... paper explores the relationship between two emerging technologies, WebAssembly (Wasm) and the Internet of Things (IoT). It ... conglomerated together to form a new era in WebAssembly–IoT infrastructure for low-power, energy-efficient, and ...
Tópico(s): Software System Performance and Reliability
2023 - Multidisciplinary Digital Publishing Institute | Future Internet
Kyriakos-Ioannis D. Kyriakou, Nikolaos D. Tselikas,
... fine-tuning. In Web browsers, the single-thread WebAssembly implementation outperformed the respective pure JS implementation by about two to four times. WebAssembly executed inside of Chromium compared to the equivalent ...
Tópico(s): Distributed and Parallel Computing Systems
2022 - Multidisciplinary Digital Publishing Institute | Electronics
WebAssembly (Wasm) is a compact, well-specified bytecode format that offers a portable compilation target with near- ... this article a fast in-place interpreter for WebAssembly, where no rewrite and no separate format is ...
Tópico(s): Advancements in Photolithography Techniques
2022 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
Jämes Ménétrey, Marcelo Pasin, Pascal Felber, Valerio Schiavoni, Giovanni Mazzeo, Arne Hollum, Darshan Vaydia,
... We present Twine, a trusted runtime for running WebAssembly-compiled applications within TEEs, establishing a two-way sandbox. Twine leverages memory safety guarantees of WebAssembly (Wasm) and abstracts the complexity of TEEs, empowering ... and language-agnostic applications. It extends the standard WebAssembly system interface (WASI), providing controlled OS services, focusing ...
Tópico(s): Radiation Effects in Electronics
2023 - IEEE Computer Society | IEEE Transactions on Dependable and Secure Computing
Tom Lauwaerts, Robbert Gurdeep Singh, Christophe Scholliers,
... To solve these problems we present WARDuino, a WebAssembly virtual machine that runs on microcontrollers and provides WebAssembly primitives to control embedded hardware and IoT functionality. ... plethora of high-level languages that compile to WebAssembly. We give a general approach for language integration ... the host language. To ease development, we extend WebAssembly with support for remote debugging and over-the- ... in VS Code for WARDuino, that can debug WebAssembly and AssemblyScript. Aside from these important tools, we ...
Tópico(s): Embedded Systems Design Techniques
2024 - Elsevier BV | Journal of Computer Languages
Yixuan Zhang, Shangtong Cao, Haoyu Wang, Zhenpeng Chen, Xiapu Luo, Dongliang Mu, Yun Ma, Gang Huang, Xuanzhe Liu,
WebAssembly (abbreviated WASM) has emerged as a promising language of the Web and also been used for ...
Tópico(s): Software Reliability and Analysis Research
2023 - Association for Computing Machinery | ACM Transactions on Software Engineering and Methodology
Andreas Rossberg, Ben L. Titzer, Andreas Haas, Derek L. Schuff, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman,
... on Bringing the web up to speed with WebAssembly Authors: Andreas Rossberg Dfinity Stiftung, Germany Dfinity Stiftung, ...
Tópico(s): Advanced Malware Detection Techniques
2018 - Association for Computing Machinery | Communications of the ACM
Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod,
WebAssembly (Wasm) is a safe, portable virtual instruction set that can be hosted in a wide range ...
Tópico(s): Ferroelectric and Negative Capacitance Devices
2019 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
Dongjun Youn, Wonho Shin, J. J. Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg,
WebAssembly (Wasm) is a portable low-level bytecode language and virtual machine that has seen increasing use ...
Tópico(s): Parallel Computing and Optimization Techniques
2024 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan,
Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled ... as they can on native platforms. Memory- Safe WebAssembly (MSWasm) proposes to extend Wasm with language-level ...
Tópico(s): Diamond and Carbon-based Materials Research
2023 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
... implementation of a self-certifying compilation framework for WebAssembly, a new intermediate language supported by all major ...
Tópico(s): Parallel Computing and Optimization Techniques
2021 - Springer Science+Business Media | Lecture notes in computer science
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kıcı, Ranjit Jhala, Dean M. Tullsen, Deian Stefan,
... speculative leaks. We implement Blade in the Cranelift WebAssembly compiler and evaluate our approach by repairing several verified, yet vulnerable WebAssembly implementations of cryptographic primitives. We find that Blade ...
Tópico(s): Parallel Computing and Optimization Techniques
2021 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
Niko Mäkitalo, Tommi Mikkonen, Cesare Pautasso, Victor Bankowski, Paulius Daubaris, Risto Mikkola, Oleg Beletski,
... system. In this vision paper, we propose using WebAssembly to implement lightweight containers and deliver the required ...
Tópico(s): Modular Robots and Swarm Intelligence
2021 - Springer Science+Business Media | Lecture notes in computer science
Mohammed Nurul Hoque, Khaled A. Harras,
... outline four potential methods to achieve migratability with WebAssembly and the trade-offs and costs of deployment ...
Tópico(s): Blockchain Technology Applications and Security
2022 - Institute of Electrical and Electronics Engineers | IEEE Communications Standards Magazine
Javier Cabrera-Arteaga, Nicholas B. Fitzgerald, Martin Monperrus, Benoît Baudry,
WebAssembly is the fourth officially endorsed Web language. It is recognized because of its efficiency and design, ... Wasm-Mutate, a diversification engine specifically designed for WebAssembly. Our engine meets several essential criteria: 1) To quickly generate functionally identical, yet behaviorally diverse, WebAssembly variants, 2) To be universally applicable to any WebAssembly program, irrespective of the source programming language, and ... produce tens of thousands of unique and efficient WebAssembly variants within minutes. Significantly, Wasm-Mutate can safeguard ...
Tópico(s): Adversarial Robustness in Machine Learning
2024 - Elsevier BV | Computers & Security
... and deployment structures as known from service containers. WebAssembly is a recent hardware-agnostic bytecode format that ... concept integrated development and deployment environment to execute WebAssembly modules on microcontrollers. Its key feature is a ...
Tópico(s): Software System Performance and Reliability
2021 - Springer Science+Business Media | Lecture notes in computer science
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, Sam Lindley,
WebAssembly (Wasm) is a low-level portable code format offering near native performance. It is intended as ...
Tópico(s): Security and Verification in Computing
2023 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
Ádám Vécsi, Attila Bagossy, Attila Pethö,
... the mobile, and the IoT platforms.Powered by WebAssembly, which is a specification aiming to securely speed ...
Tópico(s): Advanced Data Storage Technologies
2019 - | Híradástechnika/Infocommunications journal
Pyry Kotilainen, Viljami Järvinen, Juho Tarkkanen, Teemu Autto, Teerath Das, Muhammad Waseem, Tommi Mikkonen,
WebAssembly enables running the same application code in a range of devices in headless mode outside the browser. Furthermore, it has been proposed that WebAssembly applications can be made isomorphic so that they ... runtime environment. In this paper, we explore if WebAssembly truly enables the development of comprehensive IoT applications ...
Tópico(s): Cloud Computing and Remote Desktop Technologies
2023 - Springer Science+Business Media | Lecture notes in computer science