中文
相关论文

相关论文: Wanilla: Sound Noninterference Analysis for WebAss…

200 篇论文

WebAssembly (Wasm) is a novel low-level bytecode format that swiftly gained popularity for its efficiency, versatility and security, with near-native performance. Besides, trusted execution environments (TEEs) shield critical software…

密码学与安全 · 计算机科学 2023-05-18 Jämes Ménétrey , Marcelo Pasin , Pascal Felber , Valerio Schiavoni

A significant amount of research literature is dedicated to interference mitigation in Wireless Mesh Networks (WMNs), with a special emphasis on designing channel allocation (CA) schemes which alleviate the impact of interference on WMN…

网络与互联网体系结构 · 计算机科学 2018-08-20 Srikant Manas Kala , Vanlin Sathya , M Pavan Kumar Reddy , Betty Lala , Bheemarjuna Reddy Tamma

WebAssembly (Wasm), as a compact, fast, and isolation-guaranteed binary format, can be compiled from more than 40 high-level programming languages. However, vulnerabilities in Wasm binaries could lead to sensitive data leakage and even…

密码学与安全 · 计算机科学 2024-08-19 Ningyu He , Zhehao Zhao , Hanqin Guan , Jikai Wang , Shuo Peng , Ding Li , Haoyu Wang , Xiangqun Chen , Yao Guo

WebAssembly is a new binary instruction format that allows targeted compiled code written in high-level languages to be executed with near-native speed by the browser's JavaScript engine. However, given that WebAssembly binaries can be…

密码学与安全 · 计算机科学 2022-04-28 Tiago Brito , Pedro Lopes , Nuno Santos , José Fragoso Santos

In recent years, stealthy Android malware has increasingly adopted sophisticated techniques to bypass automatic detection mechanisms and harden manual analysis. Adversaries typically rely on obfuscation, anti-repacking, steganography,…

密码学与安全 · 计算机科学 2026-02-23 Diego Soi , Silvia Lucia Sanna , Lorenzo Pisu , Leonardo Regano , Giorgio Giacinto

Non-intrusive speech intelligibility prediction remains challenging due to variability in speakers, noise conditions, and subjective perception. We propose an uncertainty-aware approach that leverages Whisper embeddings in combination with…

音频与语音处理 · 电气工程与系统科学 2025-09-05 Ryandhimas E. Zezario , Dyah A. M. G. Wisnu , Hsin-Min Wang , Yu Tsao

By combining the undecimated wavelet transform within a Word Embedded Semantic Marginal Autoencoder (WESMA), this research study provides a novel strategy for improving security measures and denoising multiple languages. The incorporation…

计算与语言 · 计算机科学 2023-07-10 Shreyanth S

Performance debugging in WebAssembly (Wasm) runtimes is essential for ensuring the robustness of Wasm, especially since performance issues have frequently occurred in Wasm runtimes, which can significantly degrade the capabilities of hosted…

软件工程 · 计算机科学 2026-04-16 Ruiying Zeng , Shuyao Jiang , Wenxuan Zhao , Yangfan Zhou

Containerization has become a ubiquitous tool in software development. Due to its numerous benefits, including platform interoperability and secure execution of untrusted third-party code, this technology is a boon to industrial automation,…

软件工程 · 计算机科学 2025-03-11 Maximilian Seidler , Alexander Krause , Peter Ulbrich

WebAssembly (Wasm) has emerged as a powerful technology for executing high-performance code and reusing legacy code in web browsers. With its increasing adoption, ensuring the reliability of WebAssembly code becomes paramount. In this…

软件工程 · 计算机科学 2024-12-31 Sara Baradaran , Liyan Huang , Mukund Raghothaman , Weihang Wang

Browser fingerprinting defenses have historically focused on detecting JavaScript(JS)-based tracking techniques. However, the widespread adoption of WebAssembly (WASM) introduces a potential blind spot, as adversaries can convert JS to…

Application virtual machines provide strong isolation properties and are established in the context of software portability. Those opportunities make them interesting for scalable and secure IoT deployments. WebAssembly is an application…

操作系统 · 计算机科学 2024-05-16 Stefan Wallentowitz , Bastian Kersting , Dan Mihai Dumitriu

In modern software development, the JavaScript ecosystem of various frameworks and libraries used to develop contemporary web applications presents many advantages. JavaScript is a widely known interpreted programming language, simple to…

软件工程 · 计算机科学 2021-12-16 M. Sipek , D. Muharemagic , B. Mihaljevic , A. Radovan

Containerization approaches based on namespaces offered by the Linux kernel have seen an increasing popularity in the HPC community both as a means to isolate applications and as a format to package and distribute them. However, their…

分布式、并行与集群计算 · 计算机科学 2023-03-03 Mohak Chadha , Nils Krueger , Jophin John , Anshul Jindal , Michael Gerndt , Shajulin Benedict

WebAssembly (WASM) is an immensely versatile and increasingly popular compilation target. It executes applications written in several languages (e.g., C/C++) with near-native performance in various domains (e.g., mobile, edge, cloud).…

WebAssembly is an instruction set architecture and binary format standard, designed for secure execution by an interpreter. Previous work has shown that WebAssembly is vulnerable to buffer overflow due to the lack of effective protection…

密码学与安全 · 计算机科学 2024-10-24 Quentin Michaud , Yohan Pipereau , Olivier Levillain , Dhouha Ayed

In complex auditory environments, the human auditory system possesses the remarkable ability to focus on a specific speaker while disregarding others. In this study, a new model named SWIM, a short-window convolution neural network (CNN)…

音频与语音处理 · 电气工程与系统科学 2024-11-28 Ziyang Zhang , Andrew Thwaites , Alexandra Woolgar , Brian Moore , Chao Zhang

Environmental sound recordings often contain intelligible speech, raising privacy concerns that limit analysis, sharing and reuse of data. In this paper, we introduce a method that renders speech unintelligible while preserving both the…

声音 · 计算机科学 2025-07-14 Modan Tailleur , Mathieu Lagrange , Pierre Aumond , Vincent Tourre

WebAssembly has emerged as a lightweight and portable runtime to execute serverless functions, particularly in heterogeneous and resource-constrained environments such as the Edge Cloud Continuum. However, the performance benefits versus…

分布式、并行与集群计算 · 计算机科学 2025-10-08 Cynthia Marcelino , Noah Krennmair , Thomas Pusztai , Stefan Nastic

The performance of deep neural networks scales with dataset size and label quality, rendering the efficient mitigation of low-quality data annotations crucial for building robust and cost-effective systems. Existing strategies to address…

计算机视觉与模式识别 · 计算机科学 2025-04-15 Francesco Di Salvo , Sebastian Doerrich , Ines Rieger , Christian Ledig