{"@attributes":{"version":"2.0"},"channel":{"title":"Mars Research Group","link":"https:\/\/mars-research.github.io\/","description":"Recent content on Mars Research Group","generator":"Hugo -- gohugo.io","language":"en-us","lastBuildDate":"Sun, 30 Jan 2022 00:00:00 +0000","item":[{"title":"Setting up Alveo FPGAs on Cloudlab - Part 1","link":"https:\/\/mars-research.github.io\/posts\/2022\/01\/playing-with-alveo-on-cloudlab-umass-p1\/","pubDate":"Sun, 30 Jan 2022 00:00:00 +0000","guid":"https:\/\/mars-research.github.io\/posts\/2022\/01\/playing-with-alveo-on-cloudlab-umass-p1\/","description":"As a systems research team, we build operating systems, low-level software, hack kernels and yet hardware programming always remained on the todo-list of “cool, but haven’t tried yet”. When Cloudlab started introducing FPGA accelerators to their testbed, we got excited and finally decided to give it a try.\nCloudlab is one of the publicly available testbeds for research. In all of our projects, we carry out the whole development process on Cloudlab infrastructure."},{"title":"Debugging QEMU\/KVM Setup If Something Goes Wrong (e.g., Support for 1GB Pages)","link":"https:\/\/mars-research.github.io\/posts\/2020\/11\/qemu-kvm-1gb-pages\/","pubDate":"Sun, 01 Nov 2020 00:00:00 +0000","guid":"https:\/\/mars-research.github.io\/posts\/2020\/11\/qemu-kvm-1gb-pages\/","description":"In our previous projects, we always did all development on real hardware. For example, LXDs and LVDs required baremetal speed of the cache-coherence protocol and support for nested virtualization (both systems use hardware-supported virtualization). So development under QEMU looked unrealistic. Well, maybe we need to explore more. KVM supports nested virtualization, but we needed support for features like extended page table (EPT) switching with VMFUNC. In the end, we were reluctant to take this approach."},{"title":"Kernel Development with Qemu (Printing \"Hello World\" On Bare Metal)","link":"https:\/\/mars-research.github.io\/posts\/2020\/10\/hello-world-on-bare-metal\/","pubDate":"Wed, 28 Oct 2020 00:00:00 +0000","guid":"https:\/\/mars-research.github.io\/posts\/2020\/10\/hello-world-on-bare-metal\/","description":"How to get started with kernel development on Qemu platform"},{"title":"News","link":"https:\/\/mars-research.github.io\/news\/","pubDate":"Mon, 01 Jan 0001 00:00:00 +0000","guid":"https:\/\/mars-research.github.io\/news\/","description":"2023 Our paper on developing ephemeral virtual TPMs for enabling remote attestation in confidential computing Remote attestation of confidential VMs using ephemeral vTPMs won the Distinguished paper with artifacts award at ACSAC'23 (pdf)\nOur paper on verifying operating systems using Verus Atmosphere: Towards Practical Verified Kernels in Rust got accepted to KISV'23 (pdf)\nOur position paper on strengthening the isolation boundary Evolving Operating System Kernels Towards Secure Kernel-Driver Interface got accepted to HotOS'23 (pdf)"},{"title":"Overheads of Hardware and Language-Based IPC Mechanisms","link":"https:\/\/mars-research.github.io\/projects\/redleaf\/lang-ipc\/","pubDate":"Mon, 01 Jan 0001 00:00:00 +0000","guid":"https:\/\/mars-research.github.io\/projects\/redleaf\/lang-ipc\/","description":"Both lightweight hardware mechanisms and zero-overhead language safety can be leveraged to enforce the isolation of subsystems, e.g., browser plugins, device drivers and kernel extensions, user-defined database and network functions, etc. However, as both technologies are still young, their relative advantages are still unknown.\nIn this work, we study the overheads of hardware and software isolation mechanisms with the goal to understand their relative advantages and disadvantages for fine-grained isolation of subsystems with tight performance budgets."},{"title":"Reading Group","link":"https:\/\/mars-research.github.io\/reading-group\/","pubDate":"Mon, 01 Jan 0001 00:00:00 +0000","guid":"https:\/\/mars-research.github.io\/reading-group\/","description":"Details Organizers: Manvik Nanda, Anton Burtsev Email: manvik (dot) nanda (at) utah (dot) edu, anton (dot) burtsev (at) utah (dot) edu Meeting time\/place: Friday, 4:00pm-5:00pm (3375, OS Lab, MEB, University of Utah) Zoom Link: https:\/\/utah.zoom.us\/j\/86742139165 We read and discuss a broad range of papers related to systems research. The topics range from novel system designs (generally results from recent systems conferences) to low-level details of new and existing features of modern CPUs (e."},{"title":"Recent Publications","link":"https:\/\/mars-research.github.io\/publications\/","pubDate":"Mon, 01 Jan 0001 00:00:00 +0000","guid":"https:\/\/mars-research.github.io\/publications\/","description":"2025 Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Vikram Narayanan, Anton Burtsev. Atmosphere: Practical Verified Kernels with Rust and Verus. In Proceedings of the 31st ACM Symposium on Operating Systems Principles (SOSP 2025), October 2025.\nYongzhe Huang, Kaiming Huang, Matthew Ennis, Vikram Narayanan, Anton Burtsev, Trent Jaeger, Gang Tan. Beyond Driver Isolation - Triaging Threats against Driver Isolation. In Proceedings of the Annual Computer Security Applications Conference (ACSAC), December 2025.\nZhaofeng Li, Jerry Zhang, Joshua Tlatelpa-Agustin, Xiangdong Chen, Anton Burtsev."}]}}