English
Related papers

Related papers: treVM: Tiny Rust Embedded Virtual Machines with WA…

200 papers

We introduce the DeTerministic Virtual Machine (DTVM) Stack, a next-generation smart contract execution framework designed to address critical performance, determinism, and ecosystem compatibility challenges in blockchain networks. Building…

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

Repeated off-chip memory accesses to DRAM drive up operating power for data-intensive applications, and SRAM technology scaling and leakage power limits the efficiency of embedded memories. Future on-chip storage will need higher density…

Emerging Technologies · Computer Science 2022-01-13 Lillian Pentecost , Alexander Hankin , Marco Donato , Mark Hempstead , Gu-Yeon Wei , David Brooks

Firecracker is a virtualization technology that makes use of Kernel Virtual Machine (KVM). Firecracker belongs to a new virtualization class named the micro-virtual machines (MicroVMs). Using Firecracker, we can launch lightweight MicroVMs…

Operating Systems · Computer Science 2020-05-27 Madhur Jain

The diversification of functionalities and the development of the IoT are making embedded systems larger and more complex in structure. Ensuring system reliability, especially in terms of security, necessitates selecting an appropriate…

Software Engineering · Computer Science 2025-10-30 Nao Yoshimura , Hiroshi Oyama , Takuya Azumi

In this work we present the Secure Machine, SeM for short, a CPU architecture extension for secure computing. SeM uses a small amount of in-chip additional hardware that monitors key communication channels inside the CPU chip, and only acts…

Cryptography and Security · Computer Science 2018-03-13 Ofir Shwartz , Yitzhak Birk

Virtual machines (VM) are widely used to host and isolate software modules. However, extremely small memory and low-energy budgets have so far prevented wide use of VMs on typical microcontroller-based IoT devices. In this paper, we explore…

Networking and Internet Architecture · Computer Science 2020-12-10 Koen Zandberg , Emmanuel Baccelli

Memory consistency models (MCMs) which govern inter-module interactions in a shared memory system, are a significant, yet often under-appreciated, aspect of system design. MCMs are defined at the various layers of the hardware-software…

Hardware Architecture · Computer Science 2017-02-09 Caroline Trippel , Yatin A. Manerkar , Daniel Lustig , Michael Pellauer , Margaret Martonosi

WebAssemly is an emerging runtime for Web applications and has been supported in almost all browsers. Recently, WebAssembly is further regarded to be a the next-generation environment for blockchain applications, and has been adopted by…

Cryptography and Security · Computer Science 2021-01-12 Shuyu Zheng , Haoyu Wang , Lei Wu , Gang Huang , Xuanzhe Liu

In recent years, there has been a significant interest in developing machine learning algorithms on embedded systems. This is particularly relevant for bare metal devices in Internet of Things, Robotics, and Industrial applications that…

Machine Learning · Computer Science 2025-01-07 Matteo Carnelos , Francesco Pasti , Nicola Bellotto

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…

Software Engineering · Computer Science 2021-12-16 M. Sipek , D. Muharemagic , B. Mihaljevic , A. Radovan

Virtual Trusted Platform modules (TPMs) were proposed as a software-based alternative to the hardware-based TPMs to allow the use of their cryptographic functionalities in scenarios where multiple TPMs are required in a single platform,…

Cryptography and Security · Computer Science 2013-08-08 Sami Alsouri , Thomas Feller , Sunil Malipatlolla , Stefan Katzenbeisser

Blockchain technology promises a decentralized, trustless, and interoperable infrastructure. However, widespread adoption remains hindered by issues such as limited scalability, high transaction costs, and the complexity of maintaining…

Cryptography and Security · Computer Science 2025-05-01 Isaac Zhang , Kshitij Kulkarni , Tan Li , Daniel Wong , Thomas Kim , John Guibas , Uma Roy , Bryan Pellegrino , Ryan Zarick

Authenticated data storage on an untrusted platform is an important computing paradigm for cloud applications ranging from big-data outsourcing, to cryptocurrency and certificate transparency log. These modern applications increasingly…

Cryptography and Security · Computer Science 2019-11-11 Yuzhe Tang , Ju Chen , Kai Li , Jianliang Xu , Qi Zhang

Virtualization, after having found widespread adoption in the server and desktop arena, is poised to change the architecture of embedded systems as well. The benefits afforded by virtualization - enhanced isolation, manageability,…

Operating Systems · Computer Science 2018-06-05 Janis Danisevskis , Michael Peter , Jan Nordholz

The emergence of a new, open, and free instruction set architecture, RISC-V, has heralded a new era in microprocessor architectures. Starting with low-power, low-performance prototypes, the RISC-V community has a good chance of moving…

Performance · Computer Science 2023-09-06 Valentin Volokitin , Evgeny Kozinov , Valentina Kustikova , Alexey Liniov , Iosif Meyerov

This paper presents the design and physical implementation of UET-RVMCU, a lightweight RISC-V microcontroller derived from the UETRV-PCore. Aimed at creating an accessible and flexible open-source RISC-V-based microcontroller, UET-RVMCU…

Hardware Architecture · Computer Science 2026-03-31 Abdullah Azhar , Uneeb Kamal , Wajid Ali , Saad Gillani , Dr Suleman Sami Qazi

Recently, embedded systems have not only requirements for hard real-time behavior and reliability, but also diversified functional demands, such as network functions. To satisfy these requirements, virtualization using hypervisors is…

Operating Systems · Computer Science 2018-10-12 Takumi Shimada , Takeshi Yashiro , Ken Sakamura

Non-Volatile Random Access Memory (NVRAM) is a novel type of hardware that combines the benefits of traditional persistent memory (persistency of data over hardware failures) and DRAM (fast random access). In this work, we describe an…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-26 Vitaly Aksenov , Ohad Ben-Baruch , Danny Hendler , Ilya Kokorin , Matan Rusanovsky

Low-power operating system runtimes used on IoT microcontrollers typically provide rudimentary APIs, basic connectivity and, sometimes, a (secure) firmware update mechanism. In contrast, on less constrained hardware, networked software has…

Operating Systems · Computer Science 2022-10-10 Koen Zandberg , Emmanuel Baccelli , Shenghao Yuan , Frédéric Besson , Jean-Pierre Talpin