Results 11 to 20 of about 1,118 (194)
SoK: Analysis Techniques for WebAssembly
WebAssembly is a low-level bytecode language that enables high-level languages like C, C++, and Rust to be executed in the browser at near-native performance.
Hakon Harnes, Donn Morrison
exaly +7 more sources
Finback: a web-based data collection system at SSRF biological macromolecular crystallography beamlines [PDF]
An integrated computer software system for macromolecular crystallography (MX) data collection at the BL02U1 and BL10U2 beamlines of the Shanghai Synchrotron Radiation Facility is described.
Feng Yu +11 more
doaj +3 more sources
Superoptimization of WebAssembly bytecode [PDF]
4 pages, 3 figures. Proceedings of MoreVMs: Workshop on Modern Language Runtimes, Ecosystems, and VMs (2020)
Javier Cabrera-Arteaga +6 more
openaire +4 more sources
Stack-based static WebAssembly binary slicing and mutation for generating valid sub-binaries [PDF]
WebAssembly is a low-level binary format originally designed to enable high-performance applications to run in web browsers. As WebAssembly is increasingly being ported to various environments, the security verification of WebAssembly execution ...
GyeongTaek Choi, Seungho Jeon
doaj +2 more sources
Biochef: a client-side WebAssembly-based workflow builder for genomic data analysis [PDF]
Background Genomics analyses often rely on command-line tools executed via remote servers, imposing usability barriers for non-technical users and raising privacy concerns.
Joaquim Rosa +3 more
doaj +2 more sources
Runtime of WebAssembly : A study into WebAssembly runtime
WebAssembly is Assembly-like code that is created by compiling other languages into Wasm. The Wasm file can then be run on the web at near native speed. The objective of this study is to find how WebAssemblys runtime compares to JavaScript and native. The study will also see if different browsers impact WebAssembly runtime.
Eriksson, Adam
core +3 more sources
WASMOD: Detecting vulnerabilities in Wasm smart contracts
Over the past few years, blockchain platforms supporting WebAssembly (Wasm) smart contracts are gaining popularity. However, Wasm smart contracts are often compiled from memory‐unsafe languages (e.g. C and C++).
Jianfei Zhou, Ting Chen
doaj +2 more sources
Verification of WebAssembly programs
Agencia Nacional de Investigación e ...
Diego Ignacio Ocampo Herrera (12312206)
openaire +3 more sources
LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification [PDF]
The rapid expansion of the Internet of Things (IoT) has made software security and reliability a critical concern. With multi-language programs running on edge computing, embedded systems, and sensors, each connected device represents a potential attack ...
Liangjun Deng +4 more
doaj +2 more sources
Phylo-rs: an extensible phylogenetic analysis library in rust [PDF]
Background The advent of next-generation and long-read sequencing technologies has provided an ever-increasing wealth of phylogenetic data that require specially designed algorithms to decipher the underlying evolutionary relationships.
Sriram Vijendran +3 more
doaj +2 more sources

