Results 81 to 90 of about 285 (163)
Mechanising and verifying the WebAssembly specification [PDF]
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018 WebAssembly is a new low-level language currently being implemented in all major web browsers. It is designed to become the universal compilation target for the web, obsoleting existing solutions in this area, such as asm.js and Native Client. The WebAssembly working group has incorporated formal techniques into the development of the language, but ...
openaire +1 more source
Blockchain: Research and ApplicationsWith the widespread adoption of WebAssembly (Wasm) smart contracts in popular blockchain platforms such as EOSIO, vulnerability attacks on Wasm smart contracts have become a serious problem.
Chu Chen +6 more
doaj +1 more source
WasDom: An Efficient Write Protection for Wasm JITed Code With ARM Domain
IEEE AccessWebAssembly (Wasm) is a binary instruction format designed to run web applications efficiently and securely across different browsers, including Chrome’s V8, Firefox’s SpiderMonkey, and Safari’s JavaScriptCore.
Suhyeon Song +2 more
doaj +1 more source
Program analysis of WebAssembly binaries
, 2023 WebAssembly is a rapidly expanding low-level bytecode that runs in browsers, on the server side, and in standalone runtimes. It brings exciting opportunities to the Web and has the potential to radically change the distribution model of software. At the same time, WebAssembly comes with new challenges and open questions, in particular regarding program
openaire +3 more sources
TEEm: Supporting Large Memory for Trusted Applications in ARM TrustZone
IEEE AccessTrusted Execution Environments (TEEs), like ARM TrustZone, are increasingly crucial in fields like machine learning, blockchain, WebAssembly, and databases due to their robust security features.
Jun Li +3 more
doaj +1 more source
On the performance of WebAssembly
, 2022 The worldwide Web has dramatically evolved in recent years. Web pages are dynamic, expressed by pro grams written in common programming languages given rise to sophisticated Web applications. Thus, Web browsers are almost operating systems, having to interpret/compile such programs and execute them. Although JavaScript is widely used to express dynamic
openaire +1 more source
WASP: Stack protection for WebAssembly
Journal of Systems ArchitectureWebAssembly is a binary executable format designed as a compilation target enabling high-level language code to be run natively in web browsers, JavaScript runtimes, and standalone interpreters. Previous work has highlighted WebAssembly’s vulnerability to traditional memory exploits, such as stack smashing (stack-based buffer overflows), when compiled ...
Ewan Massey, Pierre Olivier
openaire +1 more source
This research document is part of the **Kasteran** project within The Anticloud research corpus. Published by Alpasan, Lois-Kleinner.
openaire +1 more source
Browser Fingerprinting Using WebAssembly
CoRRWeb client fingerprinting has become a widely used technique for uniquely identifying users, browsers, operating systems, and devices with high accuracy. While it is beneficial for applications such as fraud detection and personalized experiences, it also raises privacy concerns by enabling persistent tracking and detailed user profiling.
Mordechai Guri, Dor Fibert
openaire +2 more sources
Mixed-Runtime Pod Networking for Kubernetes-Based Edge Computing
IEEE AccessIn recent years, microservice-based applications have shifted towards cloud-edge computing, taking advantage of green energy, lower latencies, and local computational resources.
Tom Goethals +4 more
doaj +1 more source