Cover Image

Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Heiser, Gernot, Velickovic, Ivan, Chubb, Peter, Joshy, Alwin, Ganesh, Anuraag, Nguyen, Bill, Li, Cheng, Darville, Courtney, Zhu, Guangtao, Archer, James, Zhou, Jingyao, Winter, Krishnan, Parker, Lucy, Duchniewicz, Szymon, Bai, Tianyi
Format:	Preprint
Published:	2025
Subjects:	Operating Systems Cryptography and Security D.4.7; D.4.8
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)

Boosting Cross-Architectural Emulation Performance by Foregoing the Intermediate Representation Model
by: Parker, Amy Iris
Published: (2025)

Hardening the OSv Unikernel with Efficient Address Randomization: Design and Performance Evaluation
by: Wollman, Alex, et al.
Published: (2026)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
by: Kiashemshaki, Kiana, et al.
Published: (2025)

A Faster and More Reliable Middleware for Autonomous Driving Systems
by: He, Yuankai, et al.
Published: (2025)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
by: Li, Xiaoqi, et al.
Published: (2026)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
by: Bruzzone, Federico, et al.
Published: (2026)

Adaptable TeaStore: A Choreographic Approach
by: De Palma, Giuseppe, et al.
Published: (2025)

Meta-Monomorphizing Specializations
by: Bruzzone, Federico, et al.
Published: (2026)

Is digit ratio (2D:4D) different between sexual and non-sexual offenders, and non-offending men? Study of a Colombian sample
by: Milena Vásquez-Amézquita
Published: (2022)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
by: Kiashemshaki, Kiana, et al.
Published: (2025)

Framework Matters: Energy Efficiency of UI Automation Testing Frameworks
by: Lagermann, Timmie M. R., et al.
Published: (2025)

From Separate Compilation to Sound Language Composition
by: Bruzzone, Federico, et al.
Published: (2026)

C8s: A Confidential Kubernetes Architecture
by: Asad, Amean, et al.
Published: (2026)

File System Aging
by: Conway, Alex, et al.
Published: (2024)

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents
by: Qin, Xue, et al.
Published: (2026)

Baking for Dafny: A CakeML Backend for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
by: Gross, Jason, et al.
Published: (2022)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

Accelerating Large Language Models through Partially Linear Feed-Forward Network
by: Hu, Gansen, et al.
Published: (2025)

Combating Reentrancy Bugs on Sharded Blockchains
by: Kashitsyn, Roman, et al.
Published: (2025)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
by: Kadaboina, Ravi Kiran
Published: (2026)

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
by: Ouyang, Ciyan, et al.
Published: (2026)

Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study
by: Qin, Xue, et al.
Published: (2026)

Decomposing Docker Container Startup Performance: A Three-Tier Measurement Study on Heterogeneous Infrastructure
by: Khan, Shamsher
Published: (2026)

TurboMem: High-Performance Lock-Free Memory Pool with Transparent Huge Page Auto-Merging for DPDK
by: Yang, Junyi
Published: (2026)

modOpt: A modular development environment and library for optimization algorithms
by: Joshy, Anugrah Jo, et al.
Published: (2024)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
by: Mitra, Joydeep, et al.
Published: (2020)

Scheduler-Driven Job Atomization
by: Konopa, Michal, et al.
Published: (2025)

JASDA: Introducing Job-Aware Scheduling in Scheduler-Driven Job Atomization
by: Konopa, Michal, et al.
Published: (2025)

Good modelling software practices
by: Lemmen, Carsten, et al.
Published: (2024)