English
Related papers

Related papers: Cyber-physical WebAssembly: Secure Hardware Interf…

200 papers

Interconnected computing systems, in various forms, are expected to permeate our lives, realizing the vision of the Internet of Things (IoT) and allowing us to enjoy novel, enhanced services that promise to improve our everyday lives.…

Networking and Internet Architecture · Computer Science 2024-10-30 Konstantinos Fysarakis , Damianos Mylonakis , Charalampos Manifavas , Ioannis Papaefstathiou

The Web of Things (WoT) is rapidly growing in popularity getting the interest of not only technologist and scientific communities but industrial, system integrators and solution providers. The key aspect of the WoT to succeed is the…

Software Engineering · Computer Science 2017-03-07 Amelie Gyrard , Martin Serrano , Pankesh Patel

The rapid expansion of the Internet of Things (IoT) and smart home ecosystems has led to a fragmented landscape of user data management across consumer electronics (CE) such as Smart TVs, gaming consoles, and set-top boxes. Current…

Cryptography and Security · Computer Science 2026-04-10 Aditya Sabbineni , Pravin Nagare , Devendra Dahiphale , Preetam Dedu , Willison Lopes

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).…

Programming Languages · Computer Science 2024-12-20 Martin Fink , Dimitrios Stavrakakis , Dennis Sprokholt , Soham Chakraborty , Jan-Erik Ekberg , Pramod Bhatotia

Internet of Things (IoT), the emerging computing infrastructure that refers to the networked interconnection of physical objects, incorporates a plethora of digital systems that are being developed by means of a large number of…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-01-24 Asad Javed , Keijo Heljanko , Andrea Buda , Kary Främling

The growth in the adoption of the WebAssembly (WASM) standard has given rise to a rapidly increasing landscape of binary applications that are natively ported to the environment of websites. The flexibility of WASM has made it the preferred…

Cryptography and Security · Computer Science 2026-03-11 Lorenzo Corrias , Lorenzo Pisu , Davide Maiorca , Giorgio Giacinto

An increasing amount of data is being injected into the network from IoT (Internet of Things) applications. Many of these applications, developed to improve society's quality of life, are latency-critical and inject large amounts of data…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-13 Patricia Arroba , Rajkumar Buyya , Román Cárdenas , José L. Risco-Martín , José M. Moya

WebAssembly (abbreviated as Wasm) was initially introduced for the Web but quickly extended its reach into various domains beyond the Web. To create Wasm applications, developers can compile high-level programming languages into Wasm…

Software Engineering · Computer Science 2024-10-23 Yixuan Zhang , Mugeng Liu , Haoyu Wang , Yun Ma , Gang Huang , Xuanzhe Liu

The proliferation of edge devices and the rapid growth of IoT data have called forth the edge computing paradigm. Function-as-a-service (FaaS) is a promising computing paradigm to realize edge computing. This paper explores the feasibility…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-14 Runyu Jin , Qirui Yang , Ming Zhao

With the proliferation of Internet of Things (IoT) devices, ensuring secure communications has become imperative. Due to their low cost and embedded nature, many of these devices operate with computational and energy constraints, neglecting…

Cryptography and Security · Computer Science 2025-06-26 José Cecílio , Alan Oliveira de Sá , André Souto

IoT and edge computing are profoundly changing the information era, bringing a hyper-connected and context-aware computing environment to reality. Connected vehicles are a critical outcome of this synergy, allowing for the seamless…

Networking and Internet Architecture · Computer Science 2023-03-29 Angelo Feraudo , Alessando Calvio , Armir Bujari , Paolo Bellavista

Debugging and monitoring programs are integral to engineering and deploying software. Dynamic analyses monitor applications through source code or IR injection, machine code or bytecode rewriting, and virtual machine or direct hardware…

Software Engineering · Computer Science 2025-04-30 Elizabeth Gilbert , Matthew Schneider , Zixi An , Suhas Thalanki , Wavid Bowman , Alexander Bai , Ben L. Titzer , Heather Miller

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…

Cryptography and Security · Computer Science 2023-05-18 Jämes Ménétrey , Marcelo Pasin , Pascal Felber , Valerio Schiavoni

Today's customers are characterized by individual requirements that lead the manufacturing industry to increased product variety and volume reduction. Manufacturing systems and more specifically assembly systems (ASs) should allow quick…

Software Engineering · Computer Science 2019-02-13 Kleanthis Thramboulidis , Danai C. Vachtsevanou , Ioanna Kontou

In this paper, we present the design of Owi, a symbolic interpreter for WebAssembly written in OCaml, and how we used it to create a state-of-the-art tool to find bugs in programs combining C and Rust code. WebAssembly (Wasm) is a binary…

Programming Languages · Computer Science 2024-12-10 Léo Andrès , Filipe Marques , Arthur Carcano , Pierre Chambart , José Fragoso Santos , Jean-Christophe Filliâtre

With the proliferation of IoT and edge devices, we are observing a lot of consumer electronics becoming yet another IoT and edge devices. Unlike traditional smart devices, such as smart phones, consumer electronics, in general, have…

Software Engineering · Computer Science 2021-01-25 Geunsik Lim , MyungJoo Ham , Jijoong Moon , Wook Song , Sangjung Woo , Sewon Oh

Recently, the WebAssembly (or Wasm) technology has been rapidly evolving, with many runtimes actively under development, providing cross-platform secure sandboxes for Wasm modules to run as portable containers. Compared with Docker, which…

Cryptography and Security · Computer Science 2025-09-16 Zhaofeng Yu , Dongyang Zhan , Lin Ye , Haining Yu , Hongli Zhang , Zhihong Tian

There is a growing need for low latency for many devices and users. The traditional cloud computing paradigm can not meet this requirement, legitimizing the need for a new paradigm. Edge computing proposes to move computing capacities to…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-12 Samuel Rac , Mats Brorsson

The Internet of Things (IoT) is expanding rapidly, which has created a need for sophisticated computational frameworks that can handle the data and security requirements inherent in modern IoT applications. However, traditional cloud…

Protecting embedded security is becoming an increasingly challenging research problem for embedded systems due to a number of emerging trends in hardware, software, networks, and applications. Without fundamental advances in, and an…